University of Cambridge > > Logic and Semantics Seminar (Computer Laboratory)

Logic and Semantics Seminar (Computer Laboratory)

Add to your list(s) Send you e-mail reminders Further detail
Subscribe using ical/vcal (Help)

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.

Useful links:

Related series: Semantics lunch | Mini courses | PRG seminar | ARG lunch | All CL talks | Categories seminar
Tell a friend about this list:

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 155 talks in the archive.

Automated Reasoning and AI for Large Formal Mathematics

UserJosef Urban, Czech Technical University in Prague.


ClockFriday 03 June 2016, 14:00-15:00

Optimising star-convex functions

UserJasper Lee, Brown University.


ClockFriday 10 June 2016, 14:00-15:00

Programming and Proving with Concurrent Resources

UserIlya Sergey, University College London.


ClockFriday 17 June 2016, 14:00-15:00

Comparing Memory Models Using Alloy

UserJohn Wickerson, Imperial College.


ClockFriday 24 June 2016, 14:00-15:00

A Verified CompCert Front-End for a Memory Model supporting Pointer Arithmetic and Uninitialised Data

UserSandrine Blazy, University of Rennes 1.


ClockFriday 08 July 2016, 14:00-15:00

Title to be confirmed

UserAlexandra Silva, University College London.


ClockFriday 15 July 2016, 14:00-15:00

Title to be confirmed

UserUgo Dal Lago, University of Bologna.


ClockFriday 21 October 2016, 14:00-15:00

Please see above for contact details for this list.


© 2006-2016, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity