|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
Logic and Semantics seminars are usually held at 2pm on Fridays in room FW11 . Talks are of relevance to the Programming, Logic and Semantics Group. Please contact the seminar organisers if you would like more information, would like to suggest a speaker, or would like to offer to talk yourself.
If you have a question about this list, please contact: Anuj Dawar; Jonathan Hayman; Ohad Kammar; Dominic Mulligan. If you have a question about a specific talk, click on that talk to find its organiser.
7 upcoming talks and 158 talks in the archive.
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
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 listsProgram verification reading group. One Day Meeting - Seventh Annual Symposium of the Cambridge Computational Biology Institute Cambridge Psychometrics Centre Seminars
Other talksALC G2 manifolds Estimating the Cascade of Care (CoC): Is it as simple as it seems? A 6d interpretation of 3d gravity Race, Representation and Visibility FORTHCOMING SPEAKERS DATES NOT ARRANGED.. SLEEP and TRANSITION