Dnia 13 października 2012 w Warszawie, na Wydziale Matematyki i Informatyki UW (ul. Banacha 2), w sali 4420 (naprzeciwko „Kubusia”) odbędzie się sesja naukowa dedykowana profesorowi Andrzejowi Grzegorczykowi z okazji 90. rocznicy urodzin. Sesja rozpocznie się o godzinie 11:00, a zakończy o 14:30. Po poczęstunku o godzinie 15:00 odbędzie się Zebranie Walne PTLiFN.
Plan sesji naukowej
Zofia Adamowicz
Słabe fragmenty arytmetyki i ciekawy predykat niesprzeczności
Konrad Zdanowski
O istotnej nierozstrzygalności słabej teorii konkatenacji
Joanna Golińska-Pilarek
O pewnych własnościach logiki równoważności opisowej
Andrzej Salwicki
Czego informatycy nauczyli się od Grzegorczyka
Wszystkich serdecznie zapraszamy. Instrukcja dotarcia do budynku znajduje się tutaj.