Pražské setkání logiků

Pořádá Oddělení logiky FLÚ AV ČR

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ý: Combinatorics of gaps in P(ω)/fin

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:00 Vít Punčochář: Assertibility as a Semantic Concept

14:00-14:30 Ján Pich: Circuit Lower Bounds in Bounded Arithmetics

15:00-16:00 Stefan Ratschan: First Order Theories of the Real Numbers: Beyond Decidability and Complexity

16:30-17:30 Emil Jeřábek: Open Induction in a TC0 Arithmetic

ABSTRAKTY

http://logika.flu.cas.cz/cz/prazske-setkani-logiku/setkani-logiku-2014