![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
Josef Urban.
Friday 03 June 2016, 14:00-15:00
William Gates Building - FW26
Contact: No managers listed
0 upcoming talks View 1 archived talk
Machine Learning @ CUED
Automated Reasoning and AI for Large Formal Mathematics
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) |
|
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 1 talk in the archive. Automated Reasoning and AI for Large Formal Mathematics
Please see above for contact details for this list. |
Other listsWebinar & FW11, Computer Laboratory, William Gates Building. Beves Room, King’s College Oatley Lab Meeting Room (smaller, inside), Engineering Department, Trumpington StreetOther talksHarnessing Radical Reactivity for Molecular Innovation Title to be confirmed Title to be confirmed Shape modes of CP^1 vortices Dwarf Galaxies in the Local Universe Caribbean Trip and Cacti |