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

The aim of World Logic Day is nicely summarized by 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 the spirit of this quote, we aim to organize an event with a friendly atmosphere that inspires fruitful discussions, where researchers and students can get some insights to the works of each-other and can celebrate World Logic day together.

Venue:

HUN-REN Rényi Alfréd Matematikai Kutatóintézet,
1053 Budapest, Reáltanoda u. 13-15.
Turán-Room

Following the event online:

TBA

Program:

The schedule is in Central European Time (CET). 

Set theory section
14:00-14:30

Lajos Soukup

Countably compact vs pseudocompact spaces

abstract
14:30-14:50

Dorottya Sziráki

An open hypergraph axiom

abstract
Coffe break (30 min)
Category theory section
15:20-15:40

Kristóf Kanalas

A completeness theorem for L∞κ

abstract
15:40-16:00

Gergely Buday & Andrei Popescu

Halmazoktól típusokig: izomorf átvitel

abstract
16:00-16:20

Xie Szumi

Second-order generalized algebraic theories

abstract
Coffe break (30 min)
Algebraic logic + Model theory section
16:50-17:20

Sándor Jenei

Layer Algebra Decomposition: Impacts on the Structure Theory of Residuated Lattices and Substructural Logics
abstract
17:20-17:40

Édua Kun

Automorfizmus-invariáns mértékek homogén struktúrákon

abstract
17:40-18:00 Hajnal Andréka & István Németi

Open problems on the connections between Halmos' polyadic and Tarski's cylindric algebras.

abstract
Informal discussion 18:00-19:00

Organizers:
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)

Program Committee:
Zalán Gyenis (Jagiellonian University)
Gábor Sági (Rényi Institute)
Gergely Székely (Rényi Institute)

Previous World Logic Day events in Hungary:
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.