![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Formalisation of mathematics with interactive theorem provers
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.
Talk recordings can be found on our YouTube channel.
Other views and ways to subscribe
- Create Custom View
- Subscribe using iCal/vCal (Help)
- Subscribe to RSS feed
Please read notes first - Manage e-mail reminders - see link at top of page
- Plain Text View
You can include this list in your own website. Read the instructions and click 'Create Custom View' to get started.
List Managers
Each talk has an organiser. Contact them first about a specific talk. Contact a manager below about the list itself.
Log in to see manager contact details.
Lists included in this list
- This list does not include any other list
Lists that include this list
- Department of Computer Science and Technology talks and seminars
- DPMMS Pure Maths study groups
- Martin's interesting talks
Note: Ex-directory lists are not shown.