Konferencja Trends in Logic III

Program Sesji Warszawskiej konferencji TRENDS in LOGIC III i imprez towarzyszących:

Czwartek 22 września (MIMUW, Warszawa, Banacha 2, sala 5440)

15:30-16:30 Victor MAREK (USA) AUTARKIES, AN APPLICATION OF KLEENE LOGIC IN SAT
16:30-17:00 herbata i słodkie pierniczki
17:00-18:00 Dana SCOTT (USA)TOPOLOGY, CATEGORIES, and LAMBDA-CALCULUS

Piątek 23 września Sesja Warszawska Trends in Logic (MIMUW, Warszawa, Banacha 2)

11:00 Opening

11:30 Victor MAREK (University of Kentucky, Lexington): Mathematical Logic in Warsaw in the 60ies and 70ies, or the interaction of logic and life. In memoriam Andrzej Mostowski, Helena Rasiowa and Cecylia Rauszer.

13:00 Lunch

14:00 Dana SCOTT (Carnegie-Mellon University, Pittsburgh): The algebraic interpretation of classical and intuitionistic quantifiers

Wtorek, 27 września (MIMUW, Warszawa, Banacha 2, sala 5440)

14:00-15:00 Dana SCOTT (USA) PARAMETRIC SETS AND VIRTUAL CLASSES

Odczyty czwartkowe i wtorkowy odbędą się w ramach seminarium PROBLEMY PODSTAW INFORMATYKI I MATEMATYKI i są współorganizowane przez Instytut Podstaw Informatyki PAN, Wydział Matematyki, Informatyki i Mechaniki UW, Polsko-Japońską Wyższą Szkołę Technik Komputerowych i Polskie Towarzystwo Logiki i Filozofii Nauki.

Program całej konferencji można znaleźć na stronie www.mimuw.edu.pl/~mrr i na stronach Studia Logica i Fundamenta Informaticae.

Jubileusz prof. Marciszewskiego

JUBILEUSZ!

Profesor WITOLD MARCISZEWSKI obchodzi własnie jubileusz 75lecia.

Składamy mu wszyscy najserdeczniejsze życzenia zdrowia i dalszych sukcesów w pracy naukowej i dydaktycznej.

List gratulacyjny