![[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 listsDepartment of Chemical Engineering and Biotechnology, West Cambridge Site Room 3, Mill Lane Brewery Room, Jesus College.Other talksTea and Coffee Break Title to be confirmed Haematology and Palliative Care How Much Does Homology Really Know? Feedback and the circumgalactic medium CONFERENCE: Chemical and material sciences enabled by AI and automation |