tcw57’s list

House FW09 - William Gates Building.

Constructive Classical Logic?

User David Berry.

Thursday 10 March 2022, 11:00-12:00

Computer Laboratory Security Seminar

Sex, money, and the mating market: How big data helps us understand sexual politics

Note unusual time

User Khandis Blake, University of Melbourne.

House Webinar - link on talks.cam page from Monday afternoon.

Tuesday 08 March 2022, 10:00-11:00

House FW09 - William Gates Building.

The encode-decode method for equality types

User Alex Rice (University of Cambridge).

Thursday 03 March 2022, 11:00-12:00

The formal theory of theories

User Nathanael Arkor (University of Cambridge).

Friday 27 August 2021, 15:00-16:00

A modular approach to formalising combinatorial structures

User Chelsea Edmonds (University of Cambridge).

Friday 09 July 2021, 11:00-12:00

Proof Synthesis with Free Extensions in Intensional Type Theory

User Nathan Corbyn (University of Cambridge).

Friday 18 June 2021, 11:00-12:00

Quotient inductive types and QW types: part II

User Shaun Steenkamp (University of Cambridge).

Friday 04 June 2021, 11:00-12:00

Quotient inductive types and QW types

User Shaun Steenkamp (University of Cambridge).

Friday 28 May 2021, 11:00-12:00

Markov categories: towards a syntax for probability

User Paolo Perrone (University of Oxford).

Friday 21 May 2021, 11:00-12:00

Semantics of monad transformers

User Andrej Ivaskovic (Department of Computer Science and Technology, University of Cambridge).

Friday 14 May 2021, 11:00-12:00

Higher-order algebraic theories and relative monads

User Nathanael Arkor (University of Cambridge).

Friday 07 May 2021, 11:00-12:00

Semantics of monad transformers

User Andrej Ivaskovic (Department of Computer Science and Technology, University of Cambridge).

Friday 26 March 2021, 11:00-12:00

Categorical models of dependent type theory II

User Nathanael Arkor (University of Cambridge).

Friday 19 March 2021, 11:00-12:00

Categorical gluing and logical relations

User Mathieu Huot.

Friday 12 March 2021, 11:00-12:00

Descriptive Complexity

User Felipe Ferreira Santos.

Friday 05 March 2021, 11:00-12:00

Categorical models of dependent type theory

User Nathanael Arkor (University of Cambridge).

Friday 26 February 2021, 11:00-12:00

Monoidal categories

User Andrej Ivaskovic (Department of Computer Science and Technology, University of Cambridge).

Friday 12 February 2021, 11:00-12:00

The presheaf model of abstract syntax and variable binding

User Dima Szamozvancev (University of Cambridge).

Friday 29 January 2021, 11:00-12:00

Introduction to infinity categories

User Alex Rice (University of Cambridge).

Friday 11 December 2020, 11:00-12:00

Karoubi envelopes, semifunctors, and the extensional lambda calculus

User Nathanael Arkor (University of Cambridge).

Friday 27 November 2020, 11:00-12:00

Indexed containers and initial algebras for polynomial endofunctors

User Shaun Steenkamp (University of Cambridge).

Friday 20 November 2020, 11:00-12:00

Modalities and HoTT

User Derek Sorensen.

Friday 13 November 2020, 13:00-14:00

Distributive Iaws 2: Monadic Boogaloo

User Dima Szamozvancev (University of Cambridge).

Friday 06 November 2020, 11:00-12:00

Distributive laws

User Dima Szamozvancev (University of Cambridge).

Friday 30 October 2020, 11:00-12:00

House https://meet.jit.si/Logic-and-Semantics-for-Dummies.

Presheaves seen as freely added colimits: an algorithmic approach

User Younesse Kaddar.

Friday 19 June 2020, 11:00-12:00

House https://meet.jit.si/Logic-and-Semantics-for-Dummies.

Presheaves and free cocompletion (part 2)

User Younesse Kaddar.

Friday 12 June 2020, 11:00-12:00

House https://meet.jit.si/Logic-and-Semantics-for-Dummies.

Presheaves and free cocompletion

User Younesse Kaddar.

Friday 05 June 2020, 11:00-12:00

House https://meet.jit.si/Logic-and-Semantics-for-Dummies.

Goodwillie Calculus

User Derek Sorensen.

Friday 15 May 2020, 11:00-12:00

Ends and coends (AKA "Cowedges: Endgame")

User Dima Szamozvancev (University of Cambridge).

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

A Galois connection for operations and relations

User Adam ó Conghaile (University of Cambridge).

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

Lawvere theories and finitary monads

User Nathanael Arkor (University of Cambridge).

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

An introduction to Martin-Löf Type Theory

User Vikraman (University of Cambridge).

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

Horizontal & vertical categorification: from monoids to bicategories

User Nathanael Arkor (University of Cambridge).

Friday 22 November 2019, 11:00-12:00

Applicative functors

User Dima Szamozvancev.

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

Programming with monads and graded monads

User Andrej Ivašković.

Wednesday 30 October 2019, 11:00-12:00

Call-by-push-value

User Dylan McDermott.

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

Internal categories, generalised multicategories and operads

User Nathanael Arkor (University of Cambridge).

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

Linear Logic and Quantum Programming

User Marc de Visme.

Wednesday 08 May 2019, 11:00-12:00

Monadic modalities

User Dima Szamozvancev.

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

Dataflow languages and the semantics of context-dependent programming

User Andrej Ivašković.

Wednesday 13 February 2019, 11:00-12:00

Moggi's Monads

User Philip Saville (University of Cambridge).

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

Introduction to string diagrams

User Dima Szamozvancev.

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

Agda: a practical tutorial

User Matthew Daggitt.

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

Introduction to game semantics for programming languages

User Aurore Alcolei.

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

Dependent type theory and the univalence axiom

User Ian Orton.

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

Linear and Dependent Types

User Mark Wassell.

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

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

User Jean Pichon-Pharabod ().

Friday 03 November 2017, 11:00-12:00

Monads and the semantics of effects

User Philip Saville (University of Cambridge).

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

Asynchronous Fixed Points

User Matthew Daggitt (University of Cambridge).

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

Weighted relational semantics for PCF

User Hugo Paquet (University of Cambridge).

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

Coherence Spaces

User Hugo Paquet (University of Cambridge).

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

Datatypes as algebras

User Philip Saville (University of Cambridge).

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

Presheaf models of type theory

User Ian Orton (University of Cambridge).

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

On normalization for the typed λ-calculus

User Simon Castellan.

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

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

User Mathieu Huot (University of Cambridge).

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

An introduction to pi-calculus

User Dominic Orchard (University of Cambridge).

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

The lambda calculus as an initial monad

User Mathieu Huot.

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

Event structures for dummies

User Tamas Kispeter (University of Cambridge).

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

Cubical Type Theory

User Ian Orton (University of Cambridge).

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

PCF: keeping it real

User Hugo Paquet (University of Cambridge).

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

Profunctors and coends

User Philip Saville (University of Cambridge).

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

Stone Duality

User Hugo Paquet (University of Cambridge).

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

Topoi, or not topoi, that is the question

User Ian Orton (University of Cambridge).

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

Finding our way around routing algebras

User Matthew Daggitt.

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

The co-end justifies the co-means

User Philip Saville.

Friday 19 February 2016, 11:00-12:00

Open maps and their uses in concurrency models

User Tamas Kispeter (University of Cambridge).

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

Linear Logic

User Hugo Paquet (University of Cambridge).

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

Everything's a Kan extension

User Philip Saville (University of Cambridge).

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

Categorical models of dependent types

User Ian Orton (University of Cambridge).