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

  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

All transferable skills in the university: computing

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 !

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

Mini Courses in Theoretical Computer Science

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

Mini Courses in Theoretical Computer Science

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

Mini Courses in Theoretical Computer Science

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

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

Mechanizing Theories in Twelf: A Tutorial (Part 3)

UserSusmit Sarkar.

HouseComputer Laboratory, Room FW11.

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

Mini Courses in Theoretical Computer Science

Mechanizing Theories in Twelf: A Tutorial (Part 2)

UserSusmit Sarkar.

HouseComputer Laboratory, Room FW11.

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

Mini Courses in Theoretical Computer Science

Mechanizing Theories in Twelf: A Tutorial (Part 1)

UserSusmit Sarkar.

HouseComputer Laboratory, Room FW11.

ClockTuesday 27 February 2007, 10: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

Mini Courses in Theoretical Computer Science

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

Mini Courses in Theoretical Computer Science

Countable ordinals and fast-growing functions (Part 1)

UserThomas Forster (DPMMS).

HouseComputer Laboratory, Room FW11.

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

Mini Courses in Theoretical Computer Science

Algebraic Routing (Part 3)

UserTim Griffin.

HouseComputer Laboratory, Room FW11.

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

Mini Courses in Theoretical Computer Science

Algebraic Routing (Part 2)

UserTim Griffin.

HouseComputer Laboratory, Room FW11.

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

Mini Courses in Theoretical Computer Science

Algebraic Routing (Part 1)

UserTim Griffin.

HouseComputer Laboratory, Room FW11.

ClockMonday 13 November 2006, 10:00-12: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.

Other lists

Portland Arms, 129 Chesterton Rd Average on weekdays: 9038.04229607 kWh Sidney Sussex College, William Mong Hall, Sidney Street, CB2 3HU

Other talks

Cambridge AI in Medicine Seminar - July 2026 Title to be confirmed Title to be confirmed Pollution in Helmholtz boundary integral methods Group Presentation 5 Not-so-noble gases, key tracers of Earth’s habitability: what their behaviour in planetary interiors can tell us?
 

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