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 Pure Mathematics and Mathematical Statistics
Home
About
Location
How to find us
News
People
Academic Staff
Research Staff
Emeritus & Former Members of the Faculty
Postgraduate Students
Professional and Support Staff
Visitors
Search
Research
Publications
Postdoc opportunities
Current Research Students
Thesis archive
Study
Part IA
Part IB
Part II
Part III
PhD in DPMMS
Seminars
Vacancies
News and Events
Appointments and Promotions
Conferences and Events
Floer theory beyond Floer, March 2026
Speakers
Floer theory beyond Floer - Titles and abstracts
Floer theory beyond Floer - Programme
Floer theory beyond Floer - Practical Information
Floer theory beyond Floer - Financial support for PhD Students
Grants and Awards
Special Lectures
Spotlight and Stories
Cambridge Lecturer Strengthens Ties with AIMS Rwanda and African Olympiad Academy
Past news
Internal
Administration
DPMMS Administration (rev)
General Departmental Administration
Access Cards
Departmental and University Forms
General Information for Visitors
Mail and Telephones
Organising Events
Stationery, photocopying and printing
Finance and Research Grants
Travel, Insurance and travel risk assessments
Departmental - Internal
Visitors - Information for Hosts
Visitors Application Form and Process - for Hosts
Shared Services
DPMMS Administration Team
Title to be confirmed
Further information
Time:
21
May
May 21st 2026
17:00
to
18:00
Venue:
Centre for Mathematical Sciences, MR14
Speaker:
Sina Hazratpour (University of Cambridge)
Series:
Formalisation of mathematics with interactive theorem provers
