|![[Search]](https://talks.cam.ac.uk/images/search.gif?1209136071)
|![[A-Z Index]](https://talks.cam.ac.uk/images/az.gif?1209136071)
|![[Contact]](https://talks.cam.ac.uk/images/contact.gif?1209136071)
||![[University of Cambridge]](https://talks.cam.ac.uk/images/identifier2.gif?1209136071){kind=small} |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![[Talks.cam]](https://talks.cam.ac.uk/images/talkslogosmall.gif?1209136071) |
Formalisation of mathematics with interactive theorem provers
Add to your list(s)
Send you e-mail reminders
Further detail
This is a joint seminar series between the Department of Computer Science and Technology and the Faculty of Mathematics, on the fast-growing area of formalisation of mathematics with proof assistants (interactive theorem provers) such as Isabelle and Lean. All levels welcome. Undergraduate students are particularly encouraged to actively participate. If you have a question about this list, please contact: HoD Secretary, DPMMS; Bhavik Mehta; Angeliki Koutsoukou-Argyraki; Mantas Bakšys. If you have a question about a specific talk, click on that talk to find its organiser. 14 upcoming talks and 3 talks in the archive. TBCHybrid talk (please see abstract for link)
From benchmark-centric to human-centric: deep learning methods in the formalisation of mathematics
TBC
Formalising Turán's Graph Theorem in Isabelle/HOLHybrid talk (please see abstract for link)
TBC
The Locale-Centric Approach for Formalising Mathematical Hierarchies
TBC
TBC
TBC
TBC
TBC
The leanest automataHybrid talk (please see abstract for link) Note: different room, MR20 this time
Title to be confirmedNote: different room, MR20 this time
Title to be confirmedNote: different room, MR20 this time
Please see above for contact details for this list. |
Other listsRandomised Algorithms & Processes Bus Booking Martin Centre Research Seminars, Dept of ArchitectureOther talksGateway- CCIMI Plenary Talk: Single versus double interlacing in random tiling models CANCELLED: Post Office Lives: stories of life and death in the British Post Office Measuring emissions by satellite to support the Paris Agreement Locating the Reversals: Adapting EMMA for the screen Generalised hydrodynamics of the KdV soliton gas. |
Dr Manuel Eberl (University of Innsbruck).
Thursday 09 February 2023, 17:00-18:00