![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Thibaut Pérami.
Monday 26 January 2026, 13:00-14:00
FS07, Computer Laboratory
Contact: No managers listed
0 upcoming talks View 30 archived talks
SANDWICH Seminar (Computer Laboratory)
ArchSem: Reusable Rigorous Semantics of Relaxed Architectures
SANDWICH Seminar (Computer Laboratory)
Decision procedures for parametric multi-width bitvectors
SANDWICH Seminar (Computer Laboratory)
Soteria and Compositional Symbolic Execution à la Carte
SANDWICH Seminar (Computer Laboratory)
Automated Methods for Logic-Based Higher-Order Program Verification
SANDWICH Seminar (Computer Laboratory)
Heyting Algebras and Higher-Order Logic
SANDWICH Seminar (Computer Laboratory)
PNVI-ae-udi: the last (most recent) C memory object model
SANDWICH Seminar (Computer Laboratory)
A Computer Architect's Attempt at Using Type Theoretic Concepts to Model Branch Predictors
SANDWICH Seminar (Computer Laboratory)
Toward a liquid call-by-push-value
SANDWICH Seminar (Computer Laboratory)
The 2-Category of Graded Monads
SANDWICH Seminar (Computer Laboratory)
A Typed, Algebraic Approach to Parsing
SANDWICH Seminar (Computer Laboratory)
Skew structure in categories
SANDWICH Seminar (Computer Laboratory)
Free algebras for free theories
SANDWICH Seminar (Computer Laboratory)
Closing the Gap between Transactional Consistency Models and Executable Code using Separation Logic
SANDWICH Seminar (Computer Laboratory)
Generalised J rules and simultaneous pattern matching of equalities
SANDWICH Seminar (Computer Laboratory)
The Denotational Semantics of SSA
SANDWICH Seminar (Computer Laboratory)
Decision Procedures for Bitvector Reasoning in Lean
SANDWICH Seminar (Computer Laboratory)
Substitution, Normalization, and Formalization
SANDWICH Seminar (Computer Laboratory)
Mixed Linear-Cartesian Theories as Substitution Monoids
SANDWICH Seminar (Computer Laboratory)
Unrolling Lists
SANDWICH Seminar (Computer Laboratory)
Do You Really Understand Incompleteness?
SANDWICH Seminar (Computer Laboratory)
Executable Separation Logic Specifications in CN
SANDWICH Seminar (Computer Laboratory)
Toward a Coq formalisation of the Arm architecture
SANDWICH Seminar (Computer Laboratory)
Traversing the Eckmann-Hilton Hyperclock
SANDWICH Seminar (Computer Laboratory)
A Denotational Approach to Release/Acquire Concurrency
SANDWICH Seminar (Computer Laboratory)
Computing inverses in higher categories
SANDWICH Seminar (Computer Laboratory)
Type theoretic approaches to semistrictness
SANDWICH Seminar (Computer Laboratory)
Higher-Order Algebraic Effects and Handlers
SANDWICH Seminar (Computer Laboratory)
A couple of things I’ve learned about algebraically universal categories
SANDWICH Seminar (Computer Laboratory)
Definitional Functoriality for Dependent (Sub)Types
SANDWICH Seminar (Computer Laboratory)
Polymorphic Subtyping with Polarisation: ∀ ± ∃
Please see above for contact details for this list.