Program

It is our ambition to encourage interconnections and help collaborations between mathematicians, physicists, philosophers of science, and logicians.

The electronic book of abstract is available from here.

Wednesday, August 23
13:20 - 14:20 Registration
14:20 - 14:30 Opening by Péter Pál Pálfy Director of the Institute
14:30 - 15:30 Jeremy Butterfield and Feraz Azhar
The observer in cosmology, classical and quantum


abstract
slides 		Chair:
Gergely Székely
15:30 - 16:00coffee break
16:00 - 16:30 Mohamed Khaled
Beyond Gödel's incompleteness theorem 		abstract
slides
16:30 - 17:00 Valentin Shehtman
On Kripke completeness of some modal predicate logics 		abstract
slides
17:00 - 17:30 Simon Kramer
Quantum logic as classical logic 		abstract
slides
17:30 - 19:00
19:00 - 22:00Welcome Party on a boat that will start at 19:00 from Vigadó tér.
We go together to the boat from the institute at 18:00.
The boat will stay at Olimpia park between 19:30 and 21:00.
Finally, after a 1 hour river trip it will dock at Vigadó tér at 22:00.

Birthday greeting by Péter Prőhle

 back to top

Thursday, August 24
10:00 - 10:30 Anthony Sudbery
Many-valued temporal logic for quantum mechanics
abstract
 Chair:
Thomas Benda
10:30 - 11:00 Antonino Drago
Non-classical logic and special relativity 		abstract
11:00 - 11:30coffee break
11:30 - 12:00 Gergely Székely
Should the principle of relativity speak only about reference frames instead of coordinate systems? 		abstract
slides
12:00 - 12:30 Jean-Claude Falmagne
On a meaningful axiomatic derivation of the Doppler effect and other scientific equations 		abstract
slides
12:30 - 13:00 Dániel Berényi, András Leitereg and Gábor Lehel
Applications of structured recursion schemes 		abstract
slides
13:00 - 14:30Lunch break
14:30 - 15:30 Tomasz Placek
On non-isometric extensions of some GR space-times – a branching perspective


abstract
slides 		Chair:
Koen Lefever
15:30 - 16:00break
16:00 - 17:00 Gyula Dávid
Relativistic dynamics - Novobatzky's effect and the pre-relativistic Newton's equation


abstract
17:00 - 17:30coffee break
17:30 - 18:00 Judit Madarász
A mathematical logic based approach to isotropy, homogeneity and special principle of relativity 		abstract
slides
18:00 - 18:30 Michele Friend
Physical phenomena as eigenforms 		abstract
slides
18:30 - 19:00 Joanna Luc
Are non-Hausdorff space-times physically reasonable? 		abstract
slides

 back to top

Friday, August 25
10:00 - 10:30 Adam Catto
Towards a formal theory of digital physics: digital multiverses
abstract
slides 		Chair:
Judit Madarász
10:30 - 11:00 György Szondy
Beyond the event horizon - Weyl's forgotten cosmology 		abstract
slides notes
11:00 - 11:30coffee break
11:30 - 12:00 György Darvas
The nature of mass in logical perspective 		abstract
12:00 - 12:30 Petr Švarný
A big ball of wibbly wobbly 		abstract
slides
12:30 - 13:00 Petr Jizba
Statistical origin of special and doubly special relativity 		abstract
13:00 - 14:30Lunch break
14:30 - 15:30 Gábor Etesi
On the stability of relativistic computing devices


abstract
slides 		Chair:
Péter Németi
15:30 - 16:00break
16:00 - 16:30 Juliusz Doboszewski
On some curious features of white holes 		abstract
slides
16:30 - 17:00 Aleksandra Samonek
Goal directed proofs and diagrams suitable for applications in the philosophy of science 		abstract
slides
17:00 - 17:30coffee break
17:30 - 18:00 Koen Lefever and Gergely Székely
Comparing classical mechanics and relativity theories in first order logic 		abstract
slides
18:00 - 19:00 Hajnal Andréka and István Németi
How different are classical and relativistic spacetimes?


abstract
slides

 back to top

Saturday, August 26
10:00 - 10:30 Branislav Vlahovic and Maxim Eingorn
Non-inflationary geometrical solution of horizon problem
abstract
slides 		Chair:
Mohamed Khaled
10:30 - 11:00 Péter Pósfay, Antal Jakovác and Gergely Gábor Barnaföldi
Connection between neutron star observeables and the quantum nature of nuclear matter 		abstract
slides
11:00 - 11:30coffee break
11:30 - 12:00 Tarek Sayed Ahmed
Atom-canonicity in varieties of relation and cylindric algebras with applications to omitting types modal logic 		abstract
slides
12:00 - 12:30 Sándor Jenei
Structure theorem for a class of group-like residuated chains à la Hahn 		abstract
slides
12:30 - 13:00 Szabolcs Mikulás
Axiomatizing domain algebras 		abstract
slides
13:00 - 14:30Lunch break
14:30 - 15:30 Yde Venema
Dualities in algebraic logic


abstract
slides 		Chair:
Samuel Fletcher
15:30 - 16:00break
16:00 - 17:00 Gábor Hofer-Szabó
Local causality in algebraic field theories


abstract
slides
17:00 - 17:30coffee break
17:30 - 18:00 Péter Juhász and Gergely Székely
Some ideas on resolving causal paradoxes of time travel 		abstract
slides
18:00 - 18:30 Daniel Saudek
Time: real, but local - robust time asymmetry on an ontology of substances and powers 		abstract
slides
18:30 - 19:00 Márton Gömöri and László E. Szabó
Derivation of the transformation laws for the electrodynamic quantities from electrodynamics without presuming covariance 		abstract
slides

 back to top

Sunday, August 27
10:00 - 10:30 Áron Szűcs
Theory of temporal extension in special relativity, and a possible explanation for "jumpy" light beam photography
abstract
slides 		Chair:
Attila Molnár
10:30 - 11:00 Peter Ván
Galilean and special relativistic fluids 		abstract
slides
11:00 - 11:30coffee break
11:30 - 12:00 Thomas Benda
Continuity of time, movement, and locality 		abstract
slides
12:00 - 12:30 Yaroslav Grushka
Changeable sets and their possible applications to the foundations of physics 		abstract
12:30 - 13:00 Marcoen Cabbolet
Incorporating relativity in categorical models of abstract physical theories 		abstract
slides
13:00 - 14:30Lunch break
14:30 - 15:30 John Byron Manchak
Some "no hole" spacetime properties are unstable


abstract
slides 		Chair:
Michele Friend
15:30 - 16:00break
16:00 - 16:30 Samuel Fletcher
Approximate space-time symmetries 		abstract
slides
16:30 - 17:00 Atriya Sen, Naveen Sundar Govindarajulu and Selmer Bringsjord
Inaugural steps in a computational study of time travel 		abstract
slides
17:00 - 19:00
19:00 - 22:00 Conference dinner
The dinner will be in Café Vian (Bisztró Bazilika) which is about 15 minutes walking distance from the institute.
We go to the restaurant from the institute at 18:30.



 back to top