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

Mini Courses in Theoretical Computer Science

Add to your list(s) Send you e-mail reminders 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

Tell a friend about this list:

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

 

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