Polskie Towarzystwo Logiki i Filozofii Nauki organizuje wiosenne spotkanie członków i sympatyków Towarzystwa. Tematem spotkania będzie
Logika w Informatyce.
Spotkanie odbędzie się 21-go maja 2005 w Warszawie, ul. Koszykowa 86, w budynku Polsko-Japońskiej Wyższej Szkoły Technik Komputerowych (3p. Sala Senatu).
Program spotkania:
11:30 prof. L. Polkowski (PJWSTK), „Zbliżając się do drzewa wiadomości dobrego i złego: Ontologiczne aspekty matematyki i informatyki.”
12:20 prof. D. Niwinski (UW), ” O rozstrzyganiu teorii drzew”.
13:10 dr A. Trybulec (UwB), ” Co nowego w Mizarze?”.
W przerwach kawa, herbata i interesujące dyskusje.
Wszystkich zainteresowanych serdecznie zapraszamy do udziału w tym spotkaniu.
W imieniu Zarządu PTLiFN
Grażyna Mirkowska