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 - 2005/2006 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 2005 / 2006 1.06.2006 Adashi Araragi, NTT Japan Fault tolerance protocols for huge and open distributed systems and a formal verification method for the protocols 27.04.2006 Marek Bednarczyk Granice Modularności 2.03.2006 Wiesław Pawłowski O hipersieciach raz jeszcze 9.02.2006 Adam Roman, Uniwersytet Jagielloński Hipoteza Cernego i problemy synchronizacji automatów skończonych 26.01.2006 Józef Winkowski, IPI PAN Aksjomatyczna charakteryzacja algebr procesów sieci Petriego typu C/E 12.01.2006 Wojtek Jamroga, Uniwersytet Clausthal, Niemcy Na tropie eksplozji. O agentach i złozoności model checkingu 5.01.2006 Andrzej Borzyszkowski, IPI PAN Concurrent Secrets 8.12.2005 Edward Ochmański IPI PAN O bezgwiazdkowej gwiazdce i pożytkach z niej płynących 1.12.2005 Wojciech Palacz Instytut Informatyki UJ Transformacje rozszerzonych grafów hierarchicznych z wykorzystaniem teorii kategorii 27.10.2005 Andrzej Wieczorek IPI PAN Ciągi dokładne, liczby Fibonacci'ego i równowagi w grach sąsiedztwa 13.10.2005 Maciej Szreter IPI PAN Selective Search in Bounded Model Checking of Reachability Properties         Seminarium Zakładu Teoretycznych Podstaw Informatyki

		webmaster@IPIPAN.Waw.PL	Copyright by IPI PAN - 2003