Tematyka:
- logika a współczesne teorie prawdy (aksjomatyczne teorie prawdy, arytmetyki z predykatem prawdy, klasy spełniania i modele arytmetyki, semantyka w modelach skończonych, antynomie semantyczne, niesprzeczność i słabe arytmetyki)
- logika a złożoność obliczeniowa (efektywne algorytmy dla obliczeniowo trudnych problemów, logika a teoria automatów i języków formalnych, teoria informacji, metody logiczne w informatyce teoretycznej)
- logika a język naturalny (semantyka obliczeniowa języka naturalnego, formalna teoria wyuczalności, kognitywistyczne zagadnienia teorii języka)
Wykładowcy:
Lista wykładowców tegorocznej edycji Warsztatów Logicznych:
Referaty studenckie:
- Mgr Michał Wrocławski (IF UW) – Kroneckera konstrukcja liczb algebraicznych
- Michał Tomasz Godziszewski (MISH UW, MIMUW, FUW) – (1) Twierdzenie Solovaya o zupełności GL;
(2) Ciągi Yablo: istnienie, niesprzeczność, interpretacje
- Mateusz Łajszczak (MISH UW, MIMUW) – Gry Ehrenfeuchta i modele arytmetyki dodawania
- Mateusz Łełyk (MISH UW, MIMUW) – Jak słabe są słabe teorie prawdy?
- Tomasz Steifer (MISH UW, FUW) – Analogowe rekurencyjne sieci neuronowe (ARNN)
- Bartosz Wcisło (MISH UW, MIMUW) – Twierdzenie Gaifmana o rozdzielaniu
Rozpiska godzinowa:
PONIEDZIAŁEK, 24 WRZEŚNIA
- Do 1400 przyjazd gości
- 1400 – 1600 obiad
- 1600 – 1645 Mgr Michał Wrocławski: Kroneckera konstrukcja liczb algebraicznych
- 1645 – 1700 przerwa
- 1700 – 1745 Tomasz Steifer: Analogowe rekurencyjne sieci neuronowe (ARNN)
- 1745 – 1815 przerwa kawowa
- 1815 – 1900 Bartosz Wcisło - Twierdzenie Gaifmana o rozdzielaniu
- 1900 – 1915 przerwa
- 1915 – 2000 Dr Jakub Kozik: Ilościowe aspekty logik zdaniowych, cz. I
- Od 2030 ognisko/grill
WTOREK, 25 WRZEŚNIA
- 830 – 1000 śniadanie
- 1000 – 1045 Dr Jakub Kozik: Ilościowe aspekty logik zdaniowych, cz. II
- 1045 – 1100 przerwa
- 1100 – 1145 Dr Jakub Kozik: Ilościowe aspekty logik zdaniowych, cz. III
- 1145 – 1215 przerwa kawowa
- 1215 – 1300 Mateusz Łełyk: Jak słabe są słabe teorie prawdy?
- 1300 – 1315 przerwa
- 1315 – 1400 Mateusz Łajszczak: Gry Ehrnefeuchta i modele arytmetyki dodawania
- 1400 – 1600 obiad
- 1600 – 1645 Prof. Marcin Mostowski: Intuicjonistyczna interpretacja kwantyfikatorów w Π-dziedzinach
- 1645 – 1700 przerwa
- 1700 – 1745 Prof. Damian Niwiński: W poszukiwaniu najkrótszego opisu: teoria informacji a logika, cz. I
- 1745 – 1815 przerwa kawowa
- 1815 – 1900 Prof. Damian Niwiński: W poszukiwaniu najkrótszego opisu: teoria informacji a logika, cz. II
- 1900 – 2000 czas wolny
- Od 2000 ognisko/grill
ŚRODA, 26 WRZEŚNIA
- 830 – 1000 śniadanie
- 1000 – 1045 Prof. Damian Niwiński: W poszukiwaniu najkrótszego opisu: teoria informacji a logika, cz. III
- 1045 – 1100 przerwa
- 1100 – 1145 Dr Eryk Kopczyński: Spektra dla grafów planarnych i o ograniczonym stopniu, cz. I
- 1145 – 1215 przerwa kawowa
- 1215 – 1300 Dr Eryk Kopczyński: Spektra dla grafów planarnych i o ograniczonym stopniu, cz. II
- 1300 – 1315 przerwa
- 1315 – 1400 Dr Eryk Kopczyński: Definiowalnosć układów równań liniowych nad grupami i pierścieniami, cz. I
- 1400 – 1600 obiad
- 1600 – 1645 Dr Eryk Kopczyński: Definiowalnosć układów równań liniowych nad grupami i pierścieniami, cz. II
- 1645 – 1700 przerwa
- 1700 – 1745 Dr Filip Murlak: Monadyczna logika drugiego rzędu i automaty, cz. I
- 1745 – 1815 przerwa kawowa
- 1815 – 1900 Dr Filip Murlak: Monadyczna logika drugiego rzędu i automaty, cz. II
- 1900 – 1915 przerwa
- 1915 – 2030 czas wolny
- Od 2030 ognisko/grill
CZWARTEK, 27 WRZEŚNIA
- 830 – 1000 śniadanie
- 1000 – 1045 Prof. Zofia Adamowicz: Różne formy predykatu dowodliwości i predykatu niesprzeczności, cz. I
- 1045 – 1100 przerwa
- 1100 – 1145 Prof. Zofia Adamowicz: Różne formy predykatu dowodliwości i predykatu niesprzeczności, cz. II
- 1145 – 1215 przerwa kawowa
- 1215 – 1300 Dr Eryk Kopczyński: Definiowalnosć układów równań liniowych nad grupami i pierścieniami, cz. III
- 1300 – 1315 przerwa
- 1315 – 1400 Dr Eryk Kopczyński: Definiowalnosć układów równań liniowych nad grupami i pierścieniami, cz. IV
- 1400 – 1600 obiad
- 1600 – 1645 Dr Filip Murlak: Monadyczna logika drugiego rzędu i automaty, cz. III
- 1645 – 1700 przerwa
- 1700 – 1745 Dr Filip Murlak: Monadyczna logika drugiego rzędu i automaty, cz. IV
- 1745 – 1815 przerwa kawowa
- 1815 – 1900 Dr Katarzyna Budzyńska: Własności struktur językowo – kognitywnych cz. I
- 1900 – 2030 czas wolny
- Od 2030 ognisko/grill
PIĄTEK, 28 WRZEŚNIA
- 830 – 1000 śniadanie
- 1000 – 1045 Dr Katarzyna Budzyńska: Własności struktur językowo – kognitywnych cz. II
- 1045 – 1100 przerwa
- 1100 – 1145 Dr Filip Murlak: Monadyczna logika drugiego rzędu i automaty, cz. V
- 1145 – 1215 przerwa kawowa
- 1215 – 1300 Dr Filip Murlak: Monadyczna logika drugiego rzędu i automaty, cz. VI
- 1300 – 1315 przerwa
- 1315 – 1400 Dr hab. Sławomir Lasota: Zastosowanie zbiorów Fraenkla – Mostowskiego w informatyce teoretycznej, cz. I
- 1400 – 1600 obiad
- 1600 – 1645 Dr hab. Sławomir Lasota: Zastosowanie zbiorów Fraenkla – Mostowskiego w informatyce teoretycznej, cz. II
- 1645 – 1700 przerwa
- 1700 – 1745 Dr hab. Sławomir Lasota: Zastosowanie zbiorów Fraenkla – Mostowskiego w informatyce teoretycznej, cz. III
- 1745 – 1815 przerwa kawowa
- 1815 – 1900 Dr hab. Sławomir Lasota: Zastosowanie zbiorów Fraenkla – Mostowskiego w informatyce teoretycznej, cz. IV
- 1900 – 2030 czas wolny
- Od 2030 ognisko/grill
SOBOTA, 29 WRZEŚNIA
- 830 – 1000 śniadanie
- 1000 – 1045 Dr Nina Gierasimczuk: Obliczeniowe własności skończonej identyfikowalności, cz. I
- 1045 – 1100 przerwa
- 1100 – 1145 Dr Nina Gierasimczuk: Obliczeniowe własności skończonej identyfikowalności, cz. II
- 1145 – 1215 przerwa kawowa
- 1215 – 1300 Dr Nina Gierasimczuk: Obliczeniowe własności skończonej identyfikowalności, cz. III
- 1300 – 1315 przerwa
- 1315 – 1400 Dr Nina Gierasimczuk: Obliczeniowe własności skończonej identyfikowalności, cz. IV
- 1400 – 1600 obiad
- 1600 – 1645 Dr Jakub Szymanik: Złożoność rozumowań epistemicznych, cz. I
- 1645 – 1700 przerwa
- 1700 – 1745 Dr Jakub Szymanik: Złożoność rozumowań epistemicznych, cz. II
- 1745 – 1815 przerwa kawowa
- 1815 – 1900 Dr Jakub Szymanik: Złożoność rozumowań epistemicznych, cz. III
- 1900 – 1915 przerwa
- 1915 – 2000 Dr Jakub Szymanik: Złożoność rozumowań epistemicznych, cz. IV
- Od 2030 ognisko/grill
NIEDZIELA, 30 WRZEŚNIA
- 830 – 1000 śniadanie
- 1000 – 1045 Michał Tomasz Godziszewski: Twierdzenie Solovaya o zupełności GL
- 1045 – 1100 przerwa
- 1100 – 1145 Michał Tomasz Godziszewski: Ciągi Yablo – istnienie, niesprzeczność, interpretacje
- 1145 – 1215 przerwa kawowa
- 1215 – 1300 Dr hab. Cezary Cieśliński: Paradoks Yablo w aksjomatycznych teoriach prawdy, cz. I
- 1300 – 1315 przerwa
- 1315 – 1400 Dr hab. Cezary Cieśliński: Paradoks Yablo w aksjomatycznych teoriach prawdy, cz. II
- 1400 zakończenie warsztatów