University of Cambridge > Talks.cam > 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 14 talks in the archive.

SANDWICH Seminar (Computer Laboratory)

Substitution, Normalization, and Formalization

UserYulong Huang (University of Cambridge).

HouseFS07, Computer Laboratory.

ClockMonday 02 December 2024, 13:00-14:00

SANDWICH Seminar (Computer Laboratory)

Mixed Linear-Cartesian Theories as Substitution Monoids

UserSanjiv Ranchod (University of Cambridge).

HouseFS07, Computer Laboratory.

ClockMonday 25 November 2024, 13:00-14:00

SANDWICH Seminar (Computer Laboratory)

Unrolling Lists

UserJake Bennett-Woolf (University of Cambridge).

HouseFS07, Computer Laboratory.

ClockMonday 18 November 2024, 13:00-14:00

SANDWICH Seminar (Computer Laboratory)

Do You Really Understand Incompleteness?

UserLingyuan Ye (University of Cambridge).

HouseFS07, Computer Laboratory.

ClockMonday 11 November 2024, 13:00-14:00

SANDWICH Seminar (Computer Laboratory)

Executable Separation Logic Specifications in CN

UserRini Banerjee (University of Cambridge).

HouseFS07, Computer Laboratory.

ClockMonday 04 November 2024, 13:00-14:00

SANDWICH Seminar (Computer Laboratory)

Toward a Coq formalisation of the Arm architecture

UserThibaut Perami (University of Cambridge).

HouseFS07, Computer Laboratory.

ClockMonday 28 October 2024, 13:00-14:00

SANDWICH Seminar (Computer Laboratory)

Traversing the Eckmann-Hilton Hyperclock

UserWilf Offord (University of Cambridge).

HouseFS07, Computer Laboratory.

ClockMonday 21 October 2024, 13:00-14:00

SANDWICH Seminar (Computer Laboratory)

Computing inverses in higher categories

UserThibaut Benjamin, University of Cambridge.

HouseFS07, Computer Laboratory.

ClockMonday 30 October 2023, 13:00-14:00

SANDWICH Seminar (Computer Laboratory)

Type theoretic approaches to semistrictness

UserAlex Rice (University of Cambridge).

HouseFS07, Computer Laboratory.

ClockMonday 23 October 2023, 13:00-14:00

SANDWICH Seminar (Computer Laboratory)

Higher-Order Algebraic Effects and Handlers

UserZhixuan Yang, Imperial College London.

HouseFS07, Computer Laboratory.

ClockMonday 16 October 2023, 13:00-14:00

SANDWICH Seminar (Computer Laboratory)

Definitional Functoriality for Dependent (Sub)Types

UserDr Meven Lennon-Bertrand (University of Cambridge).

HouseFS07, Computer Laboratory.

ClockMonday 02 October 2023, 13:00-14:00

SANDWICH Seminar (Computer Laboratory)

Polymorphic Subtyping with Polarisation: ∀ ± ∃

UserIlya Kaysin, University of Cambridge.

HouseFS07, Computer Laboratory.

ClockMonday 25 September 2023, 13:00-14:00

Please see above for contact details for this list.

 

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