University of Cambridge > Talks.cam > All transferable skills in the university: computing

All transferable skills in the university: computing

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

This is a search facility for all transferable skills in the University.

TESTING ONLY - NOT IN SERVICE YET !

Tell a friend about this list:

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

0 upcoming talks and 20 talks in the archive.

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

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

Mini Courses in Theoretical Computer Science

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

Computer Laboratory generic skills courses

how to program

UserSpeaker to be confirmed.

HouseVenue to be confirmed.

ClockWednesday 05 September 2007, 11:00-12:00

Computer Laboratory generic skills courses

Learn how to use MatLab

UserSpeaker to be confirmed.

HouseVenue to be confirmed.

ClockWednesday 05 September 2007, 11:00-12:00

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

Offtopic Lunch

An introduction to Haskell

UserFrederik Eaton.

HouseRoom 911, Cavendish Laboratory.

ClockTuesday 09 August 2005, 12:30-13:30

Please see above for contact details for this list.

 

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