|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
Tuesdays at 1:00 pm in William Gates Building, Room SS03 , the Automated Reasoning Group holds an informal group meeting over lunch. For details please have a look at http://www.cl.cam.ac.uk/research/hvg/ARG_Lunches/.
If you have a question about this list, please contact: William Denman. If you have a question about a specific talk, click on that talk to find its organiser.
0 upcoming talks and 145 talks in the archive.
Please see above for contact details for this list.
Other listsCambridge Neurological Society Early Modern British and Irish History Seminar 5th Cambridge Assessment Conference: Challenges of assessment reform
Other talksNon-linear stability of Kerr-de Sitter black holes Professor Murray Stewart - Title tbc The Highway Boom: politics, energy demand and emissions in China Caging the Sun: Materials challenges in magnetic confinement fusion reactors Mechanisms and natural kinds St Catharine's Political Economy Seminar Series - Speaker: Peter Sinclair