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 with talk by Ricardo Contreras

    6th May 2022  12:30 - 14:30

  • Lab meeting

    20th May 2022  14:00 - 16:00

  • Lab meeting

    3rd June 2022  14:00 - 16:00

  • Lab meeting

    17th June 2022  14:00 - 16:00

Some of the AIML Members (Winter 2021)

Digiflow at DemoFest 2019

Copyright © 2022 The AI Modelling Lab