University of Cambridge > Talks.cam > Mini Courses in Theoretical Computer Science

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

Mini Courses in Theoretical Computer Science

Further detail
Subscribe using ical/vcal (Help)

Short courses for students and researchers in theoretical computer science.

More information: Theory group | Map of Computer Laboratory | Pre-2006 courses.

Related series: Logic & semantics seminar | Semantics lunch | PRG seminar | ARG lunch | All CL talks | Categories seminar

If you have a question about this list, please contact: Sam Staton. If you have a question about a specific talk, click on that talk to find its organiser.

0 upcoming talks and 17 talks in the archive.

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 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 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

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

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

Proving program termination (Part 3)

UserByron Cook, Microsoft Research, Cambridge.

HouseComputer Laboratory, William Gates Building, Room FW11.

ClockMonday 22 October 2007, 10:00-12:00

Proving program termination (Part 2)

UserByron Cook, Microsoft Research, Cambridge.

HouseComputer Laboratory, William Gates Building, Room FW11.

ClockFriday 19 October 2007, 10:00-12:00

Proving program termination (Part 1)

UserByron Cook, Microsoft Research, Cambridge.

HouseComputer Laboratory, William Gates Building, Room FW11.

ClockMonday 15 October 2007, 10:00-12:00

Mechanizing Theories in Twelf: A Tutorial (Part 3)

UserSusmit Sarkar.

HouseComputer Laboratory, Room FW11.

ClockMonday 05 March 2007, 10:00-12:00

Mechanizing Theories in Twelf: A Tutorial (Part 2)

UserSusmit Sarkar.

HouseComputer Laboratory, Room FW11.

ClockThursday 01 March 2007, 10:00-12:00

Mechanizing Theories in Twelf: A Tutorial (Part 1)

UserSusmit Sarkar.

HouseComputer Laboratory, Room FW11.

ClockTuesday 27 February 2007, 10:00-12:00

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

Countable ordinals and fast-growing functions (Part 2)

UserHarold Simmons (Univ. of Manchester).

HouseComputer Laboratory, Room FW11.

ClockThursday 30 November 2006, 10:00-12:00

Countable ordinals and fast-growing functions (Part 1)

UserThomas Forster (DPMMS).

HouseComputer Laboratory, Room FW11.

ClockWednesday 29 November 2006, 10:00-12:00

Algebraic Routing (Part 3)

UserTim Griffin.

HouseComputer Laboratory, Room FW11.

ClockFriday 17 November 2006, 10:00-12:00

Algebraic Routing (Part 2)

UserTim Griffin.

HouseComputer Laboratory, Room FW11.

ClockWednesday 15 November 2006, 10:00-12:00

Algebraic Routing (Part 1)

UserTim Griffin.

HouseComputer Laboratory, Room FW11.

ClockMonday 13 November 2006, 10:00-12:00

Please see above for contact details for this list.

Other lists

Birkbeck Lectures Sainsbury Laboratory, 47 Bateman St, Cambridge CB2 1LR Weston Room, David Attenborough Building and online mail organiser for link

Other talks

Talk title TBC Afternoon Break Tea and Coffee Break Novel neuroimaging methods in Lewy body dementia Title to be confirmed Cambridge Reading Group on Reproduction: Professor Sara Brill
 

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