|![[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} |
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. 3 upcoming talks and 21 talks in the archive. 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 |
Meven Lennon-Bertrand (University of Cambridge).
Monday 03 February 2025, 13:00-14:00