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 - 2007/2008 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 2007 / 2008 12.06.2008 Katarzyna Budzyńska (Katedra Logiki, UKSW), Magdalena Kacprzak (Wydział Informatyki, Politechnika Białostocka), Paweł Rembelski (Wydział Informatyki, Polsko-Japońska Wyższa Szkoła Technik Komputerowych w Warszawie) Perswazja, Perseusz i Marketing. Formalne modelowanie i implementacja procesu przekonywania. 5.06.2008 Wojtek Jamroga (Clausthal University of Technology, Germany) Markov Temporal Logic 10.04.2008 Marcin Dziubiński (II UW) Złożoność obliczeniowa logiki TeamLog dla współpracujących agentów 17.01.2008 Włodzimierz Drabent (IPI PAN) O łączeniu programów w logice i teorii pierwszego rzędu 15.11.2007 Beata Konikowska (IPI PAN) A Three-Valued Logic for Rough Sets Based on Non-Deterministic Matrices 25.10.2007 Agata Janowska (Instytut Informatyki UW) Generowanie automatów czasowych dla systemów czasu rzeczywistego       Seminarium Zakładu Teoretycznych Podstaw Informatyki

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