skip to content
Home

Mathematical Research at the University of Cambridge

 

Formalisation of Combinatorial Optimisation in Isabelle/HOL

=== Hybrid talk ===

Join Zoom Meeting https://cam-ac-uk.zoom.us/j/87143365195?pwd=SELTNkOcfVrIE1IppYCsbooOVqen...

Meeting ID: 871 4336 5195

Passcode: 541180

Further information

Time:

06Feb
Feb 6th 2025
17:00 to 18:00

Venue:

MR14 Centre for Mathematical Sciences

Speaker:

Thomas Ammer (King's College London)

Series:

Formalisation of mathematics with interactive theorem provers

Study at Cambridge

About the University

Research at Cambridge