January 25–27, 2018
Villa Lanna, Prague

organized by
Institute of Computer Science, Czech Academy of Sciences
Institute of Philosophy, Czech Academy of Sciences

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.

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 of
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.


Confirmed invited talks (1 hour)

Manuel Bodirsky (Technical University Dresden)
Francesc Esteva (Spanish Council for Scientific Research)
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

Contributed talks are sought from participants of Beauty of Logic,
on a topic related to work of Petr Hájek, roughly spanning
the following areas:
* mathematical fuzzy logic,
* theories of uncertainty and vagueness,
* exploratory data analysis and related theory,
* first-order arithmetic,
* set theory.

Participants wishing to offer a talk should submit an abstract
of up to two pages in pdf format to

About 20 minutes will be allocated to each accepted talk.

Contributed talks from programme committee members are welcome.
Work submitted for publication or published recently may be
considered for acceptance. If necessary, preference will be given
to new results.

Abstracts of accepted talks will be distributed to all participants
of the conference.


Submission deadline: October 9, 2017 (firm)
Notification: October 30, 2017
Camera-ready abstract: November 30, 2017
Early registration: December 15, 2017
Conference: January 25–27, 2018


Villa Lanna
V sadech 1, Praha 6

The villa is situated in a leafy residential area,
within reach of public transport.


Prague Gathering of Logicians: CZK 1000
(participation at both conferences, not presenting a talk)

Beauty of Logic: CZK 3000
(participation at both conferences, presenting a talk at Beauty)

Both fees include a banquet on Friday night, coffee breaks,
and access to conference materials.

Student participation

As usual, a limited number of fee waivers will be available for
students of logic (PhD or advanced master). To be considered for
a waiver, please send a short application to


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 Wandelmer

Leave a reply