Beauty of Logic

Special session in honour of Petr Hájek

Professor Petr Hájek passed away in 2016. This year's Czech Gathering of Logicians is combined with Beauty of Logic, a conference held on special occasions and focussing on his research topics. The combined conference therefore welcomes especially contributions developing such topics (set theory, arithmetic, mathematical fuzzy logic, logic in data analysis). Please mark your submissions "Beauty of Logic" if you are submitting to the Beauty of Logic part of the combined conference.

Important Dates

Conference

2026
February 4 to 6

Deadline for submissions

The deadline has passed

Notification to authors

2025
December 18, AoE


Invited Speakers

Tommaso Flaminio

Ansten Klev

Carles Noguera

Adam Přenosil

Iva Svačinová & Petra Vodová

Gustav Šír

Submissions

The deadline for submissions has passed.

Registration & Conference Fees

To register for the conference, please fill in the registration form > https://forms.gle/QseWwahLfbXHfeEH6

Conference fees:

Early (before January 16, 2026): 2200 CZK
Late: 2500 CZK
Student: free
ORGANIZED by the Institute of Computer Science of the Czech Academy of Sciences
CO-ORGANIZED by the Institute of Philosophy of the Czech Academy of Sciences


Organizing Committee

Petr Cintula
Zuzana Haniková (chair)
Filip Jankovec
Vít Punčochář
Hana Stříhavková
Amanda Vidal

Programme Committee

Libor Běhounek
Zuzana Haniková (co-chair)
Rostislav Horčík (co-chair)
Roman Kuznets
Vít Punčochář
Karel Šebela
Vítězslav Švejdar

Acknowledgements


Header photo by Sarah Sheedy on Unsplash