Uniwersytet Warszawski Instytut Filozofii

XIV Warsztaty Logiczne

„Arytmetyka – Gry – Obliczenia”

Łowicz, 23 – 29 września 2013 r.

• Strona GłównaStrona główna — informacje ogólne
• ProgramProgram warsztatów — plan kursów i ich programy
• KomitetKomitety Programowy i Organizacyjny warsztatów; adresy kontaktowe
• RejestracjaRejestracja na warsztaty; terminy, dealine'y
• ZakwaterowanieMiejsce warsztatów

Program (Siatka, Szczegóły)

Tematyka:

• Związki teorii gier z logiką (kontynuacja problematyki "gry a logika" z zimowych warsztatów): klasyczne rezultaty teorii gier w sformułowaniu logicznym, teoriogrowe metody w logice
• Teoria automatów i obliczeń a logika: rozsztrzygalność teorii aksjomatycznych, złożoność opisowa i teoria modeli skończonych, własności obliczeniowe fragmentów i nadsystemów logiki pierwszego rzędu (w kontekście teorii automatów i topologii)
• Logiczne podstawy arytmetyki: zagadnienia teorii modeli arytmetyki, teorii dowodu arytmetyki, słabe arytmetyki, podsystemy arytmetyki drugiego rzędu, klasy spełniania i teoria prawdy arytmetycznej

Wykładowcy:

Lista wykładowców tegorocznej edycji Warsztatów Logicznych:

• Marcin Mostowski (IF UW) – Modele konkretne, czyli semantyka bez aktualnej nieskończoności
• Paweł Urzyczyn (MIM UW) – Intuicjonistyczny rachunek zdań jako gra
• Marek Zaionc (II UJ) – (1) O ilościowych apsektach logiki i teorii obliczeń, (2) Gra w wielomiany
• Alessandro Facchini (MIM UW) – A short introduction to characterization results for fixpoint modal logics
• Leszek A. Kołodziejczyk (MIM UW) – O pojęciu konserwatywności
• Eryk Kopczyński (MIM UW) – Gry a parametry grafów
• Filip Murlak (MIM UW) – Topologia przestrzeni Cantora i języki omega-regularne.
• Michał Zawidzki (IF UŁ) – Pojęcia teoriogrowe w różnych formalizmach logicznych
• Marek Czarnecki (IF UW) – Teoria modeli bez aktualnej nieskończoności
• Michał Tomasz Godziszewski (MISH UW, MIM UW, FUW) – O eliminacji kwantyfikatorow dla RCF
• Dariusz Kalociński (IF UW) – Uczenie się semantyki kwantyfikatorów
• Mateusz Łełyk (MISH UW, MIM UW) – Jak z nieinduktywnej klasy spełniania wycisnąć rekurencyjne nasycenie - o twierdzeniu Lachlana
• Michał Skrzypczak (MIM UW) – Złożoność deskryptywna a rozstrzygalność logiki MSO i jej rozszerzeń
• Bartosz Wcisło (MISH UW, MIM UW) – Twierdzenie Barwise'a - Schlipfa o modelach rekurencyjnie nasyconych.

Siatka zajęć:

PONIEDZIAŁEK, 23 WRZEŚNIA

• Do 14⁰⁰ przyjazd gości
• 14⁰⁰ – 16⁰⁰ obiad
• 16⁰⁰ – 16⁰⁵ prof. Marcin Mostowski: otwarcie XIV Warsztatów Logicznych
• 16⁰⁵ – 16⁴⁵ dr Filip Murlak: Topologia przestrzeni Cantora i języki ω-regularne I
• 16⁴⁵ – 17⁰⁰ przerwa
• 17⁰⁰ – 17⁴⁵dr Filip Murlak: Topologia przestrzeni Cantora i języki ω-regularne II
• 17⁴⁵ – 18¹⁵ przerwa kawowa
• 18¹⁵ – 19⁰⁰ dr Filip Murlak: Topologia przestrzeni Cantora i języki ω-regularne III
• 19⁰⁰ – 19¹⁵ przerwa
• 19¹⁵ – 20⁰⁰ dr Filip Murlak: Topologia przestrzeni Cantora i języki ω-regularne IV
• Od 20³⁰ ognisko/grill

WTOREK, 24 WRZEŚNIA

• 9⁰⁰ – 10⁰⁰ śniadanie
• 10⁰⁰ – 10⁴⁵ dr Filip Murlak: Topologia przestrzeni Cantora i języki ω-regularne V
• 10⁴⁵ – 11⁰⁰ przerwa
• 11⁰⁰ – 11⁴⁵ dr Filip Murlak: Topologia przestrzeni Cantora i języki ω-regularne VI
• 11⁴⁵ – 12⁰⁰ przerwa
• 12⁰⁰ – 11⁴⁵ dr Filip Murlak: Topologia przestrzeni Cantora i języki ω-regularne VII
• 12⁴⁵ – 13¹⁵ przerwa kawowa
• 13¹⁵ – 14⁰⁰ prof. Marek Zaionc: O ilościowych aspektach logiki i teorii obliczeń I
• 14⁰⁰ – 14¹⁵ przerwa
• 14¹⁵ – 15⁰⁰ prof. Marek Zaionc: O ilościowych aspektach logiki i teorii obliczeń II
• 15⁰⁰ – 17⁰⁰ obiad
• 17⁰⁰ – 17⁴⁵ prof. Marcin Mostowski: Modele konkretne, czyli semantyka bez aktualnej nieskończoności I
• 17⁴⁵ – 18⁰⁰ przerwa
• 18⁰⁰ – 18⁴⁵ prof. Marcin Mostowski: Modele konkretne, czyli semantyka bez aktualnej nieskończoności II
• Od 20⁰⁰ ognisko/grill

ŚRODA, 25 WRZEŚNIA

• 9⁰⁰ – 10⁰⁰ śniadanie
• 10⁰⁰ – 10⁴⁵ prof. Marek Zaionc: Gra w wielomiany
• 10⁴⁵ – 11⁰⁰ przerwa
• 11⁰⁰ – 11⁴⁵ prof. Paweł Urzyczyn: Intuicjonistyczny rachunek zdań jako gra I
• 11⁴⁵ – 12⁰⁰ przerwa
• 12⁰⁰ – 12⁴⁵ prof. Paweł Urzyczyn: Intuicjonistyczny rachunek zdań jako gra II
• 12⁴⁵ – 13¹⁵ przerwa kawowa
• 13¹⁵ – 14⁰⁰ mgr Marek Czarnecki: Teoria modeli bez aktualnej nieskończoności I
• 14⁰⁰ – 14¹⁵ przerwa
• 14¹⁵ – 15⁰⁰ mgr Marek Czarnecki: Teoria modeli bez aktualnej nieskończoności II
• 15⁰⁰ – 17⁰⁰ obiad
• 17⁰⁰ – 17⁴⁵ mgr Marek Czarnecki: Teoria modeli bez aktualnej nieskończoności III
• 17⁴⁵ – 18⁰⁰ przerwa
• 18⁰⁰ – 18⁴⁵ mgr Marek Czarnecki: Teoria modeli bez aktualnej nieskończoności IV
• Od 20⁰⁰ ognisko/grill

CZWARTEK, 26 WRZEŚNIA

• 9⁰⁰ – 10⁰⁰ śniadanie
• 10⁰⁰ – 10⁴⁵ dr Eryk Kopczyński: Teoriogrowe parametry grafów I
• 10⁴⁵ – 11⁰⁰ przerwa
• 11⁰⁰ – 11⁴⁵ dr Eryk Kopczyński: Teoriogrowe parametry grafów II
• 11⁴⁵ – 12⁰⁰ przerwa
• 12⁰⁰ – 12⁴⁵ dr Eryk Kopczyński: Teoriogrowe parametry grafów III
• 12⁴⁵ – 13¹⁵ przerwa kawowa
• 13¹⁵ – 14⁰⁰ dr Eryk Kopczyński: Teoriogrowe parametry grafów IV
• 14⁰⁰ – 14¹⁵ przerwa
• 14¹⁵ – 15⁰⁰ dr Eryk Kopczyński: Teoriogrowe parametry grafów V
• 15⁰⁰ – 17⁰⁰ obiad
• 17⁰⁰ – 17⁴⁵ dr Alessandro Facchini: A short introduction to characterization results for fixpoint modal logics I
• 17⁴⁵ – 18⁰⁰ przerwa
• 18⁰⁰ – 18⁴⁵ dr Alessandro Facchini: A short introduction to characterization results for fixpoint modal logics II
• 18⁴⁵ – 19⁰⁰ przerwa
• 19⁰⁰ – 19⁴⁵ (dr Alessandro Facchini: A short introduction to characterization results for fixpoint modal logics III)
• Od 20³⁰ ognisko/grill

PIĄTEK, 27 WRZEŚNIA

• 9⁰⁰ – 10⁰⁰ śniadanie
• 10⁰⁰ – 10⁴⁵ dr Eryk Kopczyński: Teoriogrowe parametry grafów VI
• 10⁴⁵ – 11⁰⁰ przerwa
• 11⁰⁰ – 11⁴⁵ mgr Marek Czarnecki: Teoria modeli bez aktualnej nieskończoności V
• 11⁴⁵ – 12⁰⁰ przerwa
• 12⁰⁰ – 12⁴⁵ mgr Marek Czarnecki: Teoria modeli bez aktualnej nieskończoności VI
• 12⁴⁵ – 13¹⁵ przerwa kawowa
• 13¹⁵ – 14⁰⁰ mgr Mateusz Łełyk: Jak z inieinduktywnej klasy spełniania wycisnąć rekurencyjne nasycenie - o twierdzeniu Lachlana I
• 14⁰⁰ – 14¹⁵ przerwa
• 14¹⁵ – 15⁰⁰ mgr Mateusz Łełyk: Jak z inieinduktywnej klasy spełniania wycisnąć rekurencyjne nasycenie - o twierdzeniu Lachlana II
• 15⁰⁰ – 17⁰⁰ obiad
• 17⁰⁰ – 17⁴⁵ mgr Dariusz Kalociński: Uczenie się semantyki kwantyfikatorów
• 17⁴⁵ – 18⁰⁰ przerwa
• 18⁰⁰ – 18⁴⁵ mgr Dariusz Kalociński: Uczenie się semantyki kwantyfikatorów
• Od 20⁰⁰ ognisko/grill

SOBOTA, 28 WRZEŚNIA

• 9⁰⁰ – 10⁰⁰ śniadanie
• 10⁰⁰ – 10⁴⁵ mgr Michał Skrzypczak: Złożoność deskryptywna a rozstrzygalność logiki MSO i jej rozszerzeń I
• 10⁴⁵ – 11⁰⁰ przerwa
• 11⁰⁰ – 11⁴⁵ mgr Michał Skrzypczak: Złożoność deskryptywna a rozstrzygalność logiki MSO i jej rozszerzeń II
• 11⁴⁵ – 12¹⁵ przerwa kawowa
• 12¹⁵ – 13⁰⁰ dr Leszek A. Kołodziejczyk: O pojęciu konserwatywności I
• 13⁰⁰ – 13¹⁵ przerwa
• 13¹⁵ – 14⁰⁰ dr Leszek A. Kołodziejczyk: O pojęciu konserwatywności II
• 14⁰⁰ – 16⁰⁰ obiad
• 16⁰⁰ – 16⁴⁵ dr Michał Zawidzki: Pojęcia teoriogrowe w różnych formalizmach logicznych I
• 16⁴⁵ – 17⁰⁰ przerwa
• 17⁰⁰ – 17⁴⁵ dr Michał Zawidzki: Pojęcia teoriogrowe w różnych formalizmach logicznych II
• 17⁴⁵ – 18⁰⁰ przerwa
• 18⁰⁰ – 18⁴⁵ mgr Przemysław Wałęga – TBA
• Od 20⁰⁰ ognisko/grill

NIEDZIELA, 29 WRZEŚNIA

• 9⁰⁰ – 10⁰⁰ śniadanie
• 10⁰⁰ – 10⁴⁵ dr Michał Zawidzki: Pojęcia teoriogrowe w różnych formalizmach logicznych III
• 10⁴⁵ – 11⁰⁰ przerwa
• 11⁰⁰ – 11⁴⁵ dr Michał Zawidzki: Pojęcia teoriogrowe w różnych formalizmach logicznych IV
• 11⁴⁵ – 12¹⁵ przerwa kawowa
• 12¹⁵ – 13⁰⁰ mgr Bartosz Wcisło: Twierdzenie Barwise’a-Schlipfa o modelach rekurencyjnie nasyconych I
• 13⁰⁰ – 13¹⁵ przerwa
• 13¹⁵ – 14⁰⁰ mgr Bartosz Wcisło: Twierdzenie Barwise’a-Schlipfa o modelach rekurencyjnie nasyconych I
• 14⁰⁰ zakończenie warsztatów

Uniwersytet Warszawski Instytut Filozofii