Informacje ogólne  Aktualności  Pracownicy  Projekty badawcze  Rada Naukowa   Konferencje   Seminaria   Publikacje   Biblioteka   Wydawnictwo  Usługi lokalne  Seminaria \ Seminarium Zakładu T. P. I. \ Archiwum - 2009/2010 Mapa serwisu

Archiwum 2010/2011 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 20.05.2010 Magdalena Kacprzak, PB, PJWSTK Weryfikacja systemów perswazyjnych 15.04.2010 Antoni Mazurkiewicz, IPI PAN Porządkowanie wierzchołków grafów trójkątnych drogą obliczeń lokalnych 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