![[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)
David Cock.
Friday 17 April 2026, 14:00-15:00
SS03, Computer Laboratory
Contact: No managers listed
0 upcoming talks View 82 archived talks
Logic and Semantics Seminar (Computer Laboratory)
Neutrality and The Atoll Verified Hypervisor
Logic and Semantics Seminar (Computer Laboratory)
Non-Closure Properties of Read-Once Oblivious Algebraic Branching Programs
Logic and Semantics Seminar (Computer Laboratory)
Layered monoidal theories
Logic and Semantics Seminar (Computer Laboratory)
The Cognitive and Human Factors of Formal Methods
Logic and Semantics Seminar (Computer Laboratory)
Nitro Isolation Engine: formally verifying a production hypervisor
Logic and Semantics Seminar (Computer Laboratory)
Semantics for Reactive Probabilistic Programming
Logic and Semantics Seminar (Computer Laboratory)
Liberating synthetic quasi-coherence from syntax
Logic and Semantics Seminar (Computer Laboratory)
Cospans of finite sets
Logic and Semantics Seminar (Computer Laboratory)
The Dichotomy Theorem on the computational complexity of the Constraint Satisfaction Problem
Logic and Semantics Seminar (Computer Laboratory)
Semiring Semantics: Algebraic Properties vs. Logical Results
Logic and Semantics Seminar (Computer Laboratory)
On Solution Discovery via Reconfiguration
Logic and Semantics Seminar (Computer Laboratory)
Fibred models of dual-context type theory and internal universes in models of HoTT
Logic and Semantics Seminar (Computer Laboratory)
A unified treatment of commuting tensor products
Logic and Semantics Seminar (Computer Laboratory)
Aeneas: Rust Verification by Functional Translation
Logic and Semantics Seminar (Computer Laboratory)
A topological proof of the H-colouring dichotomy
Logic and Semantics Seminar (Computer Laboratory)
On morphisms between diagrams, and strictification of (β,n)-categories
Logic and Semantics Seminar (Computer Laboratory)
Interventions and Counterfactuals for the Working Programmer
Logic and Semantics Seminar (Computer Laboratory)
Number of quantifiers in 3-variable logic on linear orders
Logic and Semantics Seminar (Computer Laboratory)
CRIS: The power of imagination in specification and verification
SANDWICH Seminar (Computer Laboratory)
What does it take to certify a conversion checker?
Logic and Semantics Seminar (Computer Laboratory)
A selective and biased choice of techniques for building a distributed data store
Logic and Semantics Seminar (Computer Laboratory)
Comodule representations of Second-order functionals
β οΈ Note the unusual date and time.
Logic and Semantics Seminar (Computer Laboratory)
Choice Principles in Observational Type Theory
Logic and Semantics Seminar (Computer Laboratory)
Epimorphisms and Acyclic Types in Univalent Mathematics
Logic and Semantics Seminar (Computer Laboratory)
Synthesis modulo oracles
Computer Laboratory Programming Research Group Seminar
When Subtyping Constraints Liberate: Polymorphic Subtype Inference And Scope Safety
β οΈ Today we have two Logic and Semantics talks, with a small gap for coffee in between.
Logic and Semantics Seminar (Computer Laboratory)
When Subtyping Constraints Liberate: Polymorphic Subtype Inference And Scope Safety
Logic and Semantics Seminar (Computer Laboratory)
Towards Secure Distributed Choreographies
Logic and Semantics Seminar (Computer Laboratory)
Testing GPU Memory Consistency at Large
Logic and Semantics Seminar (Computer Laboratory)
Coherence by Normalization for Linear Multicategorical Structures
Logic and Semantics Seminar (Computer Laboratory)
How to prove - hopefully - that polynomial time is not choiceless
Logic and Semantics Seminar (Computer Laboratory)
Formalizing General Calculi with Binders in Rewriting Logic
Logic and Semantics Seminar (Computer Laboratory)
RoboCert: A Formal Specification Notation for Robotic Software
Logic and Semantics Seminar (Computer Laboratory)
Making concurrency functional
bs630's list
CCR: A marriage of refinement and separation logic.
Logic and Semantics Seminar (Computer Laboratory)
Compound Memory Models
Logic and Semantics Seminar (Computer Laboratory)
Types-To-Sets and Types-to-PERs Relativization in Higher-Order Logic
Logic and Semantics Seminar (Computer Laboratory)
Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes
Logic and Semantics Seminar (Computer Laboratory)
Graduality and Parametricity - Together again for the first time, for the second time
Logic and Semantics Seminar (Computer Laboratory)
The Functional Machine Calculus
Logic and Semantics Seminar (Computer Laboratory)
Bidirectional typing is not just an implementation technique
Logic and Semantics Seminar (Computer Laboratory)
Designing Verifiable Cache Coherence Protocols
Computer Laboratory Computer Architecture Group Meeting
Exposing Fine-grain Concurrency in Sequential code with a Dataflow Compiler IR
β οΈ Note unusual time and venue
Computer Laboratory Computer Architecture Group Meeting
FUSEing PolyBlaze: enabling heterogeneous multicore research
β οΈ Note unusual time
Computer Laboratory Programming Research Group Seminar
Continuation-Passing C: Program Transformations for Compiling Concurrency in an Imperative Language
Computer Laboratory Programming Research Group Seminar
Monadic Program Slicing
Computer Laboratory Programming Research Group Seminar
The Whiley Programming Language: Design & Implementation
Computer Laboratory Computer Architecture Group Meeting
Architecture Support for Accelerator-Center Architectures
Computer Laboratory Programming Research Group Seminar
Control Flow Analysis for the Join Calculus
Computer Laboratory Programming Research Group Seminar
Mathematical Structures for Data Types with Restricted Parametericity
Computer Laboratory Programming Research Group Seminar
Syntax Matters: Writing abstract computations in F#
Rainbow Graphics Seminars
MPhil project practice talks
Computer Laboratory Programming Research Group Seminar
MPhil Presentations: (1) An investigation of the Join Calculus Abstract Machine (2) Ownership in Object-Oriented Languages
Computer Laboratory Computer Architecture Group Meeting
HDL Code Generation from MATLAB and Simulink
β οΈ Note unusual location
Rainbow Graphics Seminars
Robust, real-time pupil tracking (practice presentation)
Computer Laboratory Programming Research Group Seminar
Evaluation strategies for monadic computations
Rainbow Graphics Seminars
What I did last summer...
Rainbow Graphics Seminars
Part II Student Presentations
Rainbow Graphics Seminars
Part II Student Presentations
Rainbow Graphics Seminars
Overview of my previous research
Computer Laboratory Programming Research Group Seminar
Using the OpenJDK to investigate covariance in Java
β οΈ Note unusual day and time.
Rainbow Graphics Seminars
Research Updates
Computer Laboratory Programming Research Group Seminar
Virtual machines should be invisible (and might be augmented)
NLIP Seminar Series
Stream-based Statistical Machine Translation
Computer Laboratory Programming Research Group Seminar
Wool: low overhead work stealing for fine grain parallelism.
β οΈ Note unusual time of 2pm.
Computer Laboratory Programming Research Group Seminar
Coeffect Systems and Typing (Preliminary report)
Computer Laboratory Programming Research Group Seminar
Efficient and Correct Stencil Computations via Pattern Matching and Type Checking
Computer Laboratory Computer Architecture Group Meeting
Verification of Microarchitectural Refinements in Rule-based Systems
β οΈ Note unusual time and location
Computer Laboratory Computer Architecture Group Meeting
Hardware Protection for Trusted Software
β οΈ Note unusual time
Computer Laboratory Programming Research Group Seminar
Petri-nets as an Intermediate Representation for Heterogeneous Architectures
Computer Laboratory Programming Research Group Seminar
Joinads: a retargetable control-flow construct for reactive, parallel and concurrent programming
Computer Laboratory Programming Research Group Seminar
Idris --- Systems Programming Meets Full Dependent Types
β οΈ Note: Unusual time and date.
Computer Laboratory Programming Research Group Seminar
Pluggable Type System with Optional Runtime Monitoring of Type Errors
Computer Laboratory Programming Research Group Seminar
QuickSpec -- Guessing Formal Specifications using Testing
Computer Laboratory Programming Research Group Seminar
Haskell Type Constraints Unleashed
Rainbow Graphics Seminars
Towards NURBS-Compatible Subdivision
Rainbow Graphics Seminars
Semi-Automatic Super-Resolution
Rainbow Graphics Seminars
CeBit 2008
Rainbow Graphics Seminars
How to prepare figures for publications
Rainbow Graphics Seminars
Title to be confirmed
Rainbow Graphics Seminars
Histograms, Isosurface Statistics & Span Space
β οΈ Note unusual day
Please see above for contact details for this list.