Informacje ogólne   Aktualne wydarzenia   Pracownicy   Projekty badawcze   Rada Naukowa   Konferencje   Seminaria   Publikacje   Biblioteka   Dział Wydawniczy   Usługi internetowe   Inne serwisy 
Seminaria \ Seminarium Zakładu T. P. I. \ Archiwum - 2006/2007 Mapa serwisu  

Archiwum 2007/2008

Archiwum 2006/2007

Archiwum 2005/2006

Archiwum 2004/2005

Archiwum 2003/2004

Archiwum 2002/2003

Archiwum 2001/2002

 

Seminarium Zakładu
Teoretycznych
Podstaw Informatyki

 

Seminaria

Informacje ogólne

 
ARCHIWUM 2006 / 2007


14.06.2007 Wiktor B. Daszczuk (Instytut Informatyki Politechniki Warszawskiej)
Sieci Petriego bez znaczników Opis

31.05.2007 Antoni Mazurkiewicz (IPI PAN)
Sieci Petriego bez znaczników Opis

17.05.2007 Józef Winkowski (IPI PAN)
O pewnym algebraicznym podejściu do definiowania losowych zachowań współbieżnych Opis

26.04.2007 Marek A. Bednarczyk i Wiesław Pawłowski (IPI PAN)
O składaniu rzutów perspektywicznych w całość Opis

5.04.2007 Wojtek Jamroga (TU Clausthal)
ATL i własności racjonalnych agentów Opis

22.03.2007 Jerzy Pejaś (Politechnika Szczecińska)
Rozproszony system do składania bezpiecznego podpisu elektronicznego - nowa usługa PKI Opis

1.03.2007 Barbara Dunin-Kęplicz i Andrzej Szałas
Techniki aproksymacyjne w modelowaniu systemów wieloagentowych Opis

15.02.2007 Artur Jakubski i Marian Srebrny
A Decentralized Test for Primality Opis

4.01.2007 Wojtek Jamroga (TU Clausthal)
Modularne systemy interpretowane Opis

30.11.2006 Beata Konikowska (IPI PAN)
Logics for Combining Information from Various Sources Opis

16.11.2006 Marek Bednarczyk (IPI PAN)
Problem efektywności weryfikacji modelowej dynamiczno-strukturalnych własności mobilnych agentów Opis

2.11.2006 Antoni Mazurkiewicz (IPI PAN)
Algorytmy kompozycyjne w sieciach redukowalnych Opis

19.10.2006 Józef Winkowski (IPI PAN)
Algebry do definiowania zachowań Opis



      Seminarium Zakładu
Teoretycznych Podstaw Informatyki 		Back to Research Projects Information.    
  webmaster@IPIPAN.Waw.PL Copyright by IPI PAN - 2003