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 - 2009/2010 Mapa serwisu

Archiwum 2009/2010 Archiwum 2008/2009 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 2009 / 2010 26.11.2009 Marcin Dziubiński, UW Ograniczanie kontekstu modalnego wieloagentowych logik modalnych 05.11.2009 Wojtek Jamroga, University of Luxembourg Reasoning about Code Patterns in Agent-Oriented Programming 15.10.2009 Marek Gawkowski Środowisko specyfikacyjno-weryfikacyjne dla optymalizatorów generujących dowody       Seminarium Zakładu Teoretycznych Podstaw Informatyki

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