Webinar & LT2, Computer Laboratory, William Gates Building.
Contact: No managers listed
0 upcoming talks View 0 archived talks
No upcoming talks scheduled for this series.
Please see above for contact details for this list.
| COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![]() |
|
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 0 talks in the archive. Please see above for contact details for this list. |
Other listsRiley Auditorium, Clare College Dept. of Chemistry, Unilever Lecture Theater Cambridge University Energy Technology SocietyOther talksExternal Seminar - Jenn Brophy TBC Title TBC Formalising mathematics and spectral geometry in Lean Reachability Types, Traces, and Full Abstraction Machine Learning for Spectral Geometry and Vice Versa Title to be confirmed |