Prague Gathering of Logicians 7- 8 February 2014, Villa Lanna

This meeting is a continuation of A Gathering of Prague-Based Logicians held in February last year (Webpage). This time it is organized by the Institute of Philosophy and participants from the whole Czech Republic are welcome. We will be happy to help arranging accommodation for participants based outside of Prague.

Registration

Please send your name and affiiation to 
This email address is being protected from spambots. You need JavaScript enabled to view it.

Speakers

Petr Glivický (Institute of Mathematics ASCR, Faculty of Mathematics and Physics CUNI)
David Chodounský (Institute of Mathematics ASCR)
Emil Jeřábek (Institute of Mathematics ASCR)
Michal Koucký (Faculty of Mathematics and Physics CUNI, Institute of Mathematics ASCR)
Ladislav Kvasz (Institute of Philosophy ASCR, Faculty of Education CUNI)
Stefan Ratschan (Institute of Computer Science ASCR)
Neil Thapen (Institute of Mathematics ASCR)
Sean Walsh (University of California)

Ján Pich (Faculty of Mathematics and Physics CUNI)
Vít Punčochář (Institute of Philosophy ASCR)

Program

FRIDAY

9:30 Registration

10:00 Opening

10:15-11:15 Neil Thapen: Parity Games and Propositional Proofs

11:30-12:30 David Chodounský: Combinatorics of gaps in P(ω)/fin

lunch break

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 banquet

SATURDAY

9:30-10:30 Petr Glivický: Model theory of linear fragments of arithmetic

11:00-12:00 Michal Koucký: Catalytic Computation

lunch break

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 TC⁰ Arithmetic

ABSTRACTS

Program Comittee

Rostislav Horčík (Institute of Computer Science ASCR, chair)
Libor Barto (Faculty of Mathematics and Physics CUNI)
Antonín Kučera (Faculty of Mathematics and Physics CUNI)
Jaroslav Peregrin (Institute of Philosophy ASCR)
Pavel Pudlák (Institute of Mathematics ASCR)
Jiří Velebil (CTU Faculty of Electrical Engineering)
Jonathan Verner (Faculty of Arts CUNI)

Organizing Comittee 

Ondrej Majer (Institute of Philosophy ASCR)
Zuzana Haniková (Institute of Computer Science ASCR)
Petra Ivaničová (Institute of Philosophy ASCR)