Sesja naukowa dedykowana profesorowi Andrzejowi Grzegorczykowi

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.