This is the online version of the LRB20 conference that had to be delayed due to the ongoing pandemic of Covid-19. 

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

You can register via the following webpage:

Deadline for registration is: 11 25 June 2021.

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

The book of abstracts is available from here: book of abstracts in pdf


Because of the large variety of time offsets between the various time zones of the speakers and the potential participants, it is not possible to find time slots which are good for everyone. We tried our best to find the best compromise.

The schedule is in Central European Time (CET). An online calendar version of the program automatically  fitting to your local time is available (and downloadable in .ics format) from:

Wednesday, 14 July 2021

Session 1 Chair: Gergely Székely
16:20-16:30 Opening by András Stipsicz Director of the Institute

Laurenz Hudetz
When generalised definitional equivalence implies definitional equivalence


Andrei Rodin
Axiomatic and Genetic Methods of Concept- and Theory-Building: An Attempt of Synthesis

17:30-18:00 Break

Session 2 Chair: Mike Stannett
18:00-18:30 Juliusz Doboszewski
Rotating black holes as time machines: a re-assessment
18:30-19:00 James Weatherall
Where Does General Relativity Break Down?

Samuel Fletcher
On Surplus Structure Arguments

Thursday, 15  July 2021

Session 1 Chair: Koen Lefever
16:30-17:00 Mohamed Khaled
Concept Algebras and Conceptual Distance

Judit Madarász
Concept algebra of special relativistic spacetime

17:30-18:00 Break

Session 2 Chair: Mohamed Khaled
18:00-18:30 Koen Lefever and Gergely Székely
Comparing classical and relativistic dynamics in terms of inelastical collisions
18:30-19:00 Gergely Székely
Now, can or cannot classical kinematics interpret special relativity?
19:00-19:30 Richard Thompson
Predicate Logic with Explicit Substitution

 Friday, 16  July 2021

Session 1 Chair: Márton Gömöri
15:00-15:30 Tarek Sayed Ahmed
Omitting types in finite variable fragments of first order logic
15:30-16:00 Selmer Bringsjord, Naveen Sundar Govindarajulu and Atriya Sen
A Solution to an Insoluble Problem
16:00-16:30 Break

Session 2 Chair: Mohamed Khaled
16:30-17:00 Hajnal Andréka, Judit Madarász, István Németi, Péter Németi and Gergely Székely
On the gap between definitional and categorical equivalence of theories
17:00-17:30 Hajnal Andréka, Edward Higgins, Judit X. Madarász, István Németi, Mike Stannett and Gergely Székely
Machine Verification of the No-FTL-Observer Theorem for First-Order General Relativity
17:30-18:00 Break

Session 3 Chair: Koen Lefever
18:00-18:30 Márton Gömöri
What exactly does the special principle of relativity state? A discussion of Einstein's 1905 paper
18:30-19:00 László E. Szabó, Márton Gömöri and Zalán Gyenis
Why did such serious people take so seriously axioms which now seem so arbitrary?
19:00-19:30 Giambattista Formica
Several Steps in the Procedure of Hilbert’s Axiomatic Method

 Saturday, 17 July 2021

Session 1 Chair: Mike Stannett
15:00-15:30 David O'Connell
Lorentzian Structures on Branching Spacetimes
15:30-16:00 Marcoen Cabbolet
The weak correspondence principle: a new intertheory relation in physics based on Rosaler's empirical reduction
16:00-16:30 Break

Session 2 Chair: Gergely Székely
16:30-17:00 Sebastián Gil
Prospects for Possibilism
17:00-17:30 Petr Švarný
Do you see what I see? Joint observation in Barbourian universe

Photo: Oskar Morgenstern photographer. From the Shelby White and Leon Levy Archives Center, Institute for Advanced Study, Princeton, NJ, USA.