|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 listsLaboratory for Scientific Computing CUEX Presents: On Foot Across China And Other Human Powered Adventures Energy Innovation Beyond 2013: A talk by the Global Director of BP Ventures
Other talksThe Making of Measurement Towards understanding the role of HLA-DRB1 in human susceptibility to Leishmania donovani infection Parodia and Notocactus Synthetic RIG Graduate Symposium ‘“Rivers of Blood”: Illustrating Violence and Virtue in Russia’s Early Modern Empire TBA