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.