István Németi is turning to be 80 in 2022. We are pleased to announce that we are organizing a conference in the Alfréd Rényi Institute of Mathematics honoring this occasion. The event contains 3 consecutive afternoons. Each day is focusing on a theme of István's main research topics (Algebraic Logic, Relativity Theory, Methodology of Science). The conference will be closed by a roundtable discussion about the future of algebraic logic and its possible applications.

Participating in the online conference is free of charge, but registration is required.

You can register via the following form: registration form

Deadline for registration is: 12 September 2022

Talks will be given online. The concrete link needed to join the online event will be sent using the e-mails given during the registration.

Hajnal Andréka (Rényi Institute)
Judit X Madarász (Rényi Institute)
Gergely Székely (Rényi Institute)


The schedule is in Central European Summer Time (CEST, UTC+02:00).

Day 1 (Algebraic Logic), 15 September 2022

Session 1 Chair: Mohamed Khaled

Ági Kurucz (King's College London)
Non-finitely axiomatisable canonical varieties of 'non-relativised' algebras of relations with infinite canonical axiomatisations
(joint work with Christopher Hampson, Stanislav Kikot and Sérgio Marcelino)
abstract, slides


Zalán Gyenis (Jagiellonian University)
Another look on amalgamation in algebraic logic
abstract, slides

16:00-16:30 Tarek Sayed Ahmed (Cairo University)
Approaching Vaught's Conjecture using Algebraic Logic
abstract, slides
16:30-17:00 Break

Session 2 Chair: Zalán Gyenis
17:00-17:30 Robin Hirsch (University College London)
Temporal Logic of Minkowski spacetime
abstract, slides

Peter Jipsen (Chapman University)
Weakening Relation Algebras
abstract, slides

Day 2 (Relativity Theory) 16   September 2022

Session 1 Chair:  Gergely Székely
15:00-15:30 Márton Gömöri (Eötvös Loránd University)
Bell's spaceships in free fall
abstract, slides

Judit X Madarász (Rényi Institute)
Concept algebras of geometries with affine reducts over ordered fields
abstract, slides

16:00-16:30 Break

Session 2 Chair: Márton Gömöri
16:30-17:00 Joshua Babic & Lorenzo Cocco (Université de Genève)
Equivalent Formulations of Special Relativity
17:00-17:30 JB Manchak (University of California, Irvine)
A Hierarchy of Spacetime Symmetries: Holes to Heraclitus 
(joint work with Thomas Barrett)
abstract, slides

 Day 3 (Methodology of Science) 17  September 2022

Session 1 Chair: Michele Friend
15:00-15:30 Hans Halvorson (Princeton University)
Translations between Translations
abstract, slides
15:30-16:00 Laurenz Hudetz (London School of Economics)
A unified view of theories
abstract, slides
16:00-16:30 Mohamed Khaled (Bahçeşehir University)
A conceptual-based attribute to connections between theories
abstract, slides
16:30-17:00 Break

Session 2 Chair: Gergely Székely

Roundtable discussion: On the future of Tarskian algebraic logic and its possible applications

The idea is that the invited main participants speak first, and that will be followed by a free discussion on the subject for all participants of the conference.

Main participants: