University of Cambridge > Talks.cam > Room FW26, 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 111 talks in the archive.

Computer Laboratory Security Seminar

Making Better Privacy Decisions in Ubiquitous Computing Environments

UserSerge Egelman, International Computer Science Institute (ICSI) and Department of Electrical Engineering and Computer Sciences (EECS) at the University of California, Berkeley.

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockFriday 26 June 2015, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

**TALK POSTPONED**

UserDaniel Roy, Engineering Department, University of Cambridge.

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockFriday 01 November 2013, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

Bounds on proof size and distributive encryption

Note that this talk will be in FW26 rather than the usual room.

UserR. Ramanujam, Institute of Mathematical Sciences, Chennai.

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockFriday 08 June 2012, 14:00-15:00

Computer Laboratory Opera Group Seminars

Run-time behavioural models for error detection, fault diagnosis, and self-recovery

UserPaul Ward, Associate Professor, Department of Electrical and Computer Engineering, University of Waterloo.

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockTuesday 11 October 2011, 14:30-15:30

Semantics Lunch (Computer Laboratory)

Composable Asynchronous Events/Formal Methods for Wireless Mesh Networks

Note unusual start time: talks at 12.50 prompt

UserSuresh Jagannathan/Peter Höfner.

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockMonday 23 May 2011, 12:45-14:00

Semantics Lunch (Computer Laboratory)

A Language for Mathematics

UserMohan Ganesalingam (University of Cambridge).

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockMonday 15 November 2010, 12:45-14:00

Semantics Lunch (Computer Laboratory)

Andrew Kennedy

POSTPONED - no Semantics Lunch meeting this week

UserAndrew Kennedy.

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockMonday 08 November 2010, 12:45-14:00

Semantics Lunch (Computer Laboratory)

Finding best paths in difficult conditions

(Change of speaker - this replaces Eric's talk)

UserAlex Gurney.

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockMonday 01 November 2010, 12:45-14:00

Semantics Lunch (Computer Laboratory)

Let should not be generalised

UserSimon Peyton Jones (Microsoft Research).

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockMonday 11 October 2010, 12:45-14:00

Semantics Lunch (Computer Laboratory)

Linear maps

UserDavid Walker (visiting from Princeton).

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockMonday 28 June 2010, 12:45-14:00

Semantics Lunch (Computer Laboratory)

Coarse-grained transactions

UserEric Koskinen (University of Cambridge).

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockMonday 30 November 2009, 12:45-14:00

Semantics Lunch (Computer Laboratory)

Completeness for algebraic theories of local state

UserSam Staton (Computer Laboratory, University of Cambridge).

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockMonday 16 November 2009, 12:45-14:00

Semantics Lunch (Computer Laboratory)

Dependent types and program equivalence

UserStephanie Wierich, University of Pennsylvania.

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockMonday 02 November 2009, 12:45-14:00

Semantics Lunch (Computer Laboratory)

Segment logic (work in progress)

UserViktor Vafeiadis (Microsoft Research Cambridge).

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockMonday 23 March 2009, 12:45-14:00

Semantics Lunch (Computer Laboratory)

Logics with Rank Operators

UserBjarki Holm (University of Cambridge).

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockMonday 23 February 2009, 12:45-14:00

Mini Courses in Theoretical Computer Science

Call-by-push-value (part 2)

This is the second part of a two-part series

UserPaul Levy, University of Birmingham (visiting Cambridge until March 15).

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockWednesday 04 February 2009, 16:15-17:00

Mini Courses in Theoretical Computer Science

Call-by-push-value (part 1)

This is the first part of a two-part series. Part 2 is on Wed 4th Feb.

UserPaul Levy, University of Birmingham (visiting Cambridge until March 15).

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockTuesday 03 February 2009, 16:15-17:00

Computer Laboratory Opera Group Seminars

CPU Scheduling for Staged Servers

UserMinor Gordon, Computer Laboratory, University of Cambridge.

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockTuesday 22 January 2008, 14:30-15:30

Computer Laboratory Opera Group Seminars

Data control through publish-subscribe mechanisms

UserJat Singh, Computer Laboratory, University of Cambridge.

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockTuesday 27 November 2007, 14:30-15:30

Computer Laboratory Opera Group Seminars

Kilim: Concurrency-Oriented Programming for Java

UserSriram Srinivasan, Computer Laboratory, University of Cambridge.

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockTuesday 09 October 2007, 14:30-15:30

Computer Laboratory Opera Group Seminars

Integrating Databases and Publish/Subscribe

UserLuis Vargas, Computer Laboratory, University of Cambridge.

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockTuesday 27 February 2007, 14:30-15:30

Computer Laboratory Opera Group Seminars

Towards first-class status for multicast and mobility

UserSriram Srinivasan, Computer Laboratory, University of Cambridge.

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockTuesday 14 November 2006, 14:30-15:30

Computer Laboratory Opera Group Seminars

TIME-EACM Middleware Report

UserDavid Ingram, Computer Laboratory, University of Cambridge.

HouseRoom FW26, Computer Laboratory, William Gates Building.

ClockTuesday 10 October 2006, 14:30-15:30

Please see above for contact details for this list.

 

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