University of Cambridge > Talks.cam > Semantics Lunch (Computer Laboratory)

Semantics Lunch (Computer Laboratory)

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

Semantics lunch is usually held from 12:45pm on Mondays in Room FW26 . There is usually an informal talk; many people bring a portable lunch. Talks start at 1pm. The meeting is associated with the Programming, Logic and Semantics group.

More details of the format are here.

Related series: Logic and semantics seminar | Mini courses | PRG seminar | ARG lunch | All CL talks | Categories seminar

Tell a friend about this list:

2 upcoming talks and 68 talks in the archive.

RESCHEDULED to 20th Feb: GPUVerify: a modular verifier for GPU kernels

UserAlastair Donaldson, Imperial.

HouseFW26.

ClockMonday 20 February 2012, 12:45-14:00

Title to be confirmed

UserRustan Leino.

HouseFW26.

ClockMonday 27 February 2012, 12:45-14:00

If you have a question about this list, please contact: Matthew Parkinson; Sam Staton; Peter Sewell. If you have a question about a specific talk, click on that talk to find its organiser.

 

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