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.


Registration:
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.


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


Schedule

The schedule is in Central European Summer Time (CEST, UTC+02:00).
The electronic book of abstract is available from here.


Day 1 (Algebraic Logic), 15 September 2022


Session 1 Chair: Mohamed Khaled
15:00-15:30

Á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

15:30-16:00

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
17:30-18:00

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
15:30-16:00

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
abstract
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
17:00-18:30

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: