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 Teoretycznych Podstaw Informatyki Mapa serwisu

Seminarium Instytutowe Seminarium Zakładu Teoretycznych Podstaw Informatyki Seminarium Zespołu Inżynierii Lingwistycznej Seminarium Zespołu Teorii Gier i Decyzji   Seminaria Informacje ogólne

SEMINARIUM ZAKŁADU TEORETYCZNYCH PODSTAW INFORMATYKI Informacje Czwartki, o godz. 10.45 w sali seminaryjnej IPI PAN Organizatorzy: Piotr Dembiński, Antoni Mazurkiewicz Wojciech Penczek Andrzej Tarlecki Józef Winkowski e-mail: Wojciech Penczek Archiwum Seminarium Zakładu Teoretycznych Podstaw Informatyki: 2009/2010 2008/2009 2007/2008 2006/2007 2005/2006 2004/2005 2003/2004 2002/2003 2001/2002 Seminaria 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       Seminaria

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