![[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
bs630's list
A personal list of talks.
Contact: Ben Simner
0 upcoming talks View 453 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)
Axiomatization of infinity-categories
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)
Much Still to Do in Compiler Verification (A Perspective from the CakeML Project)
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)
A categorical semantics for neural networks
Logic and Semantics Seminar (Computer Laboratory)
Coherence by Normalization for Linear Multicategorical Structures
Logic and Semantics Seminar (Computer Laboratory)
Software for Compositional Modeling
Logic and Semantics Seminar (Computer Laboratory)
How to prove - hopefully - that polynomial time is not choiceless
Logic and Semantics Seminar (Computer Laboratory)
Optimizations in a formally verified compiler
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
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)
Stochastic games and strategy complexity
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)
When Concurrency Strikes
Logic and Semantics Seminar (Computer Laboratory)
Functional Programming with an Incremental Datalog
Logic and Semantics Seminar (Computer Laboratory)
Functional Programming with an Incremental Datalog
Logic and Semantics Seminar (Computer Laboratory)
String diagrams for semistrict n-categories
Logic and Semantics Seminar (Computer Laboratory)
The linear operator semantics of probabilistic programs
Logic and Semantics Seminar (Computer Laboratory)
Linear Logic and the Semantics of Concurrent Computation
Logic and Semantics Seminar (Computer Laboratory)
On bilinearity of Whitehead products in Homotopy Type Theory
Logic and Semantics Seminar (Computer Laboratory)
Subcubic certificates for CFL reachability
Logic and Semantics Seminar (Computer Laboratory)
Coherent differentiation makes the differential lambda-calculus deterministic
Logic and Semantics Seminar (Computer Laboratory)
Generic pattern unification: a categorical approach
Logic and Semantics Seminar (Computer Laboratory)
β-type theories and coherence problems
Logic and Semantics Seminar (Computer Laboratory)
Mixing finite and infinite structure
Logic and Semantics Seminar (Computer Laboratory)
Verification for free: using K to build a theorem prover for any language
Logic and Semantics Seminar (Computer Laboratory)
The Expressive Power of CSP Quantifiers
Logic and Semantics Seminar (Computer Laboratory)
Title to be confirmed
Logic and Semantics Seminar (Computer Laboratory)
Algebraic type theory
Logic and Semantics Seminar (Computer Laboratory)
Staged Compilation with Two-Level Type Theory
Logic and Semantics Seminar (Computer Laboratory)
Decoding Nets: A Formal Take on Address Translation
Logic and Semantics Seminar (Computer Laboratory)
Finite-state polynomial computation
Logic and Semantics Seminar (Computer Laboratory)
Symmetries in quantitative semantics
Logic and Semantics Seminar (Computer Laboratory)
Symmetries in Reversible Programming
Logic and Semantics Seminar (Computer Laboratory)
Title to be confirmed
Logic and Semantics Seminar (Computer Laboratory)
Game comonads, FVM theorems, and bilinear maps
Logic and Semantics Seminar (Computer Laboratory)
The complexity of counting problems
Logic and Semantics Seminar (Computer Laboratory)
Cyclic Implicit Complexity
Logic & Semantics for Dummies
Constructive Classical Logic?
Logic and Semantics Seminar (Computer Laboratory)
How undecidable are HyperLTL and HyperCTL*?
Logic & Semantics for Dummies
The encode-decode method for equality types
Logic and Semantics Seminar (Computer Laboratory)
A categorical view of conditional expectation
Logic and Semantics Seminar (Computer Laboratory)
CANCELLED -- The complexity of counting problems
Logic and Semantics Seminar (Computer Laboratory)
Relational databases versus relational models
Logic and Semantics Seminar (Computer Laboratory)
Categorical Foundations of Gradient-Based Learning
Logic and Semantics Seminar (Computer Laboratory)
Theorem Provers to Protect Democracy: Formally Verified Vote-Counting-Software
Logic and Semantics Seminar (Computer Laboratory)
Comparing general definitions of type theories
Logic and Semantics Seminar (Computer Laboratory)
A computational method for left adjointness
Logic and Semantics Seminar (Computer Laboratory)
Towards a geometry for syntax
Logic and Semantics Seminar (Computer Laboratory)
Enriched categories for optimal transport
Logic and Semantics Seminar (Computer Laboratory)
A formal context for metric semantics
Logic and Semantics Seminar (Computer Laboratory)
The Semantics of Shared Memory in Intel CPU/FPGA Systems
Logic and Semantics Seminar (Computer Laboratory)
CaTT, a type-theory to describe weak omega-categories
Logic and Semantics Seminar (Computer Laboratory)
Quantum Software in 2021: Patterns and Problems
Logic & Semantics for Dummies
The formal theory of theories
Logic & Semantics for Dummies
A modular approach to formalising combinatorial structures
Logic & Semantics for Dummies
Proof Synthesis with Free Extensions in Intensional Type Theory
Logic & Semantics for Dummies
Quotient inductive types and QW types: part II
Logic & Semantics for Dummies
Quotient inductive types and QW types
Logic & Semantics for Dummies
Markov categories: towards a syntax for probability
Logic & Semantics for Dummies
Semantics of monad transformers
Logic & Semantics for Dummies
Higher-order algebraic theories and relative monads
Logic and Semantics Seminar (Computer Laboratory)
Unfinity Categories
Logic & Semantics for Dummies
Semantics of monad transformers
Logic & Semantics for Dummies
Categorical models of dependent type theory II
Logic & Semantics for Dummies
Categorical gluing and logical relations
Logic & Semantics for Dummies
Descriptive Complexity
Logic & Semantics for Dummies
Categorical models of dependent type theory
Logic & Semantics for Dummies
Monoidal categories
Logic and Semantics Seminar (Computer Laboratory)
Promising ARMv8/RISC-V relaxed memory
Logic & Semantics for Dummies
The presheaf model of abstract syntax and variable binding
Logic & Semantics for Dummies
Introduction to infinity categories
Logic & Semantics for Dummies
Karoubi envelopes, semifunctors, and the extensional lambda calculus
Logic and Semantics Seminar (Computer Laboratory)
Fully Abstract Models of Call-by-Value Languages, Γ la O'Hearn & Riecke
Logic & Semantics for Dummies
Indexed containers and initial algebras for polynomial endofunctors
Logic and Semantics Seminar (Computer Laboratory)
LovΓ‘sz' Theorem and Comonads in Finite Model Theory
Logic & Semantics for Dummies
Modalities and HoTT
Logic and Semantics Seminar (Computer Laboratory)
Free Commutative Monoids in Homotopy Type Theory
Logic & Semantics for Dummies
Distributive Iaws 2: Monadic Boogaloo
Logic and Semantics Seminar (Computer Laboratory)
Symmetric Arithmetic Circuits
Logic & Semantics for Dummies
Distributive laws
Logic and Semantics Seminar (Computer Laboratory)
Axiomatic Concurrency Semantics for Full-Scale ARMv8-A using Symbolic Execution
Logic and Semantics Seminar (Computer Laboratory)
Incrementality xor currency for monotone fixed points
Logic and Semantics Seminar (Computer Laboratory)
Higher Algebra in Computer Science
Logic & Semantics for Dummies
Presheaves seen as freely added colimits: an algorithmic approach
Logic & Semantics for Dummies
Presheaves and free cocompletion (part 2)
Logic & Semantics for Dummies
Presheaves and free cocompletion
Logic & Semantics for Dummies
Goodwillie Calculus
Logic and Semantics Seminar (Computer Laboratory)
A Syntactic View of Computational Adequacy
Logic and Semantics Seminar (Computer Laboratory)
Tests and Proofs in Isabelle
Logic & Semantics for Dummies
Ends and coends (AKA "Cowedges: Endgame")
Logic and Semantics Seminar (Computer Laboratory)
Aspects of my formal development work
Logic and Semantics Seminar (Computer Laboratory)
Automating proof by induction in Isabelle/HOL using domain-specific languages
Logic and Semantics Seminar (Computer Laboratory)
Formal Foundations for Provably Safe Web Components
Logic and Semantics Seminar (Computer Laboratory)
A duality theoretic view on limits of finite structures
Logic and Semantics Seminar (Computer Laboratory)
Cerberus C semantics & pointer provenance
Logic & Semantics for Dummies
A Galois connection for operations and relations
Logic and Semantics Seminar (Computer Laboratory)
Computation via Substructures
Logic and Semantics Seminar (Computer Laboratory)
A Profunctorial Finiteness Semantics
Logic & Semantics for Dummies
Lawvere theories and finitary monads
Logic and Semantics Seminar (Computer Laboratory)
Quantum things 3 - Resources and Co-resources
Logic and Semantics Seminar (Computer Laboratory)
Modular Relaxed Dependencies in Weak Memory Concurrency
Logic & Semantics for Dummies
An introduction to Martin-LΓΆf Type Theory
Logic & Semantics for Dummies
Horizontal & vertical categorification: from monoids to bicategories
Logic and Semantics Seminar (Computer Laboratory)
Quantum Things 2 - The quantum monad on relational structures
Logic and Semantics Seminar (Computer Laboratory)
Quantum Things 1 - Monads, comonads, and resource-limited computation
Logic and Semantics Seminar (Computer Laboratory)
Haskelly things
Logic & Semantics for Dummies
Applicative functors
Logic & Semantics for Dummies
Programming with monads and graded monads
Logic & Semantics for Dummies
Call-by-push-value
Logic and Semantics Seminar (Computer Laboratory)
The way of the empty proof
Logic and Semantics Seminar (Computer Laboratory)
Local reasoning for robust observational equivalence
Logic and Semantics Seminar (Computer Laboratory)
Verification of Cyber-Physical Systems: Temporal Properties and Airplane Collision Avoidance
Logic and Semantics Seminar (Computer Laboratory)
Retrofitting Purity with Comonads and Capabilities
Logic & Semantics for Dummies
Internal categories, generalised multicategories and operads
Logic and Semantics Seminar (Computer Laboratory)
Hardness magnification near state-of-the-art lower bounds
Logic and Semantics Seminar (Computer Laboratory)
An Overview of the Flix Programming Language
Logic & Semantics for Dummies
Linear Logic and Quantum Programming
Logic and Semantics Seminar (Computer Laboratory)
Resource-oriented programming with graded modal types
Logic and Semantics Seminar (Computer Laboratory)
Uncertainty is hope: towards a unified foundation of gradual typing
Logic and Semantics Seminar (Computer Laboratory)
Push versus Pull-Based Loop Fusion in Query Engines
Logic and Semantics Seminar (Computer Laboratory)
Stacked Borrows: An Aliasing Model for Rust
Logic and Semantics Seminar (Computer Laboratory)
Excel Formulae: a PL perspective
Logic and Semantics Seminar (Computer Laboratory)
Linear Capabilities: an overview
Logic and Semantics Seminar (Computer Laboratory)
Linear capabilities for fully abstract compilation of separation-logic-verified code
Logic and Semantics Seminar (Computer Laboratory)
StkTokens: Enforcing Well-Bracketed Control Flow and Stack Encapsulation Using Linear Capabilities
Logic and Semantics Seminar (Computer Laboratory)
A domain theory for statistical probabilistic programming
Logic & Semantics for Dummies
Monadic modalities
Logic & Semantics for Dummies
Dataflow languages and the semantics of context-dependent programming
Logic & Semantics for Dummies
Moggi's Monads
Logic and Semantics Seminar (Computer Laboratory)
Project Everest: towards a verified TLS ecosystem
Logic and Semantics Seminar (Computer Laboratory)
Verifying Concurrent Search Structure Templates
Logic & Semantics for Dummies
Introduction to string diagrams
Logic and Semantics Seminar (Computer Laboratory)
PP is not a monad
Logic and Semantics Seminar (Computer Laboratory)
Lower bound for arithmetic circuits via Hankel matrix
Logic & Semantics for Dummies
Agda: a practical tutorial
Logic & Semantics for Dummies
Introduction to game semantics for programming languages
Logic & Semantics for Dummies
Dependent type theory and the univalence axiom
Logic and Semantics Seminar (Computer Laboratory)
Quasi-polynomial solutions for parity games and other problems
Logic and Semantics Seminar (Computer Laboratory)
Beyond Polarity: Towards A Multi-Discipline Intermediate Language with Sharing
Logic and Semantics Seminar (Computer Laboratory)
Graphical Conjunctive Queries
Logic and Semantics Seminar (Computer Laboratory)
Automated Full-Stack Memory Model Verification with the Check suite
Logic and Semantics Seminar (Computer Laboratory)
Polynomial models of type theory
Logic and Semantics Seminar (Computer Laboratory)
Types and Safety of Lock-free Data Structures
Logic and Semantics Seminar (Computer Laboratory)
The direct approach to evaluation order
Logic and Semantics Seminar (Computer Laboratory)
Compositional Compiler Verification for a Multi-Language World
Logic and Semantics Seminar (Computer Laboratory)
From global to local state in game semantics via the sequoid
Logic and Semantics Seminar (Computer Laboratory)
Quantitative equational reasoning
Logic and Semantics Seminar (Computer Laboratory)
Scheduling Tasks for Reconfigurable Architecture
Logic and Semantics Seminar (Computer Laboratory)
Lecture 3: Logic for Program Development, Verification and Implementation.
Logic and Semantics Seminar (Computer Laboratory)
One Hierarchy Spawns Another: Graph Deconstructions and the Complexity Classification of Conjunctive Queries
Logic and Semantics Seminar (Computer Laboratory)
Left Exact Modalities in Type Theory
Logic and Semantics Seminar (Computer Laboratory)
Modular Algorithm Analysis
Logic and Semantics Seminar (Computer Laboratory)
Lightweight verification of separate compilation
Logic and Semantics Seminar (Computer Laboratory)
Lecture 2: Algebraic Theory of Program Transformation
Logic and Semantics Seminar (Computer Laboratory)
Atomicity Abstractions in Relaxed Memory Architectures
Computer Laboratory Programming Research Group Seminar
Energy Efficient Compilation of Irregular Task-Parallel Loops
Logic and Semantics Seminar (Computer Laboratory)
Logic Programming, Semantics, and a Bit of Cleverness
Logic and Semantics Seminar (Computer Laboratory)
A Geometric Theory of Program Testing.
Logic and Semantics Seminar (Computer Laboratory)
The Linux Kernel Concurrency Model
Logic and Semantics Seminar (Computer Laboratory)
Effective Stateless Model Checking for C/C++ Concurrency
Logic and Semantics Seminar (Computer Laboratory)
On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control
Logic & Semantics for Dummies
Linear and Dependent Types
Logic and Semantics Seminar (Computer Laboratory)
Reasoning beyond data-race freedom
Logic and Semantics Seminar (Computer Laboratory)
Designing Verifiable Cache Coherence Protocols
Logic & Semantics for Dummies
iCAP-TSO, a program logic for the TSO relaxed memory model
Logic & Semantics for Dummies
Monads and the semantics of effects
Logic & Semantics for Dummies
Asynchronous Fixed Points
Logic & Semantics for Dummies
Weighted relational semantics for PCF
Logic and Semantics Seminar (Computer Laboratory)
Lightweight verification of separate compilation
β οΈ NB: rescheduled from 2017/09/22
Logic and Semantics Seminar (Computer Laboratory)
Event Correlation with Algebraic Effects
Logic and Semantics Seminar (Computer Laboratory)
A promising semantics for relaxed-memory concurrency
Logic and Semantics Seminar (Computer Laboratory)
Semantics of Full Ground References
Logic and Semantics Seminar (Computer Laboratory)
Applications of Finite Model Theory in Graph Isomorphism Testing and Propositional Proof Complexity
Logic and Semantics Seminar (Computer Laboratory)
Interleaved scope for games and automata
Logic and Semantics Seminar (Computer Laboratory)
Syntax and Handlers for Operations with Scopes
Logic and Semantics Seminar (Computer Laboratory)
Disjoint Semirings for Fractional Permissions
β οΈ **NOTE NON-STANDARD DAY AND ROOM BOOKING**
Logic and Semantics Seminar (Computer Laboratory)
Concurrent Kleene Algebras and Pomset Languages
Logic and Semantics Seminar (Computer Laboratory)
What does the Future of Programming Look Like?
Logic and Semantics Seminar (Computer Laboratory)
Higher Categorical Structures, Type-Theoretically
Logic and Semantics Seminar (Computer Laboratory)
Monads and Lenses
Logic and Semantics Seminar (Computer Laboratory)
Diagrammatic Operational Semantics for Digital Circuits
Logic and Semantics Seminar (Computer Laboratory)
Verified Characteristic Formulae for CakeML
Logic and Semantics Seminar (Computer Laboratory)
A monad for full ground reference cells
Logic & Semantics for Dummies
Coherence Spaces
Logic and Semantics Seminar (Computer Laboratory)
Genus, Numerics and Architectural Level Optimisation
β οΈ Joint Logic and Semantics and Computer Architecture Seminar
Logic and Semantics Seminar (Computer Laboratory)
One-Dimensional Higher Inductive Types
Logic and Semantics Seminar (Computer Laboratory)
Polymorphism, subtyping and type inference in MLsub
Logic and Semantics Seminar (Computer Laboratory)
A categorical perspective on type refinement systems
Logic and Semantics Seminar (Computer Laboratory)
Cantor meets Scott: Domain-Theoretic Foundations for Probabilistic Network Programming
Logic & Semantics for Dummies
Datatypes as algebras
Logic and Semantics Seminar (Computer Laboratory)
A compositional account of Herbrand's theorem via concurrent games
β οΈ NOTE NON-STANDARD ROOM BOOKING
Logic & Semantics for Dummies
Presheaf models of type theory
Logic and Semantics Seminar (Computer Laboratory)
Fencing off Go: Liveness and Safety for Channel-based Programming
Logic & Semantics for Dummies
On normalization for the typed Ξ»-calculus
Logic and Semantics Seminar (Computer Laboratory)
Context Equivalences and Metrics in Probabilistic Lambda-Calculi
Logic and Semantics Seminar (Computer Laboratory)
An Algebraic Combinatorial Approach to the Abstract Syntax of Opetopic Structures
Logic and Semantics Seminar (Computer Laboratory)
On Proofs of Equality as Paths
Logic and Semantics Seminar (Computer Laboratory)
Analysing Goedelβs T by means of ordinal assignment and collapsing
β οΈ NOTE NON-STANDARD ROOM BOOKING
Logic and Semantics Seminar (Computer Laboratory)
Making Reactive Programs Function
Logic and Semantics Seminar (Computer Laboratory)
A new verified compiler backend for CakeML
β οΈ **NOTE NON-STANDARD DATE, TIME, AND ROOM**
Logic and Semantics Seminar (Computer Laboratory)
Classical Linear Logic considered as a programming language
Logic and Semantics Seminar (Computer Laboratory)
A Verified CompCert Front-End for a Memory Model supporting Pointer Arithmetic and Uninitialised Data
Logic and Semantics Seminar (Computer Laboratory)
Practical Statically-checked Deterministic Parallelism
Logic and Semantics Seminar (Computer Laboratory)
Automatically comparing memory consistency models
Logic & Semantics for Dummies
Cylindrical decomposition : a way to solve 1st order logic of the real numbers
Logic and Semantics Seminar (Computer Laboratory)
Programming and Proving with Concurrent Resources
Logic and Semantics Seminar (Computer Laboratory)
Optimising star-convex functions
Logic and Semantics Seminar (Computer Laboratory)
Automated Reasoning and AI for Large Formal Mathematics
Logic and Semantics Seminar (Computer Laboratory)
Certified automated theorem proving for types
Logic & Semantics for Dummies
An introduction to pi-calculus
Logic and Semantics Seminar (Computer Laboratory)
The C standard formalized in Coq, what's next?
Logic & Semantics for Dummies
The lambda calculus as an initial monad
Logic and Semantics Seminar (Computer Laboratory)
A rational reconstruction of homogeneous meta-programming
Logic & Semantics for Dummies
Event structures for dummies
Logic and Semantics Seminar (Computer Laboratory)
Giry and the Machine
Logic & Semantics for Dummies
Cubical Type Theory
Logic and Semantics Seminar (Computer Laboratory)
Logical dependence via functional dependence
Logic & Semantics for Dummies
PCF: keeping it real
Logic and Semantics Seminar (Computer Laboratory)
Generating Gradual Typing Systems with the Gradualizer
Logic & Semantics for Dummies
Profunctors and coends
Logic and Semantics Seminar (Computer Laboratory)
Comprehensive Parametric Polymorphism
Logic & Semantics for Dummies
Stone Duality
Logic & Semantics for Dummies
Topoi, or not topoi, that is the question
Logic and Semantics Seminar (Computer Laboratory)
THIS TALK HAS BEEN CANCELLED/POSTPONED
β οΈ THIS TALK HAS BEEN CANCELLED/POSTPONED
Logic and Semantics Seminar (Computer Laboratory)
A call-by-value realizability model for PML
β οΈ NOTE UNUSUAL VENUE
Logic & Semantics for Dummies
Finding our way around routing algebras
Logic and Semantics Seminar (Computer Laboratory)
Excuse My Extrusion
Logic & Semantics for Dummies
The co-end justifies the co-means
Logic and Semantics Seminar (Computer Laboratory)
Identity types in Algebraic Model Structures
β οΈ NOTE UNUSUAL VENUE This is the second seminar this week.
Logic & Semantics for Dummies
Open maps and their uses in concurrency models
Logic and Semantics Seminar (Computer Laboratory)
What is an Algorithm?
β οΈ NOTE UNUSUAL TIME, DAY, AND VENUE. There are two seminars this week (Tuesday and Friday)
Logic and Semantics Seminar (Computer Laboratory)
Effects as sessions, sessions as effects
β οΈ NOTE UNUSUAL VENUE
Logic & Semantics for Dummies
Linear Logic
Logic and Semantics Seminar (Computer Laboratory)
Interacting Hopf monoids: the algebra of signal flow diagrams
β οΈ NOTE UNUSUAL VENUE
Logic & Semantics for Dummies
Everything's a Kan extension
Logic and Semantics Seminar (Computer Laboratory)
Dependent Types and Fibred Computational Effects
Logic & Semantics for Dummies
Categorical models of dependent types
Logic and Semantics Seminar (Computer Laboratory)
Graphical linear algebra and applications
Logic and Semantics Seminar (Computer Laboratory)
A continuation passing translation for functional session types
Logic and Semantics Seminar (Computer Laboratory)
Typed realizability for first-order classical analysis
Logic and Semantics Seminar (Computer Laboratory)
Online Space Complexity
Logic and Semantics Seminar (Computer Laboratory)
Global Realisations of Local Specifications
Logic and Semantics Seminar (Computer Laboratory)
Heat kernels in graphs: A journey from random walks to geometry, and back
Logic and Semantics Seminar (Computer Laboratory)
Consistency of Quine's NF using nominal techniques
Logic and Semantics Seminar (Computer Laboratory)
From Communicating Machines to Graphical Choreographies
Logic and Semantics Seminar (Computer Laboratory)
Generic Computational Models
Logic and Semantics Seminar (Computer Laboratory)
Locally Finite Constraint Satisfaction Problems
Logic and Semantics Seminar (Computer Laboratory)
Linear numeral systems
Logic and Semantics Seminar (Computer Laboratory)
Game Semantics for Interface Middleweight Java
Logic and Semantics Seminar (Computer Laboratory)
New reasoning techniques for monoidal algebras
Logic and Semantics Seminar (Computer Laboratory)
Rigid Graphs for Adaptive Networks, with Data
Logic and Semantics Seminar (Computer Laboratory)
Transition systems over games
Logic and Semantics Seminar (Computer Laboratory)
Senescent Ground Tree Rewrite Systems
Logic and Semantics Seminar (Computer Laboratory)
Verification of quantum protocols using Coq
Logic and Semantics Seminar (Computer Laboratory)
An Algorithmic Metatheorem for Directed Treewidth
Logic and Semantics Seminar (Computer Laboratory)
Micro-Policies: A Framework for Tag-Based Security Monitors
Logic and Semantics Seminar (Computer Laboratory)
Backward Analysis via Over-Approximate Abstraction and Under-Approximate Subtraction
Logic and Semantics Seminar (Computer Laboratory)
Why Isnβt Verification Standard Practice?
Logic and Semantics Seminar (Computer Laboratory)
Modeling a Practical Combination of Delimited Continuations, Exceptions, Dynamic-Wind Guards, Dynamic Binding, and Stack Inspection
Logic and Semantics Seminar (Computer Laboratory)
On-the-fly garbage collection: issues and opportunities
Logic and Semantics Seminar (Computer Laboratory)
Representing conditional independence in probabilistic programming
Logic and Semantics Seminar (Computer Laboratory)
Automating reasoning tasks for separation logic
Logic and Semantics Seminar (Computer Laboratory)
An algebraic theory of type-and-effect systems
Logic and Semantics Seminar (Computer Laboratory)
Relational Programming in miniKanren
Logic and Semantics Seminar (Computer Laboratory)
Decision Problems for Linear Recurrence Sequences
Logic and Semantics Seminar (Computer Laboratory)
Language based web security: the operational semantics approach
Logic and Semantics Seminar (Computer Laboratory)
Weighted relational models of typed lambda-calculi
Logic and Semantics Seminar (Computer Laboratory)
Simple, efficient, sound-and-complete combinator parsing for all context-free grammars, using an oracle.
Logic and Semantics Seminar (Computer Laboratory)
**TALK POSTPONED**
Logic and Semantics Seminar (Computer Laboratory)
Fibrational Parametricity
Logic and Semantics Seminar (Computer Laboratory)
Descriptive set theory and Computation theory
Logic and Semantics Seminar (Computer Laboratory)
An overview of nominal algebra, lattice, representation and dualities for computer science foundations
Logic and Semantics Seminar (Computer Laboratory)
**Cancelled** Logic of Hybrid Games
Logic and Semantics Seminar (Computer Laboratory)
A few lessons that I learnt about interprocedural program analyses
Computer Laboratory Computer Architecture Group Meeting
Exposing Fine-grain Concurrency in Sequential code with a Dataflow Compiler IR
β οΈ Note unusual time and venue
Logic and Semantics Seminar (Computer Laboratory)
Multiparty session types and their application in large distributed systems
Logic and Semantics Seminar (Computer Laboratory)
Barrier Invariants : a Shared State Abstraction for Data-dependent GPU Kernels >
Logic and Semantics Seminar (Computer Laboratory)
Semigroups with low difficulty word problem
Computer Laboratory Computer Architecture Group Meeting
FUSEing PolyBlaze: enabling heterogeneous multicore research
β οΈ Note unusual time
Logic and Semantics Seminar (Computer Laboratory)
Malware Analysis with Tree Automata Inference
Logic and Semantics Seminar (Computer Laboratory)
Cyclic Abduction of Inductive Termination Preconditions
Computer Laboratory Programming Research Group Seminar
Continuation-Passing C: Program Transformations for Compiling Concurrency in an Imperative Language
Logic and Semantics Seminar (Computer Laboratory)
Halo: From Haskell to Logic through Denotational Semantics
Logic and Semantics Seminar (Computer Laboratory)
Abstraction and Invariance for Algebraically Indexed Types
Computer Laboratory Programming Research Group Seminar
Monadic Program Slicing
Computer Laboratory Programming Research Group Seminar
The Whiley Programming Language: Design & Implementation
Logic and Semantics Seminar (Computer Laboratory)
Preservation under Substructures modulo Bounded Cores
β οΈ Note special date and location (GC22)
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
Logic and Semantics Seminar (Computer Laboratory)
Bounds on proof size and distributive encryption
β οΈ Note that this talk will be in FW26 rather than the usual room.
Computer Laboratory Programming Research Group Seminar
Syntax Matters: Writing abstract computations in F#
Logic and Semantics Seminar (Computer Laboratory)
Safe Recursive Set Functions
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
Logic and Semantics Seminar (Computer Laboratory)
MELL in a free compact closure
Logic and Semantics Seminar (Computer Laboratory)
First steps in synthetic guarded domain theory: step-indexing in the topos of trees
Logic and Semantics Seminar (Computer Laboratory)
Expressiveness of real-time temporal logics
Computer Laboratory Computer Architecture Group Meeting
HDL Code Generation from MATLAB and Simulink
β οΈ Note unusual location
Logic and Semantics Seminar (Computer Laboratory)
On modal definability of first-order formulas with many free variables and its application to conjunctive query answering in description logics
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
Logic and Semantics Seminar (Computer Laboratory)
Iterative algorithms and Sherali-Adams linear programming relaxations of graph isomorphism
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
Logic and Semantics Seminar (Computer Laboratory)
Layered Fixed Point Logic
Logic and Semantics Seminar (Computer Laboratory)
Algebra unifies Calculi of programming
Computer Laboratory Programming Research Group Seminar
Virtual machines should be invisible (and might be augmented)
Logic and Semantics Seminar (Computer Laboratory)
Nash Equilibrium, Bekic's Lemma and Bar Recursion
NLIP Seminar Series
Stream-based Statistical Machine Translation
Logic and Semantics Seminar (Computer Laboratory)
Almost always blue trees and bar induction
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
Logic and Semantics Seminar (Computer Laboratory)
Parameterized Complexity of some Problems in Concurrency and Verification
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
Logic and Semantics Seminar (Computer Laboratory)
Parallel Assertions for Debugging Parallel Programs
Logic and Semantics Seminar (Computer Laboratory)
Lightweight Monadic Programming in ML
Logic and Semantics Seminar (Computer Laboratory)
The Complexity of #CSP
Logic and Semantics Seminar (Computer Laboratory)
Isomorphisms of types in the presence of higher-order references
Logic and Semantics Seminar (Computer Laboratory)
Domination When the Stars Are Out β An algorithmization of Chudnovskyβs and Seymourβs Structure Theorem for Claw-Free Graphs
Logic and Semantics Seminar (Computer Laboratory)
Bisimulation and Model-Checking for Partial Order Models of Concurrency
Logic and Semantics Seminar (Computer Laboratory)
Approximating Labelled Markov Processes by Averaging
Computer Laboratory Programming Research Group Seminar
Petri-nets as an Intermediate Representation for Heterogeneous Architectures
Logic and Semantics Seminar (Computer Laboratory)
Kleisli Arrows of Outrageous Fortune
Logic and Semantics Seminar (Computer Laboratory)
Selection functions everywhere
Computer Laboratory Programming Research Group Seminar
Joinads: a retargetable control-flow construct for reactive, parallel and concurrent programming
Logic and Semantics Seminar (Computer Laboratory)
Modular Reasoning for Deterministic Parallelism
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
Logic and Semantics Seminar (Computer Laboratory)
Automatic reduction of differential semantics for protein-protein interaction networks, by abstract interpretation
Logic and Semantics Seminar (Computer Laboratory)
Towards Automatic Resource Consumption Certification
β οΈ Note unusual time (11am) and room (SS03)
Logic and Semantics Seminar (Computer Laboratory)
A Framework for Incremental Modelling and Verification of On-Chip Protocols and Its Application to PCI Express
β οΈ Note the unusual time (13:00)
Logic and Semantics Seminar (Computer Laboratory)
Characterizations of the Expressive Power of Logics over Trees
Mini Courses in Theoretical Computer Science
Mini course on proof theory (Part 3)
Mini Courses in Theoretical Computer Science
Mini course on proof theory (Part 2)
Mini Courses in Theoretical Computer Science
Mini course on proof theory (Part 1)
Logic and Semantics Seminar (Computer Laboratory)
Scalars & probabilities, monads & categories
Category Theory Seminar
The Scott model of Linear Logic is the extensional collapse of its relational model
Logic and Semantics Seminar (Computer Laboratory)
Algebraic Theories over Nominal Sets
Wednesday Seminars - Department of Computer Science and Technology
From Separation Logic to Systems Code
Logic and Semantics Seminar (Computer Laboratory)
Declassification Policy Inference
Logic and Semantics Seminar (Computer Laboratory)
Undecidability of propositional separation logic and its neighbours
Computer Laboratory Programming Research Group Seminar
Haskell Type Constraints Unleashed
Logic and Semantics Seminar (Computer Laboratory)
Automatic Analysis of Scratch-pad Memory Code for Heterogeneous Multicore Processors
Logic and Semantics Seminar (Computer Laboratory)
The Hybrid Systems Jigsaw: Bringing Together Computer Science, Dynamical Systems and Control Engineering.
Logic and Semantics Seminar (Computer Laboratory)
The Microcosm Principle and Coalgebraic Modeling of Component Calculi
Wednesday Seminars - Department of Computer Science and Technology
Serializability Enforcement for Concurrent ML
Logic and Semantics Seminar (Computer Laboratory)
A Theory of Indirection via Approximation
Logic and Semantics Seminar (Computer Laboratory)
NO LOGIC AND SEMANTICS SEMINAR TODAY
β οΈ FW11 FW26 not available today
Logic and Semantics Seminar (Computer Laboratory)
A Canonical Local Representation of Binding
Logic and Semantics Seminar (Computer Laboratory)
Explicit Stabilisation for Rely-Guarantee reasoning
Logic and Semantics Seminar (Computer Laboratory)
Inductive-recursive definitions
Logic and Semantics Seminar (Computer Laboratory)
Safety of program transformations in shared-memory concurrency
β οΈ NOTE UNUSUAL DAY AND TIME. There are two seminars this week, one on Wednesday, one on Friday.
Logic and Semantics Seminar (Computer Laboratory)
Focalisation and Classical Realisability
Logic and Semantics Seminar (Computer Laboratory)
TALK CANCELLED: An overview of structural corecursion
β οΈ THIS TALK HAS BEEN POSTPONED. We hope to reschedule for later in the term.
Logic and Semantics Seminar (Computer Laboratory)
Structurally Recursive Descent Parsing
Logic and Semantics Seminar (Computer Laboratory)
Deciding Boolean BI (via Display Logic)
Logic and Semantics Seminar (Computer Laboratory)
A game for a neutral approach to provability in MALL
Logic and Semantics Seminar (Computer Laboratory)
Equideductive logic and CCCs with subspaces
β οΈ NOTE UNUSUAL DAY.
Mini Courses in Theoretical Computer Science
Call-by-push-value (part 2)
β οΈ This is the second part of a two-part series
Mini Courses in Theoretical Computer Science
Call-by-push-value (part 1)
β οΈ This is the first part of a two-part series. Part 2 is on Wed 4th Feb.
Logic and Semantics Seminar (Computer Laboratory)
Nondeterminism: many questions and (maybe) some answers
Logic and Semantics Seminar (Computer Laboratory)
Dynamics, robustness and fragility of trust
β οΈ NOTE THE UNUSUAL TIME
Logic and Semantics Seminar (Computer Laboratory)
Polynomial functors
Logic and Semantics Seminar (Computer Laboratory)
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types
Logic and Semantics Seminar (Computer Laboratory)
NO LOGIC AND SEMANTICS SEMINAR TODAY
Wednesday Seminars - Department of Computer Science and Technology
Practical Dynamic Software Updating for C
Logic and Semantics Seminar (Computer Laboratory)
Classical BI (A Logic for Reasoning About Dualising Resource)
Logic and Semantics Seminar (Computer Laboratory)
Nominal terms and one-and-a-half level Curry-Howard
Logic and Semantics Seminar (Computer Laboratory)
The interpretation of intuitionistic type theory in locally cartesian closed categories: an intuitionistic approach
Logic and Semantics Seminar (Computer Laboratory)
Event structure semantics of the pi-calculus
Rainbow Graphics Seminars
Towards NURBS-Compatible Subdivision
Logic and Semantics Seminar (Computer Laboratory)
Extensional rewriting with sums
Rainbow Graphics Seminars
Semi-Automatic Super-Resolution
Logic and Semantics Seminar (Computer Laboratory)
Eriskay: a programming language based on game semantics.
Logic and Semantics Seminar (Computer Laboratory)
Verification Based on Algebra and Automated Deduction
Rainbow Graphics Seminars
CeBit 2008
Logic and Semantics Seminar (Computer Laboratory)
A language extension for provably safe exception handling
Logic and Semantics Seminar (Computer Laboratory)
Keep Off The Grass: Locking the Right Path for Atomicity
Rainbow Graphics Seminars
How to prepare figures for publications
Rainbow Graphics Seminars
Title to be confirmed
Logic and Semantics Seminar (Computer Laboratory)
On Scalable Shape Analysis
Logic and Semantics Seminar (Computer Laboratory)
A completeness proof for bisimulation in the pi-calculus using Isabelle
β οΈ Note the unusual day.
Logic and Semantics Seminar (Computer Laboratory)
Logics for Coalgebras
Logic and Semantics Seminar (Computer Laboratory)
Category Theory and the Philosophy of Language
Logic and Semantics Seminar (Computer Laboratory)
Separation Logic Semantics for Communicating Processes
Logic and Semantics Seminar (Computer Laboratory)
Pointer Safety and Graph Grammars
Logic and Semantics Seminar (Computer Laboratory)
Model theoretic tools for deciding boundedness of fixed points
Logic and Semantics Seminar (Computer Laboratory)
Logical Reasoning for Higher-Order Functions with Local State
Rainbow Graphics Seminars
Histograms, Isosurface Statistics & Span Space
β οΈ Note unusual day
Logic and Semantics Seminar (Computer Laboratory)
The Java Memory Model - the Good, the Bad and the Ugly
Logic and Semantics Seminar (Computer Laboratory)
A unified model of class invariant verification frameworks
Logic and Semantics Seminar (Computer Laboratory)
Cyclic Proofs of Program Termination in Separation Logic
Logic and Semantics Seminar (Computer Laboratory)
Valiant's theory
Logic and Semantics Seminar (Computer Laboratory)
An Executable Model of the JVM in Coq
Logic and Semantics Seminar (Computer Laboratory)
Infinite-State System Verification via Tree Automata
Logic and Semantics Seminar (Computer Laboratory)
When While is a Security Risk
Logic and Semantics Seminar (Computer Laboratory)
Relational parametricity for computational effects.
Logic and Semantics Seminar (Computer Laboratory)
Stone duality for bitopological spaces
Logic and Semantics Seminar (Computer Laboratory)
Verification Across Intellectual Property Boundaries
Logic and Semantics Seminar (Computer Laboratory)
A Logic of Reachable Patterns in Linked Data-Structures
Logic and Semantics Seminar (Computer Laboratory)
Verifying Object-Invariants in Spec#
Logic and Semantics Seminar (Computer Laboratory)
Fine-grained concurrency with separation logic
β οΈ (joint work with Kalpesh Kapoor and Kamal Lodaya)
Logic and Semantics Seminar (Computer Laboratory)
A logical approach to data provenance.
Logic and Semantics Seminar (Computer Laboratory)
Bialgebras and modal logic
Logic and Semantics Seminar (Computer Laboratory)
Reasoning about Code Pointers (Separation Logic for Higher-Order Store)
Logic and Semantics Seminar (Computer Laboratory)
A structural proof of the soundness of rely/guarantee rules
Logic and Semantics Seminar (Computer Laboratory)
Logical equivalence for subtyping object and recursive types.
Logic and Semantics Seminar (Computer Laboratory)
Collection and Contra-collection in Mathematics
Please see above for contact details for this list.