Activities

Activities per year 1992 2019 2023

• 8 Talk or presentation at a conference
• 6 Membership of external research organisation
• 3 Participation in conference
• 2 Talk or presentation at a workshop/seminar
• 1 More
  • 1 Participation in workshop, seminar

Activities per year

Search results

• Inelastic Collisions: beginning a comparison of classical and relativistic dynamics in First-Order-Logic ...and being sidetracked into variable independence of concepts

  Koen Lefever (Speaker) & Székely Gergely (Speaker)

  15 Jul 2021

  Activity: Talk or presentation › Talk or presentation at a conference

• Distances between Formal Theories

  Koen Lefever (Speaker) & Székely Gergely (Speaker)

  20 Jun 2019

  Activity: Talk or presentation › Talk or presentation at a conference

• Comparing Classical And Relativistic Kinematics In First-Order Logic

  Koen Lefever (Speaker) & Székely Gergely (Speaker)

  23 Jun 2018 → 25 Jun 2018

  Activity: Talk or presentation › Talk or presentation at a conference

• Distances between Formal Theories

  Koen Lefever (Speaker)

  20 Sep 2018

  Activity: Talk or presentation › Talk or presentation at a conference

• Comparing classical kinematics and special relativity theory in first order logic

  Koen Lefever (Speaker)

  29 May 2017

  Activity: Talk or presentation › Talk or presentation at a conference

• Comparing classical mechanics and relativity theories in first order logic

  Koen Lefever (Speaker) & Székely Gergely (Speaker)

  25 Aug 2017

  Activity: Talk or presentation › Talk or presentation at a conference

• Interpretation of Special Relativity in the Language of Newtonian Kinematics

  Koen Lefever (Speaker) & Székely Gergely (Speaker)

  9 Aug 2015 → 13 Aug 2015

  Activity: Talk or presentation › Talk or presentation at a conference

  File

• First International Conference on Logic and Relativity

  Koen Lefever (Speaker)

  8 Sep 2012 → 12 Sep 2012

  Activity: Talk or presentation › Talk or presentation at a conference