|![[Search]](https://talks.cam.ac.uk/images/search.gif?1209136071)
|![[A-Z Index]](https://talks.cam.ac.uk/images/az.gif?1209136071)
|![[Contact]](https://talks.cam.ac.uk/images/contact.gif?1209136071)
||![[University of Cambridge]](https://talks.cam.ac.uk/images/identifier2.gif?1209136071){kind=small} |
You need to be logged in to carry this out. If you don't have an account, feel free to create one. |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![[Talks.cam]](https://talks.cam.ac.uk/images/talkslogosmall.gif?1209136071) |
SANDWICH Seminar (Computer Laboratory)
Add to your list(s)
Send you e-mail reminders
Further detail
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: Jamie Vicary; nk480; Dr Meven Lennon-Bertrand; Ariadne Si Suo . If you have a question about a specific talk, click on that talk to find its organiser. 0 upcoming talks and 38 talks in the archive. Dependent Linear Type Theory via Bunched(less) Implications
Confluence of Term Rewriting Systems with Variable Binding
Executable Specification of a Production Hypervisor
Type Checking is Proof Reductions in Classical Linear Logic
SANDWICH Day
An Invitation to Synthetic Domain Theory
Automated Methods for Logic-Based Higher-Order Program Verification
Heyting Algebras and Higher-Order Logic
PNVI-ae-udi: the last (most recent) C memory object model
A Computer Architect's Attempt at Using Type Theoretic Concepts to Model Branch Predictors
Toward a liquid call-by-push-value
The 2-Category of Graded Monads
A Typed, Algebraic Approach to Parsing
Skew structure in categories
Free algebras for free theories
Closing the Gap between Transactional Consistency Models and Executable Code using Separation Logic
Generalised J rules and simultaneous pattern matching of equalities
What does it take to certify a conversion checker?
The Denotational Semantics of SSA
Decision Procedures for Bitvector Reasoning in Lean
Substitution, Normalization, and Formalization
Mixed Linear-Cartesian Theories as Substitution Monoids
Do You Really Understand Incompleteness?
Executable Separation Logic Specifications in CN
Toward a Coq formalisation of the Arm architecture
On the Operational Theory of the CPS-Calculus
Traversing the Eckmann-Hilton Hyperclock
Some cool facts about dualities
SSA is Freyd CategoriesNONSTANDARD TIME AND LOCATION
A Denotational Approach to Release/Acquire Concurrency
Computing inverses in higher categories
Type theoretic approaches to semistrictness
Higher-Order Algebraic Effects and Handlers
A couple of things I’ve learned about algebraically universal categories
Generic bidirectional typing for dependent type theories
Definitional Functoriality for Dependent (Sub)Types
Polymorphic Subtyping with Polarisation: ∀ ± ∃
Please see above for contact details for this list. |
Other listsThe Partition of Ukraine: A Nightmare Meeting the Challenge of Healthy Ageing in the 21st Century Type the title of a new list hereOther talksData-driven classification of single cells by their non-markovian motion Tea and Coffee Break How Best to Explore Chemical Space for Bioactive Molecular Discovery A platform for simulating multi-behavioral mode animal movement over complex landscapes mRNA condensation fluidizes the cytoplasm The Physical Chemistry of Actomyosin Cortex Self-Assembly in C elegans oocytes |
Ines Wright (University of Cambridge).
Monday 02 June 2025, 16:00-17:00