Formalisation of mathematics with interactive theorem provers

Other views and ways to subscribe

• Create Custom View
• Subscribe using ical/vcal (Help with icalendar)
• 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 on how to include a list in your site and then click on 'Create Custom View' above to get started.

List Managers

Each talk has an organiser. Please contact them in the first instance if you have a query about a particular talk. Only contact one of the people below if you have a question about the list, such as whether your talk or series could be added.

• HoD Secretary, DPMMS
• Angeliki Koutsoukou-Argyraki
• Mantas Bakšys
• Anand Rao Tadipatri
• Jonas Bayer

(In order to see the manager's details, such as their e-mail, you will need to have an account and log in)

Lists included in this list

This list does not include any other list

Lists that include this list

• All CMS events
• All Talks (aka the CURE list)
• CMS Events
• Cambridge talks
• DPMMS Lists
• DPMMS Pure Maths study groups
• DPMMS info aggregator
• DPMMS lists
• Department of Computer Science and Technology talks and seminars
• Hanchen DaDaDash
• Interested Talks
• School of Physical Sciences
• School of Technology
• Trust & Technology Initiative - interesting events
• bld31
• yk449

Note that ex-directory lists are not shown.