@ Villa Lanna, Prague @ Villa Lanna, Prague @ Villa Lanna, Prague @ Villa Lanna, Prague @ Villa Lanna, Prague @ Villa Lanna, Prague @

Prague Gathering of Logicians

Third Issue

@ Villa Lanna, Prague @ Villa Lanna, Prague @ Villa Lanna, Prague @ Villa Lanna, Prague @ Villa Lanna, Prague @ Villa Lanna, Prague @

13-14 February 2015


PROGRAMME OF THE GATHERING


: one-hour talks :
Roman Barták (Faculty of Mathematics and Physics, CUNI Prague)Automated Planning — A Logical Perspective
Radek Honzík (Faculty of Arts, CUNI Prague)Satisfaction in Outer Models
Mikoláš Janota (INESC-ID Lisboa)On QBF Algorithms and Calculi
Michael Lieberman (Faculty of Science, MUNI Brno)Foundations of Categorical Model Theory
Vladimír Petkevič (Faculty of Arts, CUNI Prague)Jazykové korpusy jako předpoklad poznání jazyka
Igor Sedlár (Faculty of Arts, CU Bratislava)Substructural Negation in Epistemic Logic
Pavol Zlatoš (Faculty of Mathematics, Physics and Informatics, CU Bratislava)Gordon Conjectures: Pontryagin–van Kampen Duality and Fourier Transform
in Hyperfinite Ambience
: student talks :
Jana Glivická (Faculty of Mathematics and Physics, CUNI Prague)Skolem Arithmetic and Weak Direct Power Construction
Adam Přenosil (Faculty of Arts, CUNI Prague)Modal Intuitionistic Logic and S4: Extending the Gödel Translation
Pavel Arazim (Faculty of Arts, CUNI Prague)Tarski's Demarcation of Logic



: registration :
Registration is by email with the coordinators (cintula,hanikova at cs.cas.cz or anyone in the email circular).
Please register if you wish to attend, so we can estimate the number of participants.
The conference fee is CZK 1000, including the banquet dinner at 7pm on Friday night.
Students (doctoral and master) are exempted from paying the fee.


At the banquet dinner, we will have the opportunity to say congrats to Petr Hájek on the occasion of his 75th birthday.

: programme committee :
Petr Glivický, David Chodounský, Emil Jeřábek (chair),
Michal Koucký, Ondrej Majer, Neil Thapen, Sean Walsh

: organized by :
Institute of Computer Science, Academy of Sciences of the Czech Republic
Institute of Mathematics, Academy of Sciences of the Czech Republic
Institute of Philosophy, Academy of Sciences of the Czech Republic
Department of Logic, Faculty of Arts, Charles University in Prague


The gathering benefits from the financial support of Czech Society for Cybernetics and Informatics.

: previous gatherings :
Gathering of Prague Logicians 2013
Prague Gathering of Logicians 2014