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: https://framadrive.org/apps/forms/QkX9Ks4QDsr87Nsw

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

Schedule

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: https://framadrive.org/apps/calendar/p/SgNfJgyG7Ns5Qxxr/listMonth/2021-07-14

Wednesday, 14 July 2021

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

Laurenz Hudetz
When generalised definitional equivalence implies definitional equivalence
[slides]
17:00-17:30

Andrei Rodin
Axiomatic and Genetic Methods of Concept- and Theory-Building: An Attempt of Synthesis
[slides]
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?
[slides]
19:00-19:30

Samuel Fletcher
On Surplus Structure Arguments
[slides]

Thursday, 15  July 2021

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

Judit Madarász
Concept algebra of special relativistic spacetime
[slides]
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
[slides]
18:30-19:00 Gergely Székely
Now, can or cannot classical kinematics interpret special relativity?
[slides]
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
[slides]
 
15:30-16:00 Selmer Bringsjord, Naveen Sundar Govindarajulu and Atriya Sen
A Solution to an Insoluble Problem
[slides]
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
[slides]
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
[slides]
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
[slides]

 Saturday, 17 July 2021

Session 1 Chair: Mike Stannett
15:00-15:30 David O'Connell
Lorentzian Structures on Branching Spacetimes
[slides]
15:30-16:00 Marcoen Cabbolet
The weak correspondence principle: a new intertheory relation in physics based on Rosaler's empirical reduction
[slides]
16:00-16:30 Break
Session 2 Chair: Gergely Székely
16:30-17:00 Sebastián Gil
Prospects for Possibilism
[slides]
17:00-17:30 Petr Švarný
Do you see what I see? Joint observation in Barbourian universe
[slides]

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