Petr Glivický (Matematický ústav AVČR, Matematicko-fyzikální fakulta UK)
David Chodounský (Matematický ústav AVČR)
Emil Jeřábek (Matematický ústav AVČR)
Michal Koucký (Matematicko-fyzikální fakulta UK, Matematický ústav AVČR)
Ladislav Kvasz (Filosofický ústav AVČR, Pedagogická fakulta UK)
Stefan Ratschan (Ústav informatiky AVČR)
Neil Thapen (Matematický ústav AVČR)
Sean Walsh (University of California)
Ján Pich (Matematicko-fyzikální fakulta UK)
Vít Punčochář (Filosofický ústav AVČR)
PÁTEK
9:30 Registrace
10:00 Zahájení
10:15-11:15 Neil Thapen: Parity Games and Propositional Proofs
11:30-12:30 David Chodounský: téma bude upřesněno
přestávka na oběd
14:30-15:30 Sean Walsh: The Constructible Universe, the Naive Conception, and Intensional Logic
16:00-17:00 Ladislav Kvasz: Language in Change: How We Changed the Language of Mathematics and How the Language of Mathematics Changed Us
19:00 banket
SOBOTA
9:30-10:30 Petr Glivický: Model theory of linear fragments of arithmetic
11:00-12:00 Michal Koucký: Catalytic Computation
přestávka na oběd
13:30-14:30 Ján Pich, Vít Punčochář: téma bude upřesněno
15:00-16:00 Stefan Ratschan: First Order Theories of the Real Numbers: Beyond Decidability and Complexity
16:30-17:30 Emil Jeřábek: téma bude upřesněno