#### Accepted talks

Hajnal Andreka, 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*

Hajnal Andréka, István Németi and Péter Németi:*Uniformly accelerated observers through pictures and axiomatics*

Joshua Babic and Lorenzo Cocco:*Special Relativity and Theoretical Equivalence*

Selmer Bringsjord, Naveen Sundar Govindarajulu and Atriya Sen:*A Solution to an Insoluble Problem*

Marcoen Cabbolet:*The weak correspondence principle: a new intertheory relation in physics based on Rosaler's empirical reduction*

Juliusz Doboszewski:*Rotating black holes as time machines: a re-assessment*

Samuel Fletcher:*On Surplus Structure Arguments*

Giambattista Formica:*Several Steps in the Procedure of Hilbert’s Axiomatic Method*

Michèle Friend:*Beyond Hilbert's Axiomatic Method*

Sebastián Gil:*Prospects for Possibilism*

Márton Gömöri:*What exactly does the special principle of relativity state? A discussion of Einstein's 1905 paper*

Laurenz Hudetz:*When generalised definitional equivalence implies definitional equivalence*

András Jánossy:*The Logic of Logical Positivism*

Mohamed Khaled:*Concept Algebras and Conceptual Distance*

Koen Lefever and Gergely Székely:*Comparing classical and relativistic dynamics in terms of inelastical collisions*

Judit Madarász:*Concept algebra of special relativistic spacetime*

David O'Connell:*Lorentzian Structures on Branching Spacetimes*

Nemi Pelgrom:*When the foundations of mathematics meets physics - applying Martin-Löf's ideas*

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

Aleksandra Samonek:*How probabilistic networks can learn scientific concepts*

Tarek Sayed Ahmed:*Omitting types in finite variable fragments of first order logic*

Petr Švarný:*Do you see what I see? Joint observation in Barbourian universe*

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?*

Gergely Székely:*Now, can or cannot classical kinematics interpret special relativity?*

Richard Thompson:*Predicate Logic with Explicit Substitution*

Branislav Vlahovic, Maxim Eingorn and Cosmin Ilie:*New data on space curvature may support non-inflationary geometrical solution for the horizon problem*

James Weatherall:*Where Does General Relativity Break Down?*