skip to content
Study at Cambridge
About the University
Research at Cambridge
Search site
Home
Study at Cambridge
Undergraduate
Undergraduate courses
Applying
Events and open days
Fees and finance
Postgraduate
Postgraduate courses
How to apply
Postgraduate events
Fees and funding
International students
Continuing education
Executive and professional education
Courses in education
About the University
How the University and Colleges work
Term dates and calendars
History
Map
Visiting the University
Annual reports
Equality and diversity
News
A global university
Events
Public engagement
Jobs
Give to Cambridge
Research at Cambridge
For staff
For Cambridge students
For alumni
For our researchers
Business and enterprise
Colleges & departments
Email & phone search
Give to Cambridge
Libraries
Museums & collections
Faculty of Mathematics
Login
Mathematical Research at the University of Cambridge
Home
Covid 19
Updates
Current Students
Undergraduate Mathematics
Part III (MMath/MASt)
Postgraduate
Lecture Lists
NST Mathematics
Student Representation
Careers for Mathematicians
Careers Resources
Prospective Students
Undergraduate Admissions
Undergraduate Open Days
Part III (MASt/MMath)
Postgraduate Study
Mathematics for Natural Sciences Tripos (NST)
Careers for Mathematicians
Research
Overview
Interdisciplinary Research Centres
Applied Mathematics and Theoretical Physics
Pure Mathematics and Mathematical Statistics
Seminars
DAMTP Seminars
Statistical Laboratory Seminars
DPMMS Seminars
Isaac Newton Institute Seminars
Teaching using a proof assistant and controlled natural language
Features
Opportunities
Vacancies
Industrial Collaboration
Internships
Careers for Mathematicians
Summer Research in Mathematics: CMP and Research in the CMS
Adams Prize
Outreach
Mathematics for all - outreach overview
The Millennium Mathematics Project (MMP)
Underground Mathematics
STEP preparation support - widening participation
Mathematics at the Cambridge Science Festival
Events
Internal
Internal overview
Administration and Facilities
Bulletins
Computing and IT
Degree Committee and Postgraduate Education
Directors of Studies
Postdocs
Faculty Board
Research Facilitation
Teaching and Examining
Wellbeing
About Us
Contacts
Equality, Diversity & Inclusion
Women in Mathematics
Features
Alumni and Friends
News and Announcements
Events
People
The Departments
Mathematics in Cambridge
Teaching using a proof assistant and controlled natural language
Mathematical Research at the University of Cambridge
Research
Seminars
DAMTP Seminars
Statistical Laboratory Seminars
DPMMS Seminars
Isaac Newton Institute Seminars
Teaching using a proof assistant and controlled natural language
Overview
Applied Mathematics and Theoretical Physics
Pure Mathematics and Mathematical Statistics
Features
Abstract not available
Further information
Time:
16
May
May 16th 2024
17:00
to
18:00
Venue:
Live-streamed at MR14 Centre for Mathematical Sciences
Speaker:
Patrick Massot (Université Paris-Saclay and Carnegie Mellon University)
Series:
Formalisation of mathematics with interactive theorem provers
