|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.
12 upcoming talks and 2457 talks in the archive: show first 500.
[14:30 Minute madness; 16:00 Main lecture; 17:00 Drinks reception.]
Dr Andrew Herbert OBE, FREng...
Wednesday 25 May 2016, 14:30-18:00
Alex Kendall (University of Cambridge).
Thursday 26 May 2016, 11:15-12:15
Desislava Hristova, Sheharbano Khattak, Menglin Xia.
Thursday 26 May 2016, 13:00-14:00
Bharat Ram Ambati, University of Edinburgh/Apple.
Friday 27 May 2016, 12:00-13:00
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 listsCambridge 3Rs seminar series Division F Financial Modelling Group Training Opportunities
Other talksA forecast for high winds and clouds: Exoplanet atmospheres at low and high resolution Sum-Product Networks for Probabilistic Modeling Big data analytics for non-technical end-users. Erik Tromp, UnderstandLing. Taxonomy, Translatability and Intelligibility of Scientific Images Charge transport in strongly disordered and high-mobility two-dimensional materials (SP Wednesday Seminar) Arriva Rail North