![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
Cambridge University Engineering Department, James Dyson Seminar Room
Contact: No managers listed
0 upcoming talks View 7 archived talks
No upcoming talks scheduled for this series.
Please see above for contact details for this list.
![[University of Cambridge]](/static/images/identifier2.gif){kind=small} |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![[Talks.cam]](/static/images/talkslogosmall.gif) |
University of Cambridge > Talks.cam > Cambridge University Engineering Department, James Dyson Seminar Room
|
If you have a question about this list, please contact: (no managers). If you have a question about a specific talk, click on that talk to find its organiser. 0 upcoming talks and 7 talks in the archive. Please see above for contact details for this list. |
Other listsThis talk will be held in a hybrid format. The spearker will be presenting in person at MR 2, Centre of Mathematical Sciences. Alternatively you can also join with ZOOM (see abstract for ZOOM link). Formalisation of mathematics with interactive theorem provers Land EconomyOther talksTitle to be confirmed "Gods, Monsters & Middle-class Uncles: Indian Comics in a Time between Worlds" Title to be confirmed Bigger Picture Talk: Developing future marine engines running on ammonia and other green fuels Title TBC Group Work |