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

0 upcoming talks and 72 talks in the archive.

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

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.

 

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