Konferencja Trends in Logic III

Studia Logica i Fundamenta Informaticae organizują wspólnie Międzynarodową Konferencję poświęconą pamięci profesora Andrzeja Mostowskiego, prof. Heleny Rasiowej, prof. Cecylii Rauszer

„Trends in Logic III”.

Sesja PTLiFN

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