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

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

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

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

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

Explore Islam Week 2013 Biophysical Seminars Charity ISOC

Other talks

Inferring the Evolutionary History of Cancers: Statistical Methods and Applications Sir Richard Stone Annual Lecture: The Emergence of Weak, Despotic and Inclusive States My Life in Science Seminar “Publishing in Science: an Inside Look" Adrian Seminar: Ensemble coding in amygdala circuits Access to Medicines Preparing Your Research for Publication 70th Anniversary Celebration Towards bulk extension of near-horizon geometries The Gopakumar-Vafa conjecture for symplectic manifolds Coin Betting for Backprop without Learning Rates and More 'Ways of Reading, Looking, and Imagining: Contemporary Fiction and Its Optics' Peak Youth: the end of the beginning
 

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