All transferable skills in the university: computing


2005-08-09 12:30: An introduction to Haskell (Frederik Eaton)

2006-11-13 10:00: Algebraic Routing (Part 1) (Tim Griffin)

2006-11-15 10:00: Algebraic Routing (Part 2) (Tim Griffin)

2006-11-17 10:00: Algebraic Routing (Part 3) (Tim Griffin)

2006-11-29 10:00: Countable ordinals and fast-growing functions (Part 1) (Thomas Forster (DPMMS))

2006-11-30 10:00: Countable ordinals and fast-growing functions (Part 2) (Harold Simmons (Univ. of Manchester))

2006-12-01 09:00: Countable ordinals and fast-growing functions (Part 3) (Harold Simmons (Univ. of Manchester))

2007-02-27 10:00: Mechanizing Theories in Twelf: A Tutorial (Part 1) (Susmit Sarkar)

2007-03-01 10:00: Mechanizing Theories in Twelf: A Tutorial (Part 2) (Susmit Sarkar)

2007-03-05 10:00: Mechanizing Theories in Twelf: A Tutorial (Part 3) (Susmit Sarkar)

2007-09-05 11:00: how to program (Speaker to be confirmed)

2007-09-05 11:00: Learn how to use MatLab (Speaker to be confirmed)

2007-10-15 10:00: Proving program termination (Part 1) (Byron Cook, Microsoft Research, Cambridge)

2007-10-19 10:00: Proving program termination (Part 2) (Byron Cook, Microsoft Research, Cambridge)

2007-10-22 10:00: Proving program termination (Part 3) (Byron Cook, Microsoft Research, Cambridge)

2009-02-03 16:15: Call-by-push-value (part 1) (Paul Levy, University of Birmingham (visiting Cambridge until March 15))

2009-02-04 16:15: Call-by-push-value (part 2) (Paul Levy, University of Birmingham (visiting Cambridge until March 15))

2010-06-01 10:00: Mini course on proof theory (Part 1) (Pierre-Louis Curien, pi.r2 team, PPS Laboratory, CNRS, Paris 7, and INRIA)

2010-06-03 10:00: Mini course on proof theory (Part 2) (Pierre-Louis Curien, pi.r2 team, PPS Laboratory, CNRS, Paris 7, and INRIA)

2010-06-04 10:00: Mini course on proof theory (Part 3) (Pierre-Louis Curien, pi.r2 team, PPS Laboratory, CNRS, Paris 7, and INRIA)