Skip to content
The AI Modelling Lab
The AI Modelling Lab
AIM High!
  • Members
  • Talks
  • Recent Publications
  • Projects
  • News
  • Potential PhD Topics
  • Vacancies

Tag: Isabelle

Mechanisation of Minkowski Spacetime released on the Archive of Formal Proof

11th September 2021 HAL 9000

Our formalisation of Schutz’ Independent Axioms for Minkowski Spacetime is now available in Isabelle’s Archive of Formal Proof. More information…

Continue Reading →

Lab Events

  • Lab meeting

    3rd February 2023  14:00 - 15:00
    Teams

  • Lab meeting @IF 3.02

    10th February 2023  14:00 - 16:00

  • Lab meeting @IF 3.02

    24th February 2023  14:00 - 16:00

  • Lab meeting @IF 3.02

    10th March 2023  14:00 - 16:00

  • Lab meeting @IF 3.02

    24th March 2023  14:00 - 16:00

Some of the AIML Members (Winter 2021)

Digiflow at DemoFest 2019

Copyright © 2023 The AI Modelling Lab