|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
Merged list of all talks taking place in the Computer Laboratory. This talk series can also be used to announce individual talks that do not fit into any of the established Lab seminars.
10 upcoming talks and 2460 talks in the archive: show first 500.
Bharat Ram Ambati, University of Edinburgh/Apple.
Friday 27 May 2016, 12:00-13:00
Mariana Marasoiu (University of Cambridge).
Thursday 02 June 2016, 11:15-12:15
Josef Urban, Radbound University, Nijmegen.
Friday 03 June 2016, 14:00-15:00
Vishal Shrivastav (Cornell University).
Thursday 09 June 2016, 15:00-16:00
Tim Rocktäschel ( UCL).
Friday 10 June 2016, 12:00-13:00
Ilya Sergey, University College London.
Friday 17 June 2016, 14:00-15:00
John Wickerson, Imperial College.
Friday 24 June 2016, 14:00-15:00
A Verified CompCert Front-End for a Memory Model supporting Pointer Arithmetic and Uninitialised Data
Sandrine Blazy, University of Rennes 1.
Friday 08 July 2016, 14:00-15:00
Alexandra Silva, University College London.
Friday 15 July 2016, 14:00-15:00
Ugo Dal Lago, University of Bologna.
Friday 21 October 2016, 14:00-15:00
Please see above for contact details for this list.
Other listsRoyal Aeronautical Society (RAeS) Cambridge Branch Centre for Smart Infrastructure & Construction Seminars ji247's list
Other talksMechanisms of lymphomagenesis: Developmental origins of a paediatric cancer Quantum steering inequalities Every Body Matters: Using Action Research to Work Towards Injury Prevention and Health Promotion in Elite Young Instrumental Musicians at a Specialist Music School Hungry black holes - tidal disruption of stars in the nuclei of galaxies in OGLE and Gaia surveys. Developmental disorders of working memory An update on dementia in our older population