University of Cambridge > Talks.cam > SANDWICH Seminar (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

SANDWICH Seminar (Computer Laboratory)

Further detail
Subscribe using ical/vcal (Help)

  • Scientists Are Now Discussing Wildly Interesting Conjectures and Hypotheses *

The SANDWICH seminar runs on Mondays at 1pm in the Computer Science department, in room FS07 . This is an internal seminar series of the Cambridge Logical Structures Hub:

https://www.cl.cam.ac.uk/research/clash/

If you have any questions, please contact Neel Krishnaswasmi or Jamie Vicary.

If you have a question about this list, please contact: 47138; Jamie Vicary; Dr Meven Lennon-Bertrand; Rini Banerjee; Ariadne Si Suo; Sanjiv Ranchod. If you have a question about a specific talk, click on that talk to find its organiser.

0 upcoming talks and 41 talks in the archive.

ArchSem: Reusable Rigorous Semantics of Relaxed Architectures

UserThibaut Pérami.

HouseFS07, Computer Laboratory.

ClockMonday 26 January 2026, 13:00-14:00

Decision procedures for parametric multi-width bitvectors

UserSiddharth Bhat (University of Cambridge).

HouseFS07, Computer Laboratory.

ClockMonday 01 December 2025, 13:00-14:00

Soteria and Compositional Symbolic Execution à la Carte

UserSacha-Élie Ayoun.

HouseFS07, Computer Laboratory.

ClockMonday 24 November 2025, 13:00-14:00

Dependent Linear Type Theory via Bunched(less) Implications

UserInes Wright (University of Cambridge).

HouseFW26, Computer Laboratory.

ClockMonday 02 June 2025, 16:00-17:00

Confluence of Term Rewriting Systems with Variable Binding

UserGregor Feierabend (University of Cambridge).

HouseFW26, Computer Laboratory.

ClockMonday 02 June 2025, 14:45-15:45

Executable Specification of a Production Hypervisor

UserKayvan Memarian (University of Cambridge).

HouseFW26, Computer Laboratory.

ClockMonday 02 June 2025, 13:30-14:30

Type Checking is Proof Reductions in Classical Linear Logic

UserAriadne Si Suo (University of Cambridge).

HouseFW26, Computer Laboratory.

ClockMonday 02 June 2025, 11:15-12:15

SANDWICH Day

UserJon Sterling, Ariadne Si Suo, Kayvan Memarian, Gregor Feierabend, Ines Wright (University of Cambridge).

HouseFW26, Computer Laboratory.

ClockMonday 02 June 2025, 10:00-17:00

An Invitation to Synthetic Domain Theory

UserJon Sterling (University of Cambridge).

HouseFW26, Computer Laboratory.

ClockMonday 02 June 2025, 10:00-11:00

Automated Methods for Logic-Based Higher-Order Program Verification

UserHiroyuki Katsura (University of Cambridge).

HouseFS07, Computer Laboratory.

ClockTuesday 27 May 2025, 13:00-14:00

Heyting Algebras and Higher-Order Logic

UserProf. Andrew M Pitts (University of Cambridge).

HouseFS07, Computer Laboratory.

ClockMonday 19 May 2025, 13:00-14:00

PNVI-ae-udi: the last (most recent) C memory object model

UserDhruv Makwana (University of Cambridge).

HouseFS07, Computer Laboratory.

ClockMonday 12 May 2025, 13:00-14:00

A Computer Architect's Attempt at Using Type Theoretic Concepts to Model Branch Predictors

UserKarl Mose (University of Cambridge).

HouseFS07, Computer Laboratory.

ClockTuesday 06 May 2025, 13:00-14:00

Toward a liquid call-by-push-value

UserDimitrios Economou (University of Cambridge).

HouseFS07, Computer Laboratory.

ClockMonday 28 April 2025, 13:00-14:00

The 2-Category of Graded Monads

UserTori Vollmer (University of Kent).

HouseFS07, Computer Laboratory.

ClockFriday 28 March 2025, 12:30-13:30

A Typed, Algebraic Approach to Parsing

UserNeel Krishnaswami (University of Cambridge) .

HouseFS07, Computer Laboratory.

ClockMonday 17 March 2025, 13:00-14:00

Skew structure in categories

UserDima Szamozvancev (University of Cambridge).

HouseFS07, Computer Laboratory.

ClockMonday 10 March 2025, 13:00-14:00

Free algebras for free theories

UserIoannis Markakis (University of Cambridge).

HouseFS07, Computer Laboratory.

ClockMonday 03 March 2025, 13:00-14:00

Closing the Gap between Transactional Consistency Models and Executable Code using Separation Logic

UserAnders A. Mathiasen.

HouseFS07, Computer Laboratory.

ClockMonday 17 February 2025, 13:00-14:00

Generalised J rules and simultaneous pattern matching of equalities

UserThibaut Benjamin (University of Cambridge).

HouseFS07, Computer Laboratory.

ClockMonday 10 February 2025, 13:00-14:00

What does it take to certify a conversion checker?

UserMeven Lennon-Bertrand (University of Cambridge).

HouseSS03, Computer Laboratory.

ClockMonday 03 February 2025, 13:00-14:00

The Denotational Semantics of SSA

UserJad Ghalayini (University of Cambridge).

HouseFS07, Computer Laboratory.

ClockMonday 27 January 2025, 13:00-14:00

Decision Procedures for Bitvector Reasoning in Lean

UserSiddharth Bhat (University of Cambridge).

HouseFS07, Computer Laboratory.

ClockMonday 20 January 2025, 13:00-14:00

Substitution, Normalization, and Formalization

UserYulong Huang (University of Cambridge).

HouseFS07, Computer Laboratory.

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

Mixed Linear-Cartesian Theories as Substitution Monoids

UserSanjiv Ranchod (University of Cambridge).

HouseFS07, Computer Laboratory.

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

Unrolling Lists

UserJake Bennett-Woolf (University of Cambridge).

HouseFS07, Computer Laboratory.

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

Do You Really Understand Incompleteness?

UserLingyuan Ye (University of Cambridge).

HouseFS07, Computer Laboratory.

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

Executable Separation Logic Specifications in CN

UserRini Banerjee (University of Cambridge).

HouseFS07, Computer Laboratory.

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

Toward a Coq formalisation of the Arm architecture

UserThibaut Perami (University of Cambridge).

HouseFS07, Computer Laboratory.

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

On the Operational Theory of the CPS-Calculus

UserPaulo Torrens (University of Kent) .

HouseTBC, Computer Laboratory.

ClockFriday 25 October 2024, 14:00-15:00

Traversing the Eckmann-Hilton Hyperclock

UserWilf Offord (University of Cambridge).

HouseFS07, Computer Laboratory.

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

Some cool facts about dualities

UserVikraman Choudhury, University of Bologna & Inria OLAS team.

HouseVenue to be confirmed.

ClockMonday 30 September 2024, 13:00-14:00

SSA is Freyd Categories

NONSTANDARD TIME AND LOCATION

UserUniversity of Cambridge.

HouseFN05, Computer Laboratory.

ClockTuesday 20 February 2024, 13:00-14:00

A Denotational Approach to Release/Acquire Concurrency

UserYotam Dvir (Tel Aviv University).

HouseFS07, Computer Laboratory.

ClockMonday 22 January 2024, 13:00-14:00

Computing inverses in higher categories

UserThibaut Benjamin, University of Cambridge.

HouseFS07, Computer Laboratory.

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

Type theoretic approaches to semistrictness

UserAlex Rice (University of Cambridge).

HouseFS07, Computer Laboratory.

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

Higher-Order Algebraic Effects and Handlers

UserZhixuan Yang, Imperial College London.

HouseFS07, Computer Laboratory.

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

A couple of things I’ve learned about algebraically universal categories

UserIoannis Eleftheriadis, University of Cambridge.

HouseFS07, Computer Laboratory.

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

Generic bidirectional typing for dependent type theories

UserThiago Felicissimo, INRIA.

HouseFW26, Computer Laboratory.

ClockTuesday 03 October 2023, 11:00-12:00

Definitional Functoriality for Dependent (Sub)Types

UserDr Meven Lennon-Bertrand (University of Cambridge).

HouseFS07, Computer Laboratory.

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

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.

Other lists

Biochemistry Seminar Series - External Speakers Conformal Weyl Dynamics and Black Hole Stability: New Insights into Quasinormal Modes Riley Auditorium, Memorial Court

Other talks

Discovery Investigations: Science, Empire and the Making of the British South Atlantic External Seminar - Jenn Brophy TBC Title TBC Group Work Formal Dinner at Selwyn College Group Work
 

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