University of Cambridge > Talks.cam > Rainbow Room (FS07), Computer Laboratory

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

0 upcoming talks and 57 talks in the archive.

Logic & Semantics for Dummies

Ends and coends (AKA "Cowedges: Endgame")

UserDima Szamozvancev (University of Cambridge).

HouseRainbow Room (FS07), Computer Laboratory.

ClockFriday 06 March 2020, 11:00-12:00

Logic & Semantics for Dummies

A Galois connection for operations and relations

UserAdam ó Conghaile (University of Cambridge).

HouseRainbow Room (FS07), Computer Laboratory.

ClockFriday 28 February 2020, 11:00-12:00

Logic & Semantics for Dummies

Lawvere theories and finitary monads

UserNathanael Arkor (University of Cambridge).

HouseRainbow Room (FS07), Computer Laboratory.

ClockFriday 31 January 2020, 11:00-12:00

Logic & Semantics for Dummies

An introduction to Martin-Löf Type Theory

UserVikraman (University of Cambridge).

HouseRainbow Room (FS07), Computer Laboratory.

ClockWednesday 04 December 2019, 11:00-12:00

Logic & Semantics for Dummies

Applicative functors

UserDima Szamozvancev.

HouseRainbow Room (FS07), Computer Laboratory.

ClockFriday 08 November 2019, 11:00-12:00

Logic & Semantics for Dummies

Call-by-push-value

UserDylan McDermott.

HouseRainbow Room (FS07), Computer Laboratory.

ClockFriday 18 October 2019, 11:00-12:00

Logic & Semantics for Dummies

Monadic modalities

UserDima Szamozvancev.

HouseRainbow Room (FS07), Computer Laboratory.

ClockWednesday 20 February 2019, 11:00-12:00

Logic & Semantics for Dummies

Moggi's Monads

UserPhilip Saville (University of Cambridge).

HouseRainbow Room (FS07), Computer Laboratory.

ClockWednesday 23 January 2019, 11:00-12:00

Logic & Semantics for Dummies

Monads and the semantics of effects

UserPhilip Saville (University of Cambridge).

HouseRainbow Room (FS07), Computer Laboratory.

ClockFriday 27 October 2017, 11:00-12:00

Logic & Semantics for Dummies

Asynchronous Fixed Points

UserMatthew Daggitt (University of Cambridge).

HouseRainbow Room (FS07), Computer Laboratory.

ClockFriday 20 October 2017, 11:00-12:00

Logic & Semantics for Dummies

Weighted relational semantics for PCF

UserHugo Paquet (University of Cambridge).

HouseRainbow Room (FS07), Computer Laboratory.

ClockFriday 13 October 2017, 11:00-12:00

Logic & Semantics for Dummies

Coherence Spaces

UserHugo Paquet (University of Cambridge).

HouseRainbow Room (FS07), Computer Laboratory.

ClockFriday 03 February 2017, 11:00-12:00

Logic & Semantics for Dummies

Datatypes as algebras

UserPhilip Saville (University of Cambridge).

HouseRainbow Room (FS07), Computer Laboratory.

ClockFriday 25 November 2016, 10:45-11:45

Logic & Semantics for Dummies

Presheaf models of type theory

UserIan Orton (University of Cambridge).

HouseRainbow Room (FS07), Computer Laboratory.

ClockFriday 18 November 2016, 10:45-11:45

Logic & Semantics for Dummies

An introduction to pi-calculus

UserDominic Orchard (University of Cambridge).

HouseRainbow Room (FS07), Computer Laboratory.

ClockFriday 20 May 2016, 11:00-12:00

Logic & Semantics for Dummies

Event structures for dummies

UserTamas Kispeter (University of Cambridge).

HouseRainbow Room (FS07), Computer Laboratory.

ClockFriday 06 May 2016, 11:30-12:30

Logic & Semantics for Dummies

Cubical Type Theory

UserIan Orton (University of Cambridge).

HouseRainbow Room (FS07), Computer Laboratory.

ClockFriday 29 April 2016, 11:15-12:15

Logic & Semantics for Dummies

PCF: keeping it real

UserHugo Paquet (University of Cambridge).

HouseRainbow Room (FS07), Computer Laboratory.

ClockFriday 22 April 2016, 11:15-12:15

Logic & Semantics for Dummies

Profunctors and coends

UserPhilip Saville (University of Cambridge).

HouseRainbow Room (FS07), Computer Laboratory.

ClockFriday 08 April 2016, 11:00-12:00

Logic & Semantics for Dummies

Stone Duality

UserHugo Paquet (University of Cambridge).

HouseRainbow Room (FS07), Computer Laboratory.

ClockFriday 11 March 2016, 11:00-12:00

Logic & Semantics for Dummies

Topoi, or not topoi, that is the question

UserIan Orton (University of Cambridge).

HouseRainbow Room (FS07), Computer Laboratory.

ClockFriday 04 March 2016, 11:00-12:00

Logic & Semantics for Dummies

Open maps and their uses in concurrency models

UserTamas Kispeter (University of Cambridge).

HouseRainbow Room (FS07), Computer Laboratory.

ClockFriday 12 February 2016, 11:00-12:00

Logic & Semantics for Dummies

Linear Logic

UserHugo Paquet (University of Cambridge).

HouseRainbow Room (FS07), Computer Laboratory.

ClockFriday 05 February 2016, 11:00-12:00

Logic & Semantics for Dummies

Everything's a Kan extension

UserPhilip Saville (University of Cambridge).

HouseRainbow Room (FS07), Computer Laboratory.

ClockFriday 29 January 2016, 11:00-12:00

Logic & Semantics for Dummies

Categorical models of dependent types

UserIan Orton (University of Cambridge).

HouseRainbow Room (FS07), Computer Laboratory.

ClockFriday 22 January 2016, 11:00-12:00

Rainbow Graphics Seminars

How papers are reviewed and how to write a paper

UserDr Malcolm Sabin and Dr Neil Dodgson (Computer Laboratory).

HouseRainbow Room (FS07), Computer Laboratory.

ClockThursday 23 November 2006, 14:15-15:00

Rainbow Graphics Seminars

Advances in Image Compositing

UserMark Grundland, University of Cambridge.

HouseRainbow Room (FS07), Computer Laboratory.

ClockThursday 31 August 2006, 14:15-15:00

Rainbow Graphics Seminars

New Concepts for Situated Messaging in the Home

UserAbigail Sellen, Microsoft Research.

HouseRainbow Room (FS07), Computer Laboratory.

ClockThursday 09 March 2006, 14:15-15:15

Rainbow Graphics Seminars

The Reification of Metaphor as a Design Tool

UserAlan Blackwell, Rainbow Group.

HouseRainbow Room (FS07), Computer Laboratory.

ClockThursday 23 February 2006, 14:15-15:15

Rainbow Graphics Seminars

Part II Projects

UserSpeaker to be confirmed.

HouseRainbow Room (FS07), Computer Laboratory.

ClockThursday 16 February 2006, 14:15-15:15

Rainbow Graphics Seminars

Part II Projects

UserSpeaker to be confirmed.

HouseRainbow Room (FS07), Computer Laboratory.

ClockThursday 09 February 2006, 14:15-15:15

Rainbow Graphics Seminars

Experiment on the simulation of moods

UserStephen Rymill, Rainbow Group.

HouseRainbow Room (FS07), Computer Laboratory.

ClockThursday 02 February 2006, 14:15-15:15

Rainbow Graphics Seminars

Demystifying 3D Animation

UserUrsula Augsdorfer, Rainbow Group, University of Cambridge Computer Lab.

HouseRainbow Room (FS07), Computer Laboratory.

ClockThursday 08 December 2005, 14:15-15:15

Rainbow Graphics Seminars

Making Boolean operations robust

UserJulian Smith, Rainbow Group, University of Cambridge Computer Lab.

HouseRainbow Room (FS07), Computer Laboratory.

ClockThursday 17 November 2005, 14:15-15:15

Rainbow Graphics Seminars

Psychologically-Based Vision and Attention for the Simulation of Human Behaviour

UserStephen Rymill, Rainbow Group, University of Cambridge Computer Lab.

HouseRainbow Room (FS07), Computer Laboratory.

ClockThursday 10 November 2005, 14:15-15:15

Rainbow Graphics Seminars

TBA

UserUrsula Augsdorfer, Tal Sobol-Shikler and Richard Southern, Rainbow Group, University of Cambridge Computer Lab.

HouseRainbow Room (FS07), Computer Laboratory.

ClockThursday 03 November 2005, 14:15-15:15

Rainbow Graphics Seminars

Attribute Based Modeling

UserAlyn Rockwood, D*syn Corp..

HouseRainbow Room (FS07), Computer Laboratory.

ClockThursday 08 September 2005, 14:15-15:15

Please see above for contact details for this list.

 

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