Seminar on Logic and its Applications

wersja polska

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:

Click on the title to see the slides from the lecture. More slides coming soon.


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


Take a look at the conference photo gallery.


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

Organizing committee

O ile nie zaznaczono inaczej, treść tej strony objęta jest licencją Creative Commons Attribution-ShareAlike 3.0 License