University of Cambridge > Talks.cam > Computer Laboratory, Room FW11

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

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

ℹī¸ Information

Computer Laboratory, Room FW11

Further detail
Subscribe using ical/vcal (Help)

If you have a question about this list, please contact: (no managers). If you have a question about a specific talk, click on that talk to find its organiser.

0 upcoming talks and 16 talks in the archive.

Logic and Semantics Seminar (Computer Laboratory)

Modular Relaxed Dependencies in Weak Memory Concurrency

UserMarco Paviotti.

HouseComputer Laboratory, Room FW11.

ClockThursday 05 December 2019, 14:00-15:00

ok259's list

A universal characterisation of locally determined omega-colimits

UserOhad Kammar (University of Cambridge).

HouseComputer Laboratory, Room FW11.

ClockTuesday 26 August 2014, 15:00-16:00

icg27's list

Title to be confirmed

UserValentin Dalibard (University of Cambridge).

HouseComputer Laboratory, Room FW11.

ClockTuesday 17 June 2014, 13:00-14:00

tms41's list

On the Graph Isomorphism Problem: Breaking the Bounded Eigenvalue Multiplicity Barrier

UserRobert Elsaesser (University of Salzburg).

HouseComputer Laboratory, Room FW11.

ClockMonday 03 February 2014, 11:00-12:00

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

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

Please see above for contact details for this list.

Other lists

Faculty of Divinity (West Road), Room 3 Average on weekdays: 8955.83461538 kWh Lecture Theatre 1, Department of Chemical Engineering & Biotechnology, Philippa Fawcett Drive, Cambridge CB3 0AS

Other talks

Title to be confirmed How Much Does Homology Really Know? CSAR lecture: In a post-Ozempic world, have we cured obesity? Title TBC Synthesizing Diverse Policies for Multi-Agent Coordination C2D3 Computational Biology Annual Symposium 2026
 

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