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

  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

Rainbow Room (FS07), Computer Laboratory

Further detail
Subscribe using ical/vcal (Help)

Click here for a map for the venue

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 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

Horizontal & vertical categorification: from monoids to bicategories

UserNathanael Arkor (University of Cambridge).

HouseRainbow Room (FS07), Computer Laboratory.

ClockFriday 22 November 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

Programming with monads and graded monads

UserAndrej Ivaőković.

HouseRainbow Room (FS07), Computer Laboratory.

ClockWednesday 30 October 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

Internal categories, generalised multicategories and operads

UserNathanael Arkor (University of Cambridge).

HouseRainbow Room (FS07), Computer Laboratory.

ClockWednesday 15 May 2019, 11:00-12:00

Logic & Semantics for Dummies

Linear Logic and Quantum Programming

UserMarcΒ deΒ Visme.

HouseRainbow Room (FS07), Computer Laboratory.

ClockWednesday 08 May 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

Dataflow languages and the semantics of context-dependent programming

UserAndrej Ivaőković.

HouseRainbow Room (FS07), Computer Laboratory.

ClockWednesday 13 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

Introduction to string diagrams

UserDima Szamozvancev.

HouseRainbow Room (FS07), Computer Laboratory.

ClockWednesday 21 November 2018, 11:00-12:00

Logic & Semantics for Dummies

Agda: a practical tutorial

UserMatthew Daggitt.

HouseRainbow Room (FS07), Computer Laboratory.

ClockWednesday 07 November 2018, 11:00-12:00

Logic & Semantics for Dummies

Introduction to game semantics for programming languages

UserAurore Alcolei.

HouseRainbow Room (FS07), Computer Laboratory.

ClockWednesday 31 October 2018, 11:00-12:00

Logic & Semantics for Dummies

Dependent type theory and the univalence axiom

UserIanΒ Orton.

HouseRainbow Room (FS07), Computer Laboratory.

ClockWednesday 24 October 2018, 11:00-12:00

Logic & Semantics for Dummies

Linear and Dependent Types

UserMark Wassell.

HouseRainbow Room (FS07), Computer Laboratory.

ClockFriday 17 November 2017, 11:00-12:00

Logic & Semantics for Dummies

iCAP-TSO, a program logic for the TSO relaxed memory model

UserJean Pichon-Pharabod ().

HouseRainbow Room (FS07), Computer Laboratory.

ClockFriday 03 November 2017, 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

On normalization for the typed Ξ»-calculus

UserSimon Castellan.

HouseRainbow Room (FS07), Computer Laboratory.

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

Logic & Semantics for Dummies

Cylindrical decomposition : a way to solve 1st order logic of the real numbers

UserMathieu Huot (University of Cambridge).

HouseRainbow Room (FS07), Computer Laboratory.

ClockFriday 24 June 2016, 11:15-12:15

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

The lambda calculus as an initial monad

UserMathieu Huot.

HouseRainbow Room (FS07), Computer Laboratory.

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

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

Finding our way around routing algebras

UserMatthew Daggitt.

HouseRainbow Room (FS07), Computer Laboratory.

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

Logic & Semantics for Dummies

The co-end justifies the co-means

UserPhilip Saville.

HouseRainbow Room (FS07), Computer Laboratory.

ClockFriday 19 February 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 Group Seminars

Intelligent Systems for Characters, Creatures and Creativity: An Interdisciplinary Approach

UserSteve DiPaola, Associate Professor, Simon Fraser University.

HouseRainbow Room (FS07), Computer Laboratory.

ClockThursday 12 July 2007, 14:15-15: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

Crucible/Microsoft HCI Reading Group

Understanding Non-Literacy as a Barrier to Mobile Phone Communication

UserNathan Crilley and Lucia Terrenghi.

HouseRainbow Room (FS07), Computer Laboratory.

ClockThursday 03 August 2006, 11:00-12:30

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

CANCELLED: Experiment on the simulation of moods

UserStephen Rymill, Rainbow Group.

HouseRainbow Room (FS07), Computer Laboratory.

ClockThursday 26 January 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

The Trouser Legs of Time: Using Differential Coordinates with Animation Volumes to define topological changes to animation sequences

UserRichard Southern, Rainbow Group, University of Cambridge Computer Lab.

HouseRainbow Room (FS07), Computer Laboratory.

ClockThursday 24 November 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.

Other lists

Todd Hamied Room, Department of Chemistry Webinar & LT2, Computer Laboratory, William Gates Building. Cambridge University Engineering Department, James Dyson Seminar Room

Other talks

External Seminar - Jenn Brophy TBC Christmas Social Evening & Annual General Meeting Differences between Robin and Neumann eigenvalues Title to follow Title TBC title abstract tbc
 

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