University of Cambridge > Talks.cam > FW26

FW26

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

Tell a friend about this venue:

If you have a question about this list, please contact: . If you have a question about a specific talk, click on that talk to find its organiser.

7 upcoming talks and 110 talks in the archive.

Logic and Semantics Seminar (Computer Laboratory)

A Geometric Theory of Program Testing.

UserTony Hoare, FRS FREng.

HouseFW26.

ClockFriday 19 January 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Logic Programming, Semantics, and a Bit of Cleverness

UserWilliam Byrd, University of Alabama at Birmingham.

HouseFW26.

ClockTuesday 23 January 2018, 11:00-12:00

Logic and Semantics Seminar (Computer Laboratory)

Atomicity Abstractions in Relaxed Memory Architectures

UserBrijesh Dongol, Brunel University London.

HouseFW26.

ClockFriday 26 January 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Lightweight verification of separate compilation

UserChung-Kil Hur, Seoul National University.

HouseFW26.

ClockFriday 16 February 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Modular Algorithm Analysis

UserMichel Schellekens, University College Cork.

HouseFW26.

ClockFriday 23 February 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Title to be confirmed

UserEric Finster.

HouseFW26.

ClockFriday 09 March 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Title to be confirmed

UserAnthony Bordg, Computer Laboratory, University of Cambridge.

HouseFW26.

ClockFriday 23 March 2018, 14:00-15:00

Please see above for contact details for this list.

 

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