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

A Gathering of Prague-Based Logicians

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

15-16 February 2013

Thank you for making it all worthwhile!
Pictures from the meeting.

: schedule (pdf version in English and Czech)
Friday, 15 February
9:15 opening
9:30-10:30 The feasible incompletness theorem  Pavel Pudlák (Institute of Mathematics, Academy of Sciences of the Czech Republic)
11:00-12:00 The nature of logical laws  Jaroslav Peregrin (Institute of Philosophy, Academy of Sciences of the Czech Republic)
14:00-15:00 Calibrating randomness  Antonín Kučera (Faculty of Mathematics and Physics, Charles University in Prague)
15:30-16:30 Velká iluze matematiky XX. století a nové základy  Petr Vopěnka (Faculty of Philosophy and Arts, University of West Bohemia)
17:00-19:00 Diskuse u kulatého stolu (česky)
Saturday, 16 February
9:30-10:30 Coalgebras: recursion and modal logic  Jiří Velebil (Faculty of Electrical Engineering, Czech Technical University in Prague)
11:00-12:00 Interplay between algebra and proof theory for substructural logics  Rostislav Horčík (Institute of Computer Science, Academy of Sciences of the Czech Republic)
14:00-15:00 Combinatorics of filters and ideals  Jonathan Verner (Faculty of Arts, Charles University in Prague)
15:30-16:30 Decision, counting and optimisation in constraint satisfaction problems  Libor Barto (Faculty of Mathematics and Physics, Charles University in Prague)
16:30-17:30 Book presentations
19:00 Banquet

:book presentations:
P. Cintula, P. Hájek, C. Noguera (eds.): Handbook of Mathematical Fuzzy Logic
M. Duží, B. Jespersen, P. Materna: Procedural Semantics for Hyperintensional Logic (Foundations and Applications of TIL)
P. Pudlák: Logical Foundations of Mathematics and Computational Complexity, a gentle introduction
J. Paris, A. Vencovská: Inductive Logic

: list of participants (as registered) :
Petr Cintula (Institute of Computer Science, AS CR), Marta Bílková (Faculty of Arts, Charles University), Emil Jeřábek (Institute of Mathematics, AS CR), Ondrej Majer (Institute of Philosophy, AS CR), Petra Ivaničová (Institute of Philosophy, AS CR), Zuzana Haniková (Institute of Computer Science, AS CR), Jiří Hanika (NCR Corporation), Karel Chvalovský (Institute of Computer Science, AS CR), Milan Petrík (Institute of Computer Science, AS CR), Jan Krajíček (Faculty of Mathematics and Physics, Charles University), Carles Noguera (Institute of Information Theory and Automation, AS CR), Petr Hájek (Institute of Computer Science, AS CR), Marie Hájková (SVVP SONS CR), Alexandr Kazda (Faculty of Mathematics and Physics, Charles University), Jakub Opršal (Faculty of Mathematics and Physics, Charles University), Jakub Bulín (Faculty of Mathematics and Physics, Charles University), Jiří Šíma (Institute of Computer Science, AS CR), Radek Honzík (Faculty of Arts, Charles University), Michal Peliš (Institute of Philosophy, AS CR), Vít Punčochář (Institute of Philosophy, AS CR), Pavel Materna (Institute of Philosophy, AS CR), Martin Suda (Faculty of Mathematics and Physics, Charles University and Max-Planck-Institut für Informatik, Saarbrücken), Vítězslav Švejdar (Faculty of Arts, Charles University), Dagmar Harmancová (Institute of Computer Science, AS CR), Jiří Sgall (Faculty of Mathematics and Physics, Charles University), Tomáš Jakl (Faculty of Mathematics and Physics, Charles University), Neil Thapen (Institute of Mathematics, AS CR), Wiesław Kubiś (Institute of Mathematics, AS CR), David Coufal (Institute of Computer Science, AS CR), Irina Perfilieva (IRAFM, University of Ostrava), Vilém Novák (IRAFM, University of Ostrava), Alena Šolcová (Faculty of Information Technology, Czech Technical University), Ludmila Dostálová (Faculty of Philosophy and Arts, University of West Bohemia), Olga Štěpánková (Faculty of Electrical Engineering, Czech Technical University), Marta Vlasáková (Institute of Philosophy, AS CR), Petr Glivický (Faculty of Mathematics and Physics, Charles University), Mirko Navara (Faculty of Electrical Engineering, Czech Technical University), Věra Kůrková (Institute of Computer Science, AS CR), Kamila Bendová (ÚOOÚ ČR), Michal Dančák (Faculty of Arts, Charles University), Alena Vencovská (School of Mathematics, University of Manchester), Jana Glivická (Faculty of Arts, Charles University), Tomáš Holeček (Faculty of Humanities, Charles University), Matěj Dostál (Faculty of Electrical Engineering, Czech Technical University), Šárka Stejskalová (Faculty of Arts, Charles University), Martin Blicha (Faculty of Arts, Charles University), Adam Přenosil (Faculty of Arts, Charles University), Anna Vernerová (Faculty of Mathematics and Physics, Charles University)


: organized by :
Institute of Computer Science, Academy of Sciences of the Czech Republic

: coordinated by :
Emil Jeřábek (Institute of Mathematics, Academy of Sciences of the Czech Republic)
Marta Bílková (Department of Logic, Faculty of Arts, Charles University in Prague)
Petr Cintula (Institute of Computer Science, Academy of Sciences of the Czech Republic)
Petra Ivaničová (Institute of Philosophy, Academy of Sciences of the Czech Republic)
Ondrej Majer (Institute of Philosophy, Academy of Sciences of the Czech Republic)
Zuzana Haniková (Institute of Computer Science, Academy of Sciences of the Czech Republic)