|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 144 talks in the archive.
Please see above for contact details for this list.
Other listsFERSA Workshops Cambridge University Library lunchtime talks Seminars in Ageing Research
Other talksThe Solaris Project. A Timing Survey For Circumbinary Planets Around Eclipsing Binary Stars with a Global Network of Robotic Telescopes Inclusive Human Computer Interaction - from Indian farmers to Eurofighter Typhoon pilots Provision of effective mental health services to sexual and gender minorities – Results from a systematic review of the literature (1980 – 2013 Therapeutics and clinical trials Integrated processes of induced cellular migration and immune mediated effects in herpesvirus cell-to-cell transmission Consistency and CLTs for stochastic gradient Langevin dynamics based on subsampled data