University of Cambridge > Talks.cam > Room SS03, Computer Laboratory, William Gates Building

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.

0 upcoming talks and 9 talks in the archive.

Semantics Lunch (Computer Laboratory)

Relating Two Semantics of Locally Scoped Names

Note unusual day, time and place: this will be in the ARG lunch slot

UserSteffen Lösch (University of Cambridge).

HouseRoom SS03, Computer Laboratory, William Gates Building.

ClockTuesday 30 August 2011, 13:00-14:00

Logic and Semantics Seminar (Computer Laboratory)

Towards Automatic Resource Consumption Certification

Note unusual time (11am) and room (SS03)

UserMarco Gaboardi, University of Bologna.

HouseRoom SS03, Computer Laboratory, William Gates Building.

ClockFriday 05 November 2010, 11:00-12:00

Computer Laboratory Security Seminar

Colour, usability and computer security

Note unusual time

UserJeff Yan, Newcastle University.

HouseRoom SS03, Computer Laboratory, William Gates Building.

ClockThursday 01 July 2010, 16:15-17:15

Semantics Lunch (Computer Laboratory)

Deny-guarantee reasoning

NOTE THE UNUSUAL DAY AND VENUE. This talk is in the ARG lunch slot.

UserMike Dodds (University of Cambridge).

HouseRoom SS03, Computer Laboratory, William Gates Building.

ClockTuesday 10 March 2009, 13:00-14:00

Please see above for contact details for this list.

 

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