Z przyjemnoscia zapraszam na sesje naukowa na Wydziale MIM UW, pod auspicjami Polskiego Towarzystwa Logiki i Filozofii Nauki, pod tytulem:

Understanding Computers' Intelligence. 

Celebrating the 100th Volume of Fundamenta Informaticae 

in Honour of Helena Rasiowa. 

 Sesje te dedykujemy pamieci Zalozycielki pisma, pani  profesor Heleny Rasiowej (1917--1994). 

Czas: Sobota 9 padziernika,  godz. 11:30--16:00  

Miejsce: MIM UW, sala 4420.  

 Plan sesji

od 11:30  kawa i herbata  12:00--12:50  Johan van Benthem (Univ. Amsterdam & Stanford) Logic in games: a tour at the interface  12:50--13:40  

Ewa Orłowska (Instytut Łączności, Warszawa)       Dual Tableaux - Rasiowa/Sikorski systems  

13:50--14:30  Łukasz Kaiser(CNRS Paris) Decomposition theorems in logic  

14:30--15:00  Andrzej Skowron & Damian Niwinski (MIM UW) Presentation of the journal, 

                     reminiscences and discussion  

15:00--16:00  spotkanie w klubie pracowniczym 

Wiecej informacj:  http://www.mimuw.edu.pl/~niwinski/100.html  

 Damian Niwinski