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 - 2004/2005 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 2004 / 2005


16.06.2005 Ludwik Czaja Instytut Informatyki, Uniwersytet Warszawski
Equations for message passing (cont.) Opis

9.06.2005 Ludwik Czaja Instytut Informatyki, Uniwersytet Warszawski
Equations for message passing Opis

21.05.2005 Antoni Mazurkiewicz, IPI PAN
O klasie grafów lokalnie generowalnych i redukowalnych Opis

21.04.2005 Sławomir Lasota
UW, Warszawa
Automaty czasowe z jednym zegarem
(Timed automata with one clock) Opis

07.04.2005 Ryszard Kowalczyk
Swinburne University of Technology, Melbourne, Australia
Negotiation Agents in Adaptive Management of Service-Oriented Systems Opis

31.03.2005 Andrzej Borzyszkowski (IPI PAN)
Algebraic structures to study distributed systems (kontynuacja) Opis

17.03.2005 Andrzej Borzyszkowski (IPI PAN)
Algebraic structures to study distributed systems Opis

3.03.2005 Piotr Hoffman (UW)
Specyfikacje architekturalne i ich weryfikacja Opis

10.02.2005 Artur Jakubski (Akademia Jana Długosza, Częstochowa)
Protokół rozproszonego generowania (pseudo)losowych liczb pierwszych Opis

3.02.2005 Stanisław Chrobot
Introducing Variable Sharing to Process Calculi Opis

20.01.2005 Piotr Chrz±stowski (II UW)
O regeneracji przepływów pracy Opis

6.01.2005 Marek Bednarczyk (IPI PAN)
Wnioskowanie o mobilnych Hipersieciach Petriego
(Reasoning about mobile Petri Hypernets) Opis

9.12.2004 Józef Winkowski (IPI PAN)
Zarys formalizmu do modelowania systemów o bogatych strukturach wewnętrznych stanów i procesów
(Towards a framework for modelling systems with rich internal structures of states and processes) Opis

18.11.2004 Beata Konikowska (IPI PAN)
Multivalued Calculi for Logics Based on Non-determinism Opis

28.10.2004 Marek Bednarczyk (IPI PAN)
Strong homomorphisms solve important code problems for traces Opis

21.10.2004 Antoni Mazurkiewicz (IPI PAN)
O pewnym modelu rozsyłania informacji w sieciach optycznych Opis



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