Seminar on Logic and its Applications
Theoretical Computer Science Group is pleased to announce
the Seminar on
Logic and its Applications
celebrating the 50th birthday of Marek Zawadowski,
which will take place on
May 8th-9th, 2010 (Saturday-Sunday)
Invited speakers:
- 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" (example)
- 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?"
Click on the title to see the slides from the lecture. More slides coming soon.
Programme
All lectures will be given in English.
Saturday, May 8th
| 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 — | Marek Zawadowski's birthday party |
Sunday, May 9th
| 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 |
Photos
Take a look at the conference photo gallery.
Registration
Registration is now closed. If you haven't registered, you are still invited to listen to the lectures, but we will not be able to provide you with a free lunch.
In case of questions please contact Krzysztof Kapulkin (lp.ude.wumim|tfq#lp.ude.wumim|tfq).
Sponsors and partners
- Faculty of Mathematics, Informatics and Mechanics at the University of Warsaw
- Institute of Philosophy at the University of Warsaw
- Samorząd Studentów Wydziału MIM UW
- Warsaw Logic Group
- Study group on Quantum Field Theories
- Theoretical Computer Science Group
Organizing committee
wersja strony: 22, ostatnia edycja: 16 May 2010 22:40
