skip to content
Study at Cambridge
About the University
Research at Cambridge
Search site
Home
Study at Cambridge
Undergraduate
Courses
Applying
Events and open days
Fees and finance
Student blogs and videos
Graduate
Why Cambridge
Qualifications directory
How to apply
Fees and funding
Frequently asked questions
International students
Continuing education
Executive and professional education
Courses in education
About the University
How the University and Colleges work
History
Visiting the University
Term dates and calendars
Map
For media
Video and audio
Find an expert
Publications
International Cambridge
News
Events
Public engagement
Jobs
Giving to Cambridge
Research at Cambridge
For staff
For current students
For alumni
For business
Colleges & departments
Libraries & facilities
Museums & collections
Email & phone search
Login
Department of Applied Mathematics and Theoretical Physics
People
Academic Staff
College Teaching Officers
Emeritus Staff
Research Staff
Professional and Support Staff
Postgraduate Students
Visitors
Search
About DAMTP
Contacts
DAMTP History
Professor George Batchelor
Professor David Crighton
Related Institutions
Research at DAMTP
Study at DAMTP
Undergraduate and Postgraduate Study
PhD in Applied Mathematics and Theoretical Physics
PhD in Mathematics of Information
Seminars
Vacancies
Academic
Research
Support staff
Studentships
Internal
DAMTP Administration
DAMTP Finance and Grants (Internal)
Human Resources (Internal)
Title to be confirmed
Abstract not available
Further information
Time:
19
Jun
Jun 19th 2025
17:00
to
18:00
Venue:
MR14 Centre for Mathematical Sciences
Speaker:
Jujian Zhang (Imperial College London) and Arnaud Mayeux (The Hebrew University of Jerusalem)
Series:
Formalisation of mathematics with interactive theorem provers
