Prague Gathering of Logicians 2018


Beauty of Logic 2018

January 25 — 27, 2018
Villa Lanna, Prague

Programme & Venue

Prague Gathering of Logicians is an annual event upheld by the community of logicians in Prague, bringing together researchers with expertise in mathematics, computer science, philosophy, linguistics, and other territories or neighbours of logic. It seeks to promote research in logic by focusing on in-depth talks given by resident logicians and guests on their areas of expertise, as well as providing a platform for informal exchange of ideas. The event is open to all logicians or researchers interested in logic.
Website of previous editions: 2013 , 2014 , 2015 , 2016 and 2017

This year, the Gathering is held jointly with Beauty of Logic, organized irregularly in recent past by the Institute of Computer Science in honour of Petr Hájek, its late member and former director who passed away in December 2016. Petr Hájek was a teacher, advisor, mentor, and esteemed colleague, to several successive generations of logicians. He established several weekly seminars, focusing on different areas of logic, that have continued to be run in Prague for decades. His keen interest in a broad range of themes in logic, his frontier research work, and his appreciation of the work of others, made him a role model to many of us. This year's Beauty, held jointly with the Gathering, is a way of saying thank you.

Conference Programme

Download the programme in PDF and volume of abstracts.

Invited talks are held from 10 to 16:30h. Contributed and student sessions follow in the late afternoon.

Thursday 25 Friday 26 Saturday 27
9:30 - 10:00h Registration Morning Coffee
9:50 - 10:00h Opening
10:00 - 11:00h

Pavel Hrubeš

Sy David Friedman

Manuel Bodirsky

11:00 - 11:15h Coffee break
11:15 - 12:15h

Carles Noguera

Joel David Hamkins

Michael Pinsker

12:15 - 14:00h Lunch break
14:00 - 15:00h

Francesc Esteva

Peter Schroeder-Heister

Tomáš Kroupa

15:00 - 15:30h Coffee break
15:30 - 16:30h

George Metcalfe

Albert Visser

Vincenzo Marra

16:30 - 16:45h Break
16:45 - 17:10h Vít Punčochář (student talk)
Anna Horská
Libor Běhounek and Antonín Dvořák
17:10 - 17:35h Sándor Jenei (student talk)
Bertalan Bodor
Libor Běhounek and Ondrej Majer
17:35 - 18:00h Vilém Novák Igor Sedlár and Amanda Vidal
18:00 - 18:25h Luca San Mauro Petr Cintula and Carles Noguera
18:30h Closing


Please note that Villa Lanna does not serve lunches.


The meeting will be held in Villa Lanna V sadech 1, Praha 6. The villa is situated in a leafy residential area, within reach of public transport.

Local information for participants.


Gathering of Logicians:
CZK 1000
Beauty of Logic:
CZK 3000
(Participants presenting a contributed talk at Beauty
need to register to that conference.)
Registered students can apply for a waiver:
please send one paragraph about yourself to the conference email.
Either fee entails participation at both conferences, including a banquet on Friday night, coffee breaks, and access to conference materials.

The registration has been closed.

Conference email:


This meeting is co-organized by the Institute of Computer Science and the Institute of Philosophy of the Czech Academy of Sciences.

Programme Committee

Libor Barto, Libor Běhounek, Marta Bílková, Petr Cintula (chair), Zuzana Haniková, Vojtěch Kolman, Pavel Pudlák, Jonathan Verner.

Organizing Committee

Marta Bílková, Petr Cintula, Zuzana Haniková (chair), Ondrej Majer, Igor Sedlár, Amanda Vidal