Pražské setkání logiků 7.- 8. února 2014, vila Lanna
	english version

Vzhledem k převážně pozitivním ohlasům na setkání logiků a logiček ve vile Lanna, které proběhlo v únoru loňského roku (webové stránky), jsme se rozhodli tuto akci zopakovat. Pořadatelem setkání bude tentokrát Filosofický ústav AVČR a bude otevřené účastníkům z celé ČR. Ubytování mimopražských účastníků zajistíme přímo v Lanně nebo v blízkém okolí. Konferenční poplatek 1000 Kč (400 Kč pro studenty) zahrnuje občerstvení a banket.

Registrace

Zašlete prosím údaje se svým jménem a pracovištěm na
Tato e-mailová adresa je chráněna před spamboty. Pro její zobrazení musíte mít povolen Javascript.

Přednášející

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)

Program

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

Programový výbor

Rostislav Horčík (Ústav informatiky AVČR, předseda)
Libor Barto (Matematicko-fyzikální fakulta UK)
Antonín Kučera (Matematicko-fyzikální fakulta UK)
Jaroslav Peregrin (Filosofický ústav AVČR)
Pavel Pudlák (Matematický ústav AVČR)
Jiří Velebil (Fakulta elektrotechnická, ČVUT)
Jonathan Verner (Filozofická fakulta UK)

Organizační výbor 

Ondrej Majer (Filosofický ústav, Ústav informatiky AVČR)
Zuzana Haniková (Ústav informatiky AVČR)
Petra Ivaničová (Filosofický ústav AVČR)