Konferencja "Logika i jej zastosowania"
Koło Naukowe Informatyków zaprasza na konferencję
"Logika i jej zastosowania"
z okazji 50. urodzin Marka Zawadowskiego,
która odbędzie się w dniach
8-9 maja (sobota-niedziela)
na Wydziale MIM UW w sali 5440.
Zaproszeni prelegenci:
- Marcin Benke (MIM UW) — "Types for Proofs and Programs"
- Mikołaj Bojańczyk (MIM UW) — "Tree-walking automata"
- Jacek Chrząszcz (MIM UW) — "Computers in the service of logic: the Coq proof-assistant" (przykład)
- Henrik Forssell (Oslo) — "Subtoposes, subgroupoids, and quotient theories"
- Alexander Kurz (Leicester) — "Algebraic Theories over Nominal Sets"
- Marcin Mostowski (IF UW) — "Semantic diagonal argument in finite models"
- Filip Murlak (MIM UW) — "Chasing queries: a logical concept in your database"
- Aleksy Schubert (MIM UW) — "Intuitionistic logic - what could it be in mathematicians' view?"
- Jerzy Tyszkiewicz (MIM UW) — "Yin-Yang of Programs and Three-Valued Logics"
- Paweł Urzyczyn (MIM UW) — "From Tarski to Girard. What is logic all about?"
Uwaga: nazwa wykładu prowadzi do slajdów. Wkrótce postaramy się dodać slajdy do większości referatów.
Program
Językiem wykładowym będzie angielski.
sobota, 8 maja
10:00 — 10:45 | Jerzy Tyszkiewicz, "Yin—Yang of Programs and Three-Valued Logics" |
10:45 — 11:30 | Alexander Kurz, "Algebraic Theories over Nominal Sets" |
11:30 — 12:00 | Coffee Break |
12:00 — 12:45 | Jacek Chrząszcz, "Computers in the service of logic: the Coq proof-assistant" |
12:45 — 13:30 | Marcin Mostowski, "Semantic diagonal argument in finite models" |
13:30 — 14:30 | Lunch |
14:30 — 15:15 | Marcin Benke, "Types for Proofs and Programs" |
15:15 — 15:45 | Coffee Break |
16:00 — 16:45 | Mikołaj Bojańczyk, "Tree-walking automata" |
19:00 — | Przyjęcie urodzinowe Marka Zawadowskiego |
niedziela, 9 maja
10:00 — 10:45 | Henrik Forssell, "Subtoposes, subgroupoids, and quotient theories" |
10:45 — 11:30 | Filip Murlak, "Chasing queries: a logical concept in your database" |
11:30 — 12:00 | Coffee Break |
12:00 — 12:45 | Aleksy Schubert, "Intuitionistic logic - what could it be for in mathematicians' view?" |
12:45 — 13:30 | Paweł Urzyczyn, "From Tarski to Girard. What is logic all about?" |
13:30 — 14:30 | Lunch |
Zdjęcia
Zachęcamy do obejrzenia zdjęć z konferencji.
Rejestracja
Rejestracja jest zamknięta. Osoby, które się nie zarejestrowały, nadal mogą uczestniczyć w wykładach, ale nie będziemy im mogli zapewnić bezpłatnych lunchy.
Wszelkie uwagi i pytania prosimy kierować do Krzysztofa Kapulkina (lp.ude.wumim|tfq#lp.ude.wumim|tfq)
Sponsorzy i organizacje patronujące
- Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego
- Instytut Filozofii Uniwersytetu Warszawskiego
- Samorząd Studentów Wydziału MIM UW
- Warszawska Grupa Logiczna
- Study group on Quantum Field Theories
- Koło Naukowe Informatyków UW
Komitet organizacyjny
- Marek Czarnecki
- Krzysztof Kapulkin (przewodniczący)
- Karolina Sołtys
wersja strony: 40, ostatnia edycja: 16 May 2010 22:16