We are pleased to announce that the Mathematics and Informatics Committee of the Regional Center of the Hungarian Academy of Sciences in Pécs and the Set Theory, Logic and Topology department of the Alfréd Rényi Institute of Mathematics are organizing a hybrid workshop celebrating the 8th World Logic Day on the 9th of January 2026.

The aim of World Logic Day is well summarized in the following quote: 
"A dynamic and global annual celebration of World Logic Day aims at fostering international cooperation, promoting the development of logic, in both research and teaching, supporting the activities of associations, universities and other institutions involved with logic, and enhancing public understanding of logic and its implications for science, technology and innovation."
-- Proclamation of a World Logic Day UNESCO. General Conference, 40th, 2019.

In this spirit, we aim to organize a friendly and welcoming event that inspires meaningful discussions, where researchers and students can exchange insight into one another’s work and celebrate World Logic Day together.

Venue: MTA-PAB Székház 7624 Pécs, Jurisics Miklós utca 44.

Accommodation: Participants can book a room at the conference venue through https://tab.mta.hu/pecsi-teruleti-bizottsag/szobafoglalas/. Alternatively, Hotel Arkadia Pécs is another convenient option.

Zoom link: https://us06web.zoom.us/j/87191087730?pwd=dvJ2DFEgAEIHl2uIqAHxbFl39TH5Jb.1

Program: 

The schedule is in Central European Time (CET, UTC+1). 

Because of traffic problems due to heavy snowing in Hungary

the whole schedule is delayed by 1 hour.

14:00-14:30

Sándor Jenei 

A Categorical Equivalence for Residuated Lattices and Its Context

abstract
14:30-15:00

András Kornai

Model structures and automata

abstract
Coffe break (25 min)
15:25-15:45

Bertalan Bodor

Constraint satisfaction problems and compactness

abstract
15:45-16:05

Kristóf Kanalas

Compactness for continuous families of models

abstract
16:05-16:25

Bertalan Pécsi

Generalized Ultrafilters

abstract
16:25-16:45

János Balázs Ivanyos

Algebraic characterisation of pseudo-elementary and second-order classes

abstract
Coffe break (25 min)
17:10-17:30

David G. Berry

Cut-Elimination by Evaluation for a Constructive Calculus of Proofs and Refutations with Linear Connectives

abstract
17:30-17:50

Robin Hirsch   (online)

Temporal Axioms for Minkowski spacetime

abstract
17:50-18:10

Simon Kramer   (online)

A Gödelian Loophole in the Swiss Constitution

abstract
18:10-18:30

Gergő Pintér

What is conditional probability – and what is it not? A review of classical paradoxes 

abstract
Informal discussion (18:30-19:30)


Organizers:
Zalán Gyenis (Jagiellonian University)
Sándor Jenei (University of Pécs, Eszterházy Károly Catholic University)
Gábor Sági (Rényi Institute)
Gergely Székely (Rényi Institute)
Dorottya Sziráki (Rényi Institute)

Previous World Logic Day events in Hungary:

7th Logic day: Rényi Institute/MTA-PAB
6th Logic day: MTA-PAB/Rényi Institute
5th Logic day: Rényi Institute/MTA-PAB
4th Logic day: Model Theoretic Logics and their Frontiers
3rd Logic day: Rényi Institute/Eötvös Loránd University
2nd Logic day: Rényi Institute/Eötvös Loránd University
1st Logic day: Eötvös Loránd University and University of Pécs.