|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 2473 talks in the archive: show first 500.
David Naylor (Carnegie Mellon University).
Thursday 30 June 2016, 15:00-16:00
Ryan Newton, University of Indiana.
Friday 01 July 2016, 14:00-15:00
Luigi Rizzo (Universita` di Pisa).
Wednesday 06 July 2016, 11:00-12: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
(Out-of-term, one-off extra seminar.)
George Varghese - Microsoft Research.
Tuesday 12 July 2016, 13:30-14:30
Alexandra Silva, University College London.
Friday 15 July 2016, 14:00-15:00
Vishal Shrivastav (Cornell University).
Thursday 21 July 2016, 15:00-16:00
Robert Atkey, University of Strathclyde.
Friday 29 July 2016, 14:00-15:00
Gunnar Wilken, Okinawa Institute of Science and Technology.
Friday 16 September 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 listsArcadia Project Seminars Psychology & Education Charity ISOC
Other talkstba Tutorial 1: Data Linkage – Introduction, Recent Advances, and Privacy Issues Nonabelian Poincare Duality Mechanisms of lymphomagenesis: Developmental origins of a paediatric cancer Pregnancy and Childbirth: Discussing current academic research and clinical expertise to ensure a healthy pregnancy. Biomedical Engineering: problem solving using clinical and biomedical applications