University of Cambridge > Talks.cam > Computer Laboratory talks

Computer Laboratory talks

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

Merged list of all talks taking place in the Computer Laboratory. This talk series can also be used to announce individual talks that do not fit into any of the established Lab seminars.

Tell a friend about this list:

If you have a question about this list, please contact: Markus Kuhn; Dr Robert Harle; Caroline Stewart. If you have a question about a specific talk, click on that talk to find its organiser.

11 upcoming talks and 1958 talks in the archive: show first 500.

Computer Laboratory Programming Research Group Seminar

Embedding effect systems in Haskell

UserDominic Orchard (University of Cambridge).

HouseSS03.

ClockFriday 29 August 2014, 14:00-15:00

Computer Laboratory Security Seminar

Title to be confirmed

UserJoseph Bonneau, Center For Information Technology Policy, Princeton.

HouseLecture Theatre 2, Computer Laboratory, William Gates Building.

ClockTuesday 30 September 2014, 14:15-15:15

Computer Laboratory Programming Research Group Seminar

Logic programming beyond Prolog

This is an MSR Seminar (Station Road), duplicated on the CPRG list

UserMaarten van Emden, University of Victoria, Canada.

HouseSeminar Room, Microsoft Research, Station Road, Cambridge.

ClockThursday 09 October 2014, 14:00-15:00

Computer Laboratory Automated Reasoning Group Lunches

Logic programming beyond Prolog

This is a MSR Seminar (Station Road), duplicated on the ARG list

UserMaarten van Emden ( University of Victoria, Canada).

HouseSeminar Room, Microsoft Research, Station Road, Cambridge.

ClockThursday 09 October 2014, 14:00-15:00

NLIP Seminar Series

Title to be confirmed

UserGerhard Heyer, Universit├Ąt Leipzig.

HouseFW26, Computer Laboratory.

ClockFriday 14 November 2014, 12:00-13:00

NLIP Seminar Series

Title to be confirmed

UserKalina Bontcheva and Leon Derczynski, University of Sheffield.

HouseFW26, Computer Laboratory.

ClockFriday 23 January 2015, 12:00-13:00

Please see above for contact details for this list.

 

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