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

OCaml Labs Events

Compiler Hacking

Please indicate interest via the Doodle poll

UserOCaml Labs.

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockTuesday 29 April 2014, 18:00-21:00

de239's list

CANCELLED: Do a Billion Documents Change the First World War?

UserShelley Hulan, Associate Professor, Department of English, University of Waterloo.

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockTuesday 21 February 2012, 14:30-15:30

Logic and Semantics Seminar (Computer Laboratory)

Layered Fixed Point Logic

UserPiotr Filipiuk, Technical University of Denmark (DTU).

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 20 January 2012, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A Canonical Local Representation of Binding

UserMasahiko Sato (Graduate School of Informatics, Kyoto University).

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 18 September 2009, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Safety of program transformations in shared-memory concurrency

NOTE UNUSUAL DAY AND TIME. There are two seminars this week, one on Wednesday, one on Friday.

UserJaroslav Sevcik (visiting from Edinburgh).

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockWednesday 27 May 2009, 11:00-12:00

Logic and Semantics Seminar (Computer Laboratory)

TALK CANCELLED: An overview of structural corecursion

THIS TALK HAS BEEN POSTPONED. We hope to reschedule for later in the term.

UserVenanzio Capretta (University of Nottingham).

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 24 April 2009, 14:00-15:00

Computer Laboratory Opera Group Seminars

Vehicular Sensing

UserMichel Ferreira (University of Porto).

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockTuesday 03 March 2009, 14:30-15:30

Logic and Semantics Seminar (Computer Laboratory)

A game for a neutral approach to provability in MALL

UserOlivier Delande, Laboratoire d'Informatique (LIX), Ecole Polytechnique.

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 20 February 2009, 14:30-15:30

Logic and Semantics Seminar (Computer Laboratory)

Nondeterminism: many questions and (maybe) some answers

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

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 30 January 2009, 14:00-15:00

Computer Laboratory Opera Group Seminars

SBUS Tutorial

UserDavid Ingram ( Computer Laboratory, University of Cambridge).

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockTuesday 18 November 2008, 14:30-15:30

Computer Laboratory Opera Group Seminars

SpaTeC : Spatio-Temporal Reasoning ***POSTPONED***

UserDr Scarlet Schwiderski-Grosche (Royal Holloway, UoL).

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockTuesday 28 October 2008, 14:30-15:30

Computer Laboratory Opera Group Seminars

Active privilege management using publish/subscribe

UserDave Eyers, Computer Laboratory, University of Cambridge.

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockTuesday 26 February 2008, 14:30-15:30

Computer Laboratory Opera Group Seminars

Case studies of MS SQL Server tools

UserAndrás Belokosztolszki, Red Gate Software.

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockTuesday 19 February 2008, 14:30-15:30

Computer Laboratory Security Seminar

Exploiting Online Games

Note unusual time and room

UserGary McGraw, CTO, Cigital.

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockTuesday 29 January 2008, 10:30-11:30

Logic and Semantics Seminar (Computer Laboratory)

On Scalable Shape Analysis

UserHongseok Yang (Queen Mary, University of London).

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 18 January 2008, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Logics for Coalgebras

UserAlexander Kurz, University of Leicester.

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockFriday 30 November 2007, 14:00-15:00

Computer Laboratory Opera Group Seminars

Context-dependent event detection in mobile wireless networks

UserScarlet Schwiderski-Grosche, Information Security Group, Royal Holloway, University of London.

HouseRoom FW11, Computer Laboratory, William Gates Building.

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

Computer Laboratory Opera Group Seminars

Opera Group Roundtable Meeting

UserMinor Gordon, Computer Laboratory, University of Cambridge.

HouseRoom FW11, Computer Laboratory, William Gates Building.

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

Computer Laboratory Opera Group Seminars

Hello my name is... Have you seen my sensors?

UserPedro Brandao, Computer Laboratory, University of Cambridge.

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockTuesday 08 May 2007, 14:30-15:30

Computer Laboratory Opera Group Seminars

Opera Group Internal Meeting

UserJean Bacon, Computer Laboratory, University of Cambridge.

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockTuesday 24 April 2007, 14:30-15:30

Computer Laboratory Opera Group Seminars

Wired Geometric Routing

UserPeter Pietzuch, Imperial College London.

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockTuesday 06 March 2007, 14:30-15:30

Computer Laboratory Opera Group Seminars

Complex Event Processing for Heterogeneous Sensor Networks

UserDan O'Keeffe, Computer Laboratory, University of Cambridge.

HouseRoom FW11, Computer Laboratory, William Gates Building.

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

Computer Laboratory Opera Group Seminars

Why Scheduling

UserMinor Gordon, Computer Laboratory, University of Cambridge.

HouseRoom FW11, Computer Laboratory, William Gates Building.

ClockTuesday 23 January 2007, 14:30-15:30

Computer Laboratory Opera Group Seminars

A framework for extensible event-based middleware

UserDavid Eyers, Computer Laboratory, University of Cambridge.

HouseRoom FW11, Computer Laboratory, William Gates Building.

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

Computer Laboratory Opera Group Seminars

Low-latency Atomic Broadcast in the Presence of Contention

UserPiotr Zieliński, Cavendish Laboratory, University of Cambridge.

HouseRoom FW11, Computer Laboratory, William Gates Building.

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

Please see above for contact details for this list.

 

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