University of Cambridge > Talks.cam > Computer Laboratory, Room FW11

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 16 talks in the archive.

ok259's list

A universal characterisation of locally determined omega-colimits

UserOhad Kammar (University of Cambridge).

HouseComputer Laboratory, Room FW11.

ClockTuesday 26 August 2014, 15:00-16:00

icg27's list

Title to be confirmed

UserValentin Dalibard (University of Cambridge).

HouseComputer Laboratory, Room FW11.

ClockTuesday 17 June 2014, 13:00-14:00

Mini Courses in Theoretical Computer Science

Mini course on proof theory (Part 3)

UserPierre-Louis Curien, pi.r2 team, PPS Laboratory, CNRS, Paris 7, and INRIA.

HouseComputer Laboratory, Room FW11.

ClockFriday 04 June 2010, 10:00-12:15

Mini Courses in Theoretical Computer Science

Mini course on proof theory (Part 2)

UserPierre-Louis Curien, pi.r2 team, PPS Laboratory, CNRS, Paris 7, and INRIA.

HouseComputer Laboratory, Room FW11.

ClockThursday 03 June 2010, 10:00-12:15

Mini Courses in Theoretical Computer Science

Mini course on proof theory (Part 1)

UserPierre-Louis Curien, pi.r2 team, PPS Laboratory, CNRS, Paris 7, and INRIA.

HouseComputer Laboratory, Room FW11.

ClockTuesday 01 June 2010, 10:00-12:15

Mini Courses in Theoretical Computer Science

Countable ordinals and fast-growing functions (Part 3)

Note earlier start time

UserHarold Simmons (Univ. of Manchester).

HouseComputer Laboratory, Room FW11.

ClockFriday 01 December 2006, 09:00-11:00

Please see above for contact details for this list.

 

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