Talks & [slides]:

---

Talks in international conferences:

• Upcoming: First International Conference on Logic and Relativity: honoring István Németi's 70th birthday, September 8 - 12, 2012, Budapest
• Upcoming: Turing Centenary Conference University of Cambridge 18 June - 23 June, 2012.
• Closed Timelike Curves in Relativistic Hypercomputation, Unconventional Computation 2011, 10th International Conference on Unconventional Computation, June 6-10, Turku, Finland 2011.
• New challenges in the axiomatization of relativity theory, New Challenges in the Field of Military Sciences 2010, Budapest, 28 – 30 September, 2010.
• Axiomatization of Physics in a Logical Framework, Physics and Computation 2010, On the Nile, Egypt, August 30 - September 6, 2010.
• "Axiomatization of spacetime geometries", Non-Euclidean Geometry and its Applications 7-th Bolyai-Gauss-Lobachevsky Conference,Cluj-Napoca (Kolozsvár), Romania 5-9 July, 2010. [slides: pdf]
• "Logic and Language of Relativity Theories", Logic Language Mathematics A Philosophy Conference in Memory of Imre Ruzsa, September 17-19, 2009 Budapest, Hungary.
• "Logical Foundation and Introduction for Relativity Theory (and for relativistic computing)", Physics and Computation 2009, September 7-11th 2009 Ponta-Delgada, Azores, Portugal.
• "Relativistic Computation Tutorial", Unconventional Computation 2009 September 7-11th 2009 Ponta-Delgada, Azores, Portugal.
• "Symmetry Axioms in Relativity Theories", Symmetry Festival 2009, Budapest (2009). [slides: pdf]
• "Reverse Thinking and Axiomatic Method in Foundations of Physics", Studia Logica International Conference Logic and the foundations of physics: space, time and quanta Trends in Logic VI, Brussel (2008) [slides: pdf]
• "Fine tuning the axioms of relativity to specific subject", Vienna Circle and Hungary, Vienna (2008). [slides: pdf]
• "A logical analysis of effects of gravitation on clocks", Mathematics, Physics, and Philosophy in the Interpretations of Relativity Theory, ELTE, Budapest (2007). [slides: pdf]
• "Twin Paradox from first order logic point of view", Logic in Hungary - 2005, Budapest (2005). (unofficial web page), [slides: pdf]
• "Logical foundation for spacetime", Logic in Hungary - 2005 (unofficial web page).
• "The effects of gravitation on clocks, proved in axiomatic relativity", Logic in Hungary - 2005 (unofficial web page).
• "An Alexandrov-Zeeman type theorem", Logic in Hungary - 2005 (unofficial web page).
• "A logical investigation of inertial and accelerated observes in flat space-times", Kalmár Workshop on logic and computer science, JATE, Szeged (2003).
• "Clock paradox in model theoretic terms", Logic, Algebra, Relativity, Rényi Institute, Budapest (2002).

---

Talks in seminars / Hungarian conferences:

• "Miért axiomatizálunk fizikát?" Matematikai fizika ünnepi ülés Matolcsi Tamás 70. születésnapja alkalmából, KFKI, RMKI, Budapest, 2011. [pdf, videó, hang]
• "What are the numbers in which spacetime?” LaPoM – Logic and Philosophy of Mathematics szeminárium, ELTE, Logika Tanszék, Budapest, 2011.
• "Mik a számok a melyik téridõben? (What are the numbers in which spacetimes?) Fiatal Kutatói Mini-konferencia, Rényi institute, Budapest (2010). [slides: pdf]
• "Megmaradási tételek a relativisztikus dinamikában (Conservation postulates in relativistic dynamics)", Theoretical Philosophy Forum, ELTE, Budapest (2009).
• "A conceptual analysis of the relativistic clock paradox", Philosophy of Science Colloquium, ELTE Budapest (2007). [slides: pdf]
• "Why First-Order Logic", Filozófiai logika szeminárium, ELTE BTK Logika tanszék, Budapest(2006). [summary: pdf]
• "Az ikerparadoxon logikai analízise (Logical analysis of the twin's paradox)", Philosophy of Science Colloquium, ELTE, Budapest (2006). [slides: pdf]
• "Gyorsulás hatása az órákra a relativitás elméletben", Matematikafilozófia mûhelyszeminárium, ELTE BTK Logika tanszék, Budapest (2005).

---