ll CGL & BL 2026

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

Dates and Venue

Venue

Academic Conference Center, Husova 4a, Prague 1.

map

February 4 - 6

Conference Dinner

At the Institute of Computer Science of the CAS, Prague 8 .

map

February 4, 7pm

Invited Speakers

Tommaso Flaminio

On Fuzzy Logic, Probability Theory, and Their Cooperation

-

Ansten Klev

Meaningful Formalism and Infinitary Objects

-

Carles Noguera

Extending Codd’s Theorem to Databases Over Semirings

-

Adam Přenosil

Deciding Equations in Conuclear Residuated Lattices

-

Iva Svačinová & Petra Vodová

Gender Dimension of Disinformers’ Confrontational Style

-

Gustav Šír

Neuro-Symbolic Learning With Relational Logic via Differentiable Semantics


Programme

The conference schedule can be consulted here.


The book of abstracts can be downloaded here.

Submissions

The deadline for submissions has passed.

Registration & Conference Fees

Registration is closed.

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