XIII Konferencja Zastosowania Logiki w Filozofii i Podstawach Matematyki

W dniach 5-9 maja pod patronatem Polskiego Towarzystwa Logiki i Filozofii Nauki odbyła się w Szklarskiej Porębie

XIII Konferencja Zastosowania Logiki w Filozofii i Podstawach Matematyki.

Organizatorami konferencji byli: Katedra Logiki i Metodologii Nauk Uniwersytetu Wrocławskiego, Instytut Matematyki Uniwersytetu Opolskiego oraz Instytut Matematyki Uniwersytetu Śląskiego.

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.

Konferencja Trends in Logic III

Studia Logica i Fundamenta Informaticae organizują wspólnie Międzynarodową Konferencję poświęconą pamięci profesora Andrzeja Mostowskiego, prof. Heleny Rasiowej, prof. Cecylii Rauszer

„Trends in Logic III”.

Sympozjum „Logika i jej zastosowania”

Polskie Towarzystwo Logiki i Filozofii Nauki organizuje sympozjum na temat

„Logika i jej zastosowania”.

Wszystkich zainteresowanych serdecznie zapraszamy do nadsyłania prac do dnia 1-go grudnia 2004.

Sympozjum odbędzie się 18-go grudnia 2004 r. w Warszawie, ul Banacha 2.

Konferencja Logika i Filozofia Nauki

Konferencja dedykowana prof. R. Wójcickiemu

Logika i Filozofia Nauki

Ruciane-Nida-Powałczyn, 29-30 października 2004

Konferencja w stulecie urodzin von Neumanna

Konferencja w stulecie urodzin von Neumanna

VI Warsztaty Logiki, Informatyki i Filozofii Nauki
Zakopane, 30 listopad – 5 grudzień 2003.

Konferencja jest poświęcona wynikom von Neumanna w logice, informatyce i metodologii nauk społecznych