Prague Gathering of Logicians 2018


Beauty of Logic 2018

January 25 — 27, 2018
Villa Lanna, Prague

More info Attending

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.


The meeting will consist on contributed talks for the Beauty of Logic and a series of special contributions.

Invited Speakers

  • Manuel Bodirsky
    (Technical University Dresden)
  • Francesc Esteva
    (Spanish Council for Scientific Research)
  • Sy David Friedman
    (University of Vienna)
  • Joel David Hamkins
    (City University of New York)
  • Pavel Hrubeš
    (Czech Academy of Sciences)
  • Tomáš Kroupa
    (Czech Academy of Sciences)
  • Vincenzo Marra (University of Milan)
  • George Metcalfe (University of Bern)
  • Carles Noguera
    (Czech Academy of Sciences)
  • Michael Pinsker
    (Technical University Vienna)
  • Peter Schroeder-Heister
    (University of Tübingen)
  • Albert Visser (Utrecht University)

Contributed talks to BoL

*Libor Běhounek and Antonín Dvořák: First-Order Fuzzy Modal Logics with Variable Domains
*Libor Běhounek and Ondrej Majer: Hájek-style modalities in fuzzy intensional semantics
*Petr Cintula and Carles Noguera: On Hájek's (half-)forgotten treasures
*Sándor Jenei: Strong Standard Completeness of IUL plus t<=>f via a Structure Theorem for Finitely Generated Group-like FLe-algebras à la Hahn
*Vilém Novák: On Partial Fuzzy Type Theory
*Vít Punčochář: A Logic of Questions Based on Łukasiewicz Fuzzy Logic
*Luca San Mauro: Trial and error mathematics: dialectical, p-dialectical, and q-dialectical systems
*Igor Sedlár and Amanda Vidal: Reasoning about weighted graphs in many-valued modal logic

Venue & Registration

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.


Gathering of Logicians:
CZK 1000
Beauty of Logic:
CZK 3000
(Participants presenting a contributed talk at Beauty
need to register to that conference.)
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. Registration at the conference email

preferably before December 15, 2017.


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

This meeting has received funding from the Kurt Gödel Society.