![[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)
Martin's interesting talks
A personal list of talks.
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
- Artificial Intelligence Research Group Talks (Computer Laboratory)
- Cambridge Philosophical Society
- Cambridge University Railway Club
- Computer Laboratory Automated Reasoning Group Lunches
- Darwin College Lecture Series
- Formalisation of mathematics with interactive theorem provers
- History of mathematics and science
- Logic and Semantics Seminar (Computer Laboratory)
- SciSoc â Cambridge University Scientific Society
- Semantics Lunch (Computer Laboratory)
- Wednesday Seminars - Department of Computer Science and Technology
Lists that include this list
- This list is not included in any other list
Note: Ex-directory lists are not shown.