|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 listsMathematics of John Thompson Conference on Finite Groups and related topics The Postulate "Invariance of the Speed of Light" DAMTP Astrophysics Seminar
Other talksLARMOR LECTURE - title to be confirmed Sex, Disease and Fertility in History TBC An adaptive optimal design with a small fixed stage-one sample size Measuring Ethnicity in the NHS Transport Scotland