![[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)
Pascal Schweitzer (TU Darmstadt).
Wednesday 23 July 2025, 11:00-12:00
Computer Laboratory, William Gates Building, Room GS15
Contact: No managers listed
0 upcoming talks View 11 archived talks
Algorithms and Complexity Seminar
An Upper Bound on the Weisfeiler-Leman Dimension
Computer Laboratory Automated Reasoning Group Lunches
Plan B: A Buffered Memory Model for Java
Women@CL Events
CV Clinic
Computer Laboratory Automated Reasoning Group Lunches
Proof-producing decompilation and compilation
â ī¸ Room changed
Computer Laboratory Automated Reasoning Group Lunches
Progress Report on Leo-II, an Automatic Theorem Prover for Higher-Order Logic
Computer Laboratory Automated Reasoning Group Lunches
A Deep Embedding of a Decidable Fragment of Separation Logic in HOL
Computer Laboratory Automated Reasoning Group Lunches
The ARM Cortex-M1 Architecture in Coq
Computer Laboratory Automated Reasoning Group Lunches
From QED to X-Logic, following the lead of Leibniz
Computer Laboratory Automated Reasoning Group Lunches
Connecting Partial and Total Correctness for Probabilistic Programs in HOL4
Computer Laboratory Automated Reasoning Group Lunches
A Compressing Translation from Propositional Resolution to Natural Deduction
Computer Laboratory Automated Reasoning Group Lunches
Local Reasoning for Storable Locks and Threads
Please see above for contact details for this list.