Sesja upamiętniająca prof. Helenę Rasiową z okazji wydania 100. numeru "Fundamenta Informaticae"

Oddział:

Oddział Warszawski [1]

sob, 2010-10-09 11:30

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 [2]

 Damian Niwinski