Logic and Semantics Seminar (Computer Laboratory)

Semantics for Reactive Probabilistic Programming

Christine Tasson (Institut Supérieur de l’Aéronautique et de l’Espace).

SS03, Computer Laboratory.

Friday 28 November 2025, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Liberating synthetic quasi-coherence from syntax

David Jaz Myers (Topos Institute).

SS03, Computer Laboratory.

Friday 07 November 2025, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Cospans of finite sets

John Baez (University of Edinburgh, U. C. Riverside).

SS03, Computer Laboratory.

Friday 31 October 2025, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

The Dichotomy Theorem on the computational complexity of the Constraint Satisfaction Problem

Petar Markovic (University of Novi Sad).

SS03, Computer Laboratory.

Friday 17 October 2025, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Semiring Semantics: Algebraic Properties vs. Logical Results

Sophie Brinke (RWTH Aachen).

SS03, Computer Laboratory.

Friday 10 October 2025, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

On Solution Discovery via Reconfiguration

Sebastian Siebertz.

SS03, Computer Laboratory.

Friday 03 October 2025, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Fibred models of dual-context type theory and internal universes in models of HoTT

Florrie Verity (Australian National University).

SS03, Computer Laboratory.

Friday 26 September 2025, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A unified treatment of commuting tensor products

Nicola Gambino ( University of Manchester).

SS03, Computer Laboratory.

Friday 06 June 2025, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Aeneas: Rust Verification by Functional Translation

Son Ho (Azure Research team).

SS03, Computer Laboratory.

Friday 30 May 2025, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A topological proof of the H-colouring dichotomy

Jakub Oprsal (University of Birmingham).

SS03, Computer Laboratory.

Friday 09 May 2025, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

On morphisms between diagrams, and strictification of (∞,n)-categories

Amar Hadzihasanovic - Taltech.

SS03, Computer Laboratory.

Tuesday 22 April 2025, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Interventions and Counterfactuals for the Working Programmer

Dario Stein (Radboud University).

SS03, Computer Laboratory.

Friday 28 March 2025, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Number of quantifiers in 3-variable logic on linear orders

Lauri Hella (Univeristy of Tampere).

SS03, Computer Laboratory.

Friday 21 March 2025, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Axiomatization of infinity-categories

Bastiaan Cnossen, University of Regensburg.

FW09, Computer Laboratory.

Friday 07 March 2025, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

CRIS: The power of imagination in specification and verification

Gil Hur (Seoul National University).

SS03, Computer Laboratory.

Tuesday 04 March 2025, 13:00-14:00

Logic and Semantics Seminar (Computer Laboratory)

Much Still to Do in Compiler Verification (A Perspective from the CakeML Project)

Magnus Myreen ( Chalmers University, Sweden).

TBC - probably SS03, Computer Laboratory.

Friday 21 June 2024, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A selective and biased choice of techniques for building a distributed data store

Paweł T. Wojciechowski, Poznan University of Technology.

SS03, Computer Laboratory.

Tuesday 14 May 2024, 12:00-13:00

Logic and Semantics Seminar (Computer Laboratory)

Comodule representations of Second-order functionals

Note the unusual date and time.

Andrej Bauer, University of Ljubljana.

SS03, Computer Laboratory.

Wednesday 01 May 2024, 10:00-11:00

Logic and Semantics Seminar (Computer Laboratory)

Choice Principles in Observational Type Theory

Loïc Pujet (University of Stockholm).

SS03, Computer Laboratory.

Friday 08 March 2024, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Epimorphisms and Acyclic Types in Univalent Mathematics

Tom de Jong, University of Nottingham.

SS03, Computer Laboratory.

Friday 01 March 2024, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Synthesis modulo oracles

Elizabeth Polgreen, University of Edinburgh.

SS03, Computer Laboratory.

Friday 16 February 2024, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

When Subtyping Constraints Liberate: Polymorphic Subtype Inference And Scope Safety

HKUST (Hong Kong University of Science and Technology).

SS03, Computer Laboratory.

Friday 26 January 2024, 15:15-16:15

Logic and Semantics Seminar (Computer Laboratory)

Towards Secure Distributed Choreographies

Andrew K. Hirsch (Buffalo).

SS03, Computer Laboratory.

Friday 26 January 2024, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Testing GPU Memory Consistency at Large

Reese Levine, University of California Santa Cruz.

SS03, Computer Laboratory.

Friday 12 January 2024, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A categorical semantics for neural networks

Charlotte Aten, University of Denver.

Lecture Theatre 2, Computer Laboratory.

Friday 24 November 2023, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Coherence by Normalization for Linear Multicategorical Structures

Federico Olimpieri, University of Leeds.

SS03, Computer Laboratory.

Friday 20 October 2023, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Software for Compositional Modeling

John Baez, University of California Riverside.

LT1, Computer Laboratory.

Wednesday 18 October 2023, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

How to prove - hopefully - that polynomial time is not choiceless

Benedikt Pago.

SS03, Computer Laboratory.

Friday 13 October 2023, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Optimizations in a formally verified compiler

David Monniaux, CNRS/VERIMAG and École Polytechnique.

FW11, Computer Laboratory.

Thursday 20 July 2023, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Formalizing General Calculi with Binders in Rewriting Logic

Jose Meseguer, University of Illinois at Urbana-Champaign and Leverhulme Visiting Professor at King's College London.

SS03, Computer Laboratory.

Friday 16 June 2023, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

RoboCert: A Formal Specification Notation for Robotic Software

Matthew Windsor, University of York.

SS03, Computer Laboratory.

Friday 09 June 2023, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Making concurrency functional

Glynn Winskel, Huawei Edinburgh Research Centre and Strathclyde University.

SS03, Computer Laboratory.

Friday 19 May 2023, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Compound Memory Models

Andrés Goens, University of Edinburgh.

SS03, Computer Laboratory.

Friday 12 May 2023, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Types-To-Sets and Types-to-PERs Relativization in Higher-Order Logic

Andrei Popescu, University of Sheffield.

SS03, Computer Laboratory.

Friday 05 May 2023, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Model Checking Disjoint-Paths Logic on Topological-Minor-Free Graph Classes

Giannos Stamoulis, University of Montpellier.

SS03, Computer Laboratory.

Friday 28 April 2023, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Graduality and Parametricity - Together again for the first time, for the second time

Philip Wadler, University of Edinburgh.

SS03, Computer Laboratory.

Tuesday 14 March 2023, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Stochastic games and strategy complexity

Mahsa Shirmohammadi, University of Oxford.

FW11, Computer Laboratory.

Friday 10 March 2023, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

The Functional Machine Calculus

Chris Barrett, University of Birmingham.

SS03, Computer Laboratory.

Friday 24 February 2023, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Bidirectional typing is not just an implementation technique

Meven Lennon-Bertrand, University of Cambridge.

SS03, Computer Laboratory.

Friday 03 February 2023, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

When Concurrency Strikes

Matthew Parkinson, Microsoft Research.

SS03.

Friday 27 January 2023, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Functional Programming with an Incremental Datalog

Sebastian Erdweg, Johannes Gutenberg University Mainz.

FW26, Computer Laboratory.

Monday 19 December 2022, 11:00-12:00

Logic and Semantics Seminar (Computer Laboratory)

Functional Programming with an Incremental Datalog

Sebastian Erdweg, Johannes Gutenberg University Mainz.

FW26, Computer Laboratory.

Monday 19 December 2022, 11:00-12:00

Logic and Semantics Seminar (Computer Laboratory)

String diagrams for semistrict n-categories

Manuel Araujo, University of Cambridge.

SS03.

Friday 02 December 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

The linear operator semantics of probabilistic programs

Fredrik Dahlqvist, UCL.

SS03.

Friday 25 November 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Linear Logic and the Semantics of Concurrent Computation

Alex Kavvos, University of Bristol.

SS03.

Friday 18 November 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

On bilinearity of Whitehead products in Homotopy Type Theory

Ulrik Buchholtz, University of Nottingham.

SS03.

Friday 11 November 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Subcubic certificates for CFL reachability

Dmitry Chistikov, University of Warwick.

SS03.

Friday 04 November 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Coherent differentiation makes the differential lambda-calculus deterministic

Thomas Ehrhard, University of Paris.

SS03.

Friday 28 October 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Generic pattern unification: a categorical approach

Ambroise Lafont, University of Cambridge.

SS03.

Friday 21 October 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

∞-type theories and coherence problems

Taichi Uemura, University of Stockholm.

SS03.

Friday 14 October 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Mixing finite and infinite structure

Michael Benedikt, University of Oxford.

SS03.

Monday 10 October 2022, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

Verification for free: using K to build a theorem prover for any language

Bruce Collie, Runtime Verification.

SS03.

Friday 07 October 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

The Expressive Power of CSP Quantifiers

Lauri Hella, Tampere University.

SS03.

Thursday 29 September 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Title to be confirmed

Lauri Hella, University of Helsinki.

SS03.

Thursday 29 September 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Algebraic type theory

Steve Awodey, Carnegie Mellon University.

FW26.

Tuesday 30 August 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Staged Compilation with Two-Level Type Theory

András Kovács, Eötvös Loránd University.

FW11.

Monday 22 August 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Decoding Nets: A Formal Take on Address Translation

Ben Fiedler, ETH.

FW26.

Thursday 28 July 2022, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

Finite-state polynomial computation

Mikołaj Bojanczyk, University of Warsaw.

SS03.

Friday 17 June 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Symmetries in quantitative semantics

Hugo Paquet, University of Oxford.

SS03.

Friday 10 June 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Symmetries in Reversible Programming

Vikraman Choudhury, University of Indiana.

SS03.

Friday 27 May 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Title to be confirmed

Vikraman Choudhury, University of Indiana.

SS03.

Friday 27 May 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Game comonads, FVM theorems, and bilinear maps

Dan Marsden, University of Oxford.

SS03.

Friday 06 May 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

The complexity of counting problems

David Richerby, University of Essex.

SS03.

Friday 29 April 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Cyclic Implicit Complexity

Anupam Das, University of Birmingham.

FW26.

Friday 11 March 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

How undecidable are HyperLTL and HyperCTL*?

Marie Fortin, University of Liverpool.

FW26.

Friday 04 March 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A categorical view of conditional expectation

Prakash Panangaden, McGill University and University of Edinburgh.

FW26.

Friday 25 February 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

CANCELLED -- The complexity of counting problems

David Richerby, University of Essex.

FW26.

Friday 18 February 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Relational databases versus relational models

Alex Gurney, WebFlow.

FW26.

Friday 11 February 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Categorical Foundations of Gradient-Based Learning

Fabio Zanasi, UCL.

FW26.

Friday 04 February 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Theorem Provers to Protect Democracy: Formally Verified Vote-Counting-Software

Mukesh Tiwari, University of Cambridge.

tba.

Friday 21 January 2022, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Comparing general definitions of type theories

Peter LeFanu Lumsdaine, Stockholm University.

FW26.

Friday 03 December 2021, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A computational method for left adjointness

Simon Forest, University of Aix-Marseille.

FW26.

Friday 26 November 2021, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Towards a geometry for syntax

Jon Sterling, University of Aarhus.

SS03.

Friday 19 November 2021, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Enriched categories for optimal transport

Simon Willerton, University of Sheffield.

FW26.

Friday 12 November 2021, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A formal context for metric semantics

Radu Mardare, University of Strathclyde.

FW26.

Friday 05 November 2021, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

The Semantics of Shared Memory in Intel CPU/FPGA Systems

Dan Iorga, Imperial College London.

FW26.

Friday 29 October 2021, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

CaTT, a type-theory to describe weak omega-categories

Thibaut Benjamin, CEA Tech.

FW26.

Friday 22 October 2021, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Quantum Software in 2021: Patterns and Problems

Ross Duncan, Cambridge Quantum Computing.

FW26.

Friday 15 October 2021, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Unfinity Categories

Andrew Pitts, University of Cambridge.

Online.

Friday 26 March 2021, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Promising ARMv8/RISC-V relaxed memory

Christopher Pulte, University of Cambridge.

Online.

Friday 29 January 2021, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Fully Abstract Models of Call-by-Value Languages, à la O'Hearn & Riecke

Philip Saville, University of Edinburgh.

Online.

Friday 20 November 2020, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Lovász' Theorem and Comonads in Finite Model Theory

Tomas Jakl, University of Cambridge.

Online.

Friday 13 November 2020, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Free Commutative Monoids in Homotopy Type Theory

Vikraman Choudhury, University of Indiana.

Online.

Friday 06 November 2020, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Symmetric Arithmetic Circuits

Gregory Wilsenach, University of Cambridge.

Online.

Friday 30 October 2020, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Axiomatic Concurrency Semantics for Full-Scale ARMv8-A using Symbolic Execution

Alasdair Armstrong, University of Cambridge.

Online.

Friday 23 October 2020, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Incrementality xor currency for monotone fixed points

Michael Arntzenius, University of Cambridge.

Online.

Friday 16 October 2020, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Higher Algebra in Computer Science

Eric Finster, University of Cambridge.

Online.

Friday 09 October 2020, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A Syntactic View of Computational Adequacy

Marco Devesas Campos, University of Birmingham.

Computer Lab, GC22.

Thursday 12 March 2020, 13:00-13:20

Logic and Semantics Seminar (Computer Laboratory)

Tests and Proofs in Isabelle

Yakoub Nemouchi, University of York.

Computer Lab, SS03.

Tuesday 10 March 2020, 14:30-14:50

Logic and Semantics Seminar (Computer Laboratory)

Aspects of my formal development work

Boris Djalal, OpenAirInterface Software Alliance.

Computer Lab, FW26.

Thursday 05 March 2020, 10:00-10:20

Logic and Semantics Seminar (Computer Laboratory)

Automating proof by induction in Isabelle/HOL using domain-specific languages

Yutaka Nagashima, Czech University in Prague (CTU) & University of Innsbruck.

Computer Lab, FW11.

Wednesday 04 March 2020, 10:00-10:20

Logic and Semantics Seminar (Computer Laboratory)

Formal Foundations for Provably Safe Web Components

Michael Herzberg, University of Sheffield.

Computer Lab, FW26.

Tuesday 03 March 2020, 10:00-10:20

Logic and Semantics Seminar (Computer Laboratory)

A duality theoretic view on limits of finite structures

Tomáš Jakl, Computer Lab.

Computer Laboratory, room SS03.

Friday 28 February 2020, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Cerberus C semantics & pointer provenance

Kayvan Memarian (University of Cambridge).

Computer Laboratory, room SS03.

Friday 28 February 2020, 13:00-14:00

Logic and Semantics Seminar (Computer Laboratory)

Computation via Substructures

Ramanathan S. Thinniyam, MPI-SWS.

Computer Laboratory, room SS03.

Monday 24 February 2020, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A Profunctorial Finiteness Semantics

Zeinab Galal.

Computer Lab, FW26.

Friday 21 February 2020, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Quantum things 3 - Resources and Co-resources

Anuj Dawar (University of Cambridge).

Computer Laboratory, Room FW26.

Friday 06 December 2019, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Modular Relaxed Dependencies in Weak Memory Concurrency

Marco Paviotti.

Computer Laboratory, Room FW11.

Thursday 05 December 2019, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Quantum Things 2 - The quantum monad on relational structures

Nadish de Silva (University of Cambridge).

SS03.

Friday 15 November 2019, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Quantum Things 1 - Monads, comonads, and resource-limited computation

Adam ó Conghaile (University of Cambridge).

MR9 Centre for Mathematical Sciences.

Thursday 14 November 2019, 14:15-15:15

Logic and Semantics Seminar (Computer Laboratory)

Haskelly things

Richard Eisenberg (Bryn Mawr College).

FW26.

Friday 08 November 2019, 13:00-14:00

Logic and Semantics Seminar (Computer Laboratory)

The way of the empty proof

Jean-Louis Lassez.

FW26.

Friday 11 October 2019, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Local reasoning for robust observational equivalence

Koko Muroya.

FW26.

Thursday 12 September 2019, 13:45-14:45

Logic and Semantics Seminar (Computer Laboratory)

Verification of Cyber-Physical Systems: Temporal Properties and Airplane Collision Avoidance

Jean-Baptiste Jeannin, University of Michigan.

FW26.

Monday 17 June 2019, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Retrofitting Purity with Comonads and Capabilities

Vikraman Choudhury, Indiana University / Cambridge.

FW26.

Friday 24 May 2019, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Hardness magnification near state-of-the-art lower bounds

Jan Pich, Oxford.

FW26.

Friday 10 May 2019, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

An Overview of the Flix Programming Language

Magnus Madsen, Aarhus University.

FW26.

Thursday 09 May 2019, 13:45-14:45

Logic and Semantics Seminar (Computer Laboratory)

Resource-oriented programming with graded modal types

Vilem Liepelt, University of Kent.

FW26.

Thursday 18 April 2019, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Uncertainty is hope: towards a unified foundation of gradual typing

Joshua Dunfield, Queen’s University, Canada.

FW26.

Wednesday 17 April 2019, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Push versus Pull-Based Loop Fusion in Query Engines

Amir Shaikhha, Oxford.

FW26.

Friday 12 April 2019, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Stacked Borrows: An Aliasing Model for Rust

Ralf Jung, MPI-SWS.

FW26.

Tuesday 02 April 2019, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Excel Formulae: a PL perspective

Ben Simner, Computer Laboratory.

FW26.

Friday 22 March 2019, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Linear Capabilities: an overview

Dominique Devriese, Vrije Universiteit Brussel.

FW26.

Monday 18 March 2019, 14:30-15:00

Logic and Semantics Seminar (Computer Laboratory)

Linear capabilities for fully abstract compilation of separation-logic-verified code

Thomas Van Strydonck, KU Leuven.

FW26.

Monday 18 March 2019, 11:45-12:15

Logic and Semantics Seminar (Computer Laboratory)

StkTokens: Enforcing Well-Bracketed Control Flow and Stack Encapsulation Using Linear Capabilities

Lau Skorstengaard, Aarhus University.

FW26.

Monday 18 March 2019, 11:15-11:45

Logic and Semantics Seminar (Computer Laboratory)

A domain theory for statistical probabilistic programming

Ohad Kammar, Edinburgh.

FW26.

Friday 22 February 2019, 15:00-16:00

Logic and Semantics Seminar (Computer Laboratory)

Project Everest: towards a verified TLS ecosystem

Jonathan Protzenko, MSR Redmond.

FW26.

Friday 30 November 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Verifying Concurrent Search Structure Templates

Siddharth Krishna, NYU.

SS03.

Monday 26 November 2018, 15:00-16:00

Logic and Semantics Seminar (Computer Laboratory)

PP is not a monad

Bartek Klin, Warsaw University.

FW26.

Tuesday 20 November 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Lower bound for arithmetic circuits via Hankel matrix

Pierre Ohlmann, IRIF, Université Paris 7.

SS03.

Friday 16 November 2018, 14:15-15:15

Logic and Semantics Seminar (Computer Laboratory)

Quasi-polynomial solutions for parity games and other problems

Karoliina Lehtinen, Christian-Albrechts University of Kiel.

FW26.

Friday 14 September 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Beyond Polarity: Towards A Multi-Discipline Intermediate Language with Sharing

Paul Downen, University of Oregon.

FW26.

Tuesday 11 September 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Graphical Conjunctive Queries

Pawel Sobocinski, University of Southampton.

FW26.

Friday 27 July 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Automated Full-Stack Memory Model Verification with the Check suite

Yatin Manerkar, Princeton University.

FW26.

Thursday 19 July 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Polynomial models of type theory

Tamara von Glehn (DPMMS).

FW26.

Friday 06 July 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Types and Safety of Lock-free Data Structures

Elias Castegren, MSR.

FW26.

Friday 29 June 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

The direct approach to evaluation order

Guillaume Munch-Maccagnoni, INRIA.

FW26.

Tuesday 19 June 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Compositional Compiler Verification for a Multi-Language World

Amal Ahmed, Northeastern University.

FW26.

Friday 15 June 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

From global to local state in game semantics via the sequoid

James Laird, University of Bath.

FW26.

Friday 01 June 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Quantitative equational reasoning

Prakash Panangaden, McGill University.

FW26.

Thursday 24 May 2018, 13:45-14:45

Logic and Semantics Seminar (Computer Laboratory)

Scheduling Tasks for Reconfigurable Architecture

Amlan Chakrabarti, University of Calcutta.

FW26.

Friday 18 May 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Lecture 3: Logic for Program Development, Verification and Implementation.

Tony Hoare, FRS FREng.

FW26.

Friday 04 May 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

One Hierarchy Spawns Another: Graph Deconstructions and the Complexity Classification of Conjunctive Queries

Hubert Chen, Birkbeck University of London.

FW26.

Friday 27 April 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Left Exact Modalities in Type Theory

Eric Finster, INRIA Rennes.

FW26.

Friday 09 March 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Modular Algorithm Analysis

Michel Schellekens, University College Cork.

FW26.

Friday 23 February 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Lightweight verification of separate compilation

Chung-Kil Hur, Seoul National University.

FW11.

Friday 16 February 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Lecture 2: Algebraic Theory of Program Transformation

Tony Hoare, FRS FREng.

FW26.

Tuesday 13 February 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Atomicity Abstractions in Relaxed Memory Architectures

Brijesh Dongol, Brunel University London.

FW26.

Friday 26 January 2018, 14:00-15:00

Computer Laboratory Programming Research Group Seminar

Energy Efficient Compilation of Irregular Task-Parallel Loops

Krishna Nandivada, IIT Madras, India.

GS15.

Thursday 25 January 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Logic Programming, Semantics, and a Bit of Cleverness

William Byrd, University of Alabama at Birmingham.

FW26.

Tuesday 23 January 2018, 11:00-12:00

Logic and Semantics Seminar (Computer Laboratory)

A Geometric Theory of Program Testing.

Tony Hoare, FRS FREng.

FW26.

Friday 19 January 2018, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

The Linux Kernel Concurrency Model

Andrea Parri.

FW26.

Thursday 07 December 2017, 11:00-12:00

Logic and Semantics Seminar (Computer Laboratory)

Effective Stateless Model Checking for C/C++ Concurrency

Viktor Vafeiadis, MPI-SWS.

FW26.

Tuesday 05 December 2017, 10:30-11:30

Logic and Semantics Seminar (Computer Laboratory)

On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control

Sam Lindley, University of Edinburgh.

FW26.

Friday 01 December 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Reasoning beyond data-race freedom

Stephen Dolan, Ocaml Labs, University of Cambridge.

FW26.

Friday 10 November 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Designing Verifiable Cache Coherence Protocols

Daniel Sorin, Duke University.

SS03, Computer Laboratory.

Friday 10 November 2017, 13:00-14:00

Logic and Semantics Seminar (Computer Laboratory)

Lightweight verification of separate compilation

NB: rescheduled from 2017/09/22

Chung-Kil Hur, Seoul National University.

FW26.

Friday 29 September 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Event Correlation with Algebraic Effects

Oliver Bracevac, University of Darmstadt.

FW26.

Friday 15 September 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A promising semantics for relaxed-memory concurrency

Chung-Kil Hur, Seoul National University.

FW26.

Friday 08 September 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Semantics of Full Ground References

Paul Blain Levy (University of Birmingham).

FW26.

Friday 21 July 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Applications of Finite Model Theory in Graph Isomorphism Testing and Propositional Proof Complexity

Wied Pakusa, University of Oxford.

FW26.

Friday 16 June 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Interleaved scope for games and automata

Murdoch Gabbay, Heriot-Watt University.

FW26.

Friday 09 June 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Syntax and Handlers for Operations with Scopes

Maciej Piróg.

FW26.

Friday 02 June 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Disjoint Semirings for Fractional Permissions

**NOTE NON-STANDARD DAY AND ROOM BOOKING**

Aquinas Hobor, National University of Singapore.

FW11.

Thursday 01 June 2017, 13:30-14:15

Logic and Semantics Seminar (Computer Laboratory)

Concurrent Kleene Algebras and Pomset Languages

Georg Struth, University of Sheffield.

FW26.

Friday 26 May 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

What does the Future of Programming Look Like?

David Pearce, Victoria University of Wellington, New Zealand.

FW26.

Friday 19 May 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Higher Categorical Structures, Type-Theoretically

Nicolai Kraus, University of Nottingham.

FW26.

Friday 12 May 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Monads and Lenses

James Cheney, University of Edinburgh.

FW26.

Friday 07 April 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Diagrammatic Operational Semantics for Digital Circuits

Dan Ghica, University of Birmingham.

FW26.

Friday 17 March 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Verified Characteristic Formulae for CakeML

Magnus Myreen, Chalmers University.

FW26.

Friday 03 March 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A monad for full ground reference cells

Ohad Kammar, University of Oxford.

FW26.

Friday 17 February 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Genus, Numerics and Architectural Level Optimisation

Joint Logic and Semantics and Computer Architecture Seminar

Theo Drane, Cadence Design Systems.

FW11.

Friday 27 January 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

One-Dimensional Higher Inductive Types

Peter Dybjer, Chalmers University of Technology.

FW26.

Friday 20 January 2017, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Polymorphism, subtyping and type inference in MLsub

Stephen Dolan, University of Cambridge.

FW26.

Friday 16 December 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A categorical perspective on type refinement systems

Noam Zeilberger, University of Birmingham.

FW26.

Friday 09 December 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Cantor meets Scott: Domain-Theoretic Foundations for Probabilistic Network Programming

Alexandra Silva ( University College London).

FW26.

Friday 02 December 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A compositional account of Herbrand's theorem via concurrent games

NOTE NON-STANDARD ROOM BOOKING

Pierre Clairambault, ENS Lyon.

SS03.

Friday 18 November 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Fencing off Go: Liveness and Safety for Channel-based Programming

Nicholas Ng and Bernardo Toninho, Imperial College.

FW26.

Friday 11 November 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Context Equivalences and Metrics in Probabilistic Lambda-Calculi

Ugo Dal Lago, University of Bologna.

FW26.

Friday 21 October 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

An Algebraic Combinatorial Approach to the Abstract Syntax of Opetopic Structures

Marcelo Fiore, University of Cambridge.

FW26.

Friday 14 October 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

On Proofs of Equality as Paths

Andy Pitts, Computer Laboratory.

FW26.

Friday 07 October 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Analysing Goedel’s T by means of ordinal assignment and collapsing

NOTE NON-STANDARD ROOM BOOKING

Gunnar Wilken, Okinawa Institute of Science and Technology.

SS03.

Friday 16 September 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Making Reactive Programs Function

Neel Krishnaswami, University of Cambridge.

FW26.

Friday 09 September 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A new verified compiler backend for CakeML

**NOTE NON-STANDARD DATE, TIME, AND ROOM**

Magnus Myreen, Chalmers University, Sweden.

FW11.

Thursday 18 August 2016, 15:00-16:00

Logic and Semantics Seminar (Computer Laboratory)

Classical Linear Logic considered as a programming language

Robert Atkey, University of Strathclyde.

FW26.

Friday 29 July 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A Verified CompCert Front-End for a Memory Model supporting Pointer Arithmetic and Uninitialised Data

Sandrine Blazy, University of Rennes 1.

FW26.

Friday 08 July 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Practical Statically-checked Deterministic Parallelism

Ryan Newton, University of Indiana.

FW26.

Friday 01 July 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Automatically comparing memory consistency models

John Wickerson, Imperial College.

FW26.

Friday 24 June 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Programming and Proving with Concurrent Resources

Ilya Sergey, University College London.

FW26.

Friday 17 June 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Optimising star-convex functions

Jasper Lee, Brown University.

FW26.

Friday 10 June 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Automated Reasoning and AI for Large Formal Mathematics

Josef Urban, Czech Technical University in Prague.

FW26.

Friday 03 June 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Certified automated theorem proving for types

Ekaterina Komendantskaya, Heriot-Watt University, Edinburgh.

FW26.

Friday 20 May 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

The C standard formalized in Coq, what's next?

Robbert Krebbers, Aarhus University.

FW26.

Friday 13 May 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A rational reconstruction of homogeneous meta-programming

Martin Berger, University of Sussex.

FW26.

Friday 06 May 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Giry and the Machine

Ilias Garnier, ENS Paris.

FW26.

Friday 29 April 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Logical dependence via functional dependence

Paulo Oliva, Queen Mary, University of London.

FW26.

Friday 22 April 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Generating Gradual Typing Systems with the Gradualizer

Jeremy Siek, Indiana University.

FW26.

Friday 08 April 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Comprehensive Parametric Polymorphism

Fredrik Nordvall Forsberg, Mathematically Structured Programming Group at the University of Strathclyde.

FW26.

Friday 11 March 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

THIS TALK HAS BEEN CANCELLED/POSTPONED

THIS TALK HAS BEEN CANCELLED/POSTPONED

Martín Escardó, School of Computer Science, University of Birmingham.

SS03.

Thursday 03 March 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A call-by-value realizability model for PML

NOTE UNUSUAL VENUE

Rodolphe Lepigre, Laboratoire de Mathématiques, Université de Savoie.

SS03.

Friday 26 February 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Excuse My Extrusion

Conor McBride, Mathematically Structured Programming Group, Department of Computer and Information Sciences, the University of Strathclyde.

FW26.

Friday 19 February 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Identity types in Algebraic Model Structures

NOTE UNUSUAL VENUE This is the second seminar this week.

Andrew Swan, The Logic Group, School of Mathematics, University of Leeds.

FW11.

Friday 12 February 2016, 14:00-15:00

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)

Yuri Gurevich, Microsoft Research Redmond, USA.

SW01.

Tuesday 09 February 2016, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

Effects as sessions, sessions as effects

NOTE UNUSUAL VENUE

Dominic Orchard, Computer Laboratory.

SS03.

Friday 05 February 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Interacting Hopf monoids: the algebra of signal flow diagrams

NOTE UNUSUAL VENUE

Fabio Zanasi, Radboud University of Nijmegen, Netherlands.

SS03.

Friday 29 January 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Dependent Types and Fibred Computational Effects

Danel Ahman, University of Edinburgh, Scotland.

FW26.

Friday 22 January 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Graphical linear algebra and applications

Pawel Sobocinski, School of Electronics and Computer Science, University of Southampton.

FW26.

Friday 15 January 2016, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A continuation passing translation for functional session types

Sam Lindley, LFCS, School of Informatics, University of Edinburgh, Scotland.

FW26.

Friday 04 December 2015, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Typed realizability for first-order classical analysis

Valentin Blot, Mathematical foundations group, computer science department, University of Bath.

FW26.

Friday 27 November 2015, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Online Space Complexity

Nathanaël Fijalkow, Laboratoire d'Informatique Algorithmique: Fondements et Applications (LIAFA), Université Paris Diderot - Paris 7.

FW26.

Friday 13 November 2015, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Global Realisations of Local Specifications

Martin Otto, Technische Universität Darmstadt, Germany.

FW26.

Friday 06 November 2015, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Heat kernels in graphs: A journey from random walks to geometry, and back

He Sun, University of Bristol.

FW26.

Friday 12 June 2015, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Consistency of Quine's NF using nominal techniques

Jamie Gabbay, Heriot-Watt .

Computer Laboratory, William Gates Building, Room FW11.

Friday 29 May 2015, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

From Communicating Machines to Graphical Choreographies

Nobuko Yoshida and Julien Lange.

Computer Laboratory, William Gates Building, Room FW11.

Friday 22 May 2015, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Generic Computational Models

Nachum Dershowitz, Tel Aviv University.

Room FW26, Computer Laboratory, William Gates Building.

Wednesday 20 May 2015, 11:00-12:00

Logic and Semantics Seminar (Computer Laboratory)

Locally Finite Constraint Satisfaction Problems

Joanna Ochremiak, University of Warsaw.

Computer Laboratory, William Gates Building, Room FW11.

Friday 15 May 2015, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Linear numeral systems

Ian Mackie, University of Sussex.

Computer Laboratory, William Gates Building, Room FW11.

Friday 20 March 2015, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Game Semantics for Interface Middleweight Java

Andrzej Murawski, University of Warwick.

Computer Laboratory, William Gates Building, Lecture Theatre 2.

Friday 13 February 2015, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

New reasoning techniques for monoidal algebras

Aleks Kissinger, University of Oxford.

Room FW26, Computer Laboratory, William Gates Building.

Friday 16 January 2015, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

Rigid Graphs for Adaptive Networks, with Data

Reiko Heckel, University of Leicester.

Room FW26, Computer Laboratory, William Gates Building.

Friday 05 December 2014, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

Transition systems over games

Paul Levy, University of Birmingham.

Room FW26, Computer Laboratory, William Gates Building.

Friday 28 November 2014, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

Senescent Ground Tree Rewrite Systems

Matthew Hague, Royal Holloway.

Room FW26, Computer Laboratory, William Gates Building.

Friday 21 November 2014, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

Verification of quantum protocols using Coq

Jaap Boender, Middlesex University.

Room FW26, Computer Laboratory, William Gates Building.

Friday 14 November 2014, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

An Algorithmic Metatheorem for Directed Treewidth

Mateus de Oliveria Oliveira, KTH, Stockholm.

Room FW26, Computer Laboratory, William Gates Building.

Friday 07 November 2014, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Micro-Policies: A Framework for Tag-Based Security Monitors

Benjamin C. Pierce, University of Pennsylvania.

Room FW26, Computer Laboratory, William Gates Building.

Wednesday 10 September 2014, 13:00-14:00

Logic and Semantics Seminar (Computer Laboratory)

Backward Analysis via Over-Approximate Abstraction and Under-Approximate Subtraction

Alexey Bakhirkin, MSR/University of Leicester.

Room FW26, Computer Laboratory, William Gates Building.

Friday 22 August 2014, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

Why Isn’t Verification Standard Practice?

Steve Crocker, ICANN.

Room FW26, Computer Laboratory, William Gates Building.

Tuesday 01 July 2014, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Modeling a Practical Combination of Delimited Continuations, Exceptions, Dynamic-Wind Guards, Dynamic Binding, and Stack Inspection

Matthew Flatt, University of Utah.

Room FW26, Computer Laboratory, William Gates Building.

Friday 23 May 2014, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

On-the-fly garbage collection: issues and opportunities

Richard Jones, University of Kent.

Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

Friday 25 April 2014, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

Representing conditional independence in probabilistic programming

Daniel Roy, Engineering Department, University of Cambridge.

Room FW26, Computer Laboratory, William Gates Building.

Friday 24 January 2014, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

Automating reasoning tasks for separation logic

Juan A. Navarro Pérez, UCL.

Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

Friday 17 January 2014, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

An algebraic theory of type-and-effect systems

Ohad Kammar (University of Cambridge).

Room FW26, Computer Laboratory, William Gates Building.

Friday 13 December 2013, 13:00-14:00

Logic and Semantics Seminar (Computer Laboratory)

Relational Programming in miniKanren

William E. Byrd, University of Utah.

Room FW26, Computer Laboratory, William Gates Building.

Friday 06 December 2013, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

Decision Problems for Linear Recurrence Sequences

Joel Ouaknine, University of Oxford.

Room FW26, Computer Laboratory, William Gates Building.

Friday 29 November 2013, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

Language based web security: the operational semantics approach

Sergio Maffeis, Imperial College, London.

Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

Friday 22 November 2013, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

Weighted relational models of typed lambda-calculi

Guy McCusker, University of Bath.

Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

Friday 15 November 2013, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

Simple, efficient, sound-and-complete combinator parsing for all context-free grammars, using an oracle.

Tom Ridge, University of Leicester.

Room FW26, Computer Laboratory, William Gates Building.

Friday 08 November 2013, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

**TALK POSTPONED**

Daniel Roy, Engineering Department, University of Cambridge.

Room FW26, Computer Laboratory, William Gates Building.

Friday 01 November 2013, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

Fibrational Parametricity

Neil Ghani, University of Strathclyde.

Room FW26, Computer Laboratory, William Gates Building.

Friday 25 October 2013, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

Descriptive set theory and Computation theory

Victor Selivanov, Novosibirsk Pedagogical University.

Room FW26, Computer Laboratory, William Gates Building.

Friday 26 July 2013, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

An overview of nominal algebra, lattice, representation and dualities for computer science foundations

Jamie Gabbay.

Room FW26, Computer Laboratory, William Gates Building.

Tuesday 02 July 2013, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

**Cancelled** Logic of Hybrid Games

Andre Platzer, CMU.

Room FW26, Computer Laboratory, William Gates Building.

Friday 28 June 2013, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

A few lessons that I learnt about interprocedural program analyses

Hongseok Yang, University of Oxford.

Auditorium, Microsoft Research Ltd, 21 Station Road, Cambridge, CB1 2FB.

Friday 07 June 2013, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

Multiparty session types and their application in large distributed systems

Raymond Hu and Nobuko Yoshida, Imperial College.

Room FW26, Computer Laboratory, William Gates Building.

Friday 17 May 2013, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

Barrier Invariants : a Shared State Abstraction for Data-dependent GPU Kernels >

Nathan Chong, Imperial College, London.

Room FW26, Computer Laboratory, William Gates Building.

Friday 03 May 2013, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

Semigroups with low difficulty word problem

Markus Pfeiffer, St Andrew's.

Room FW26, Computer Laboratory, William Gates Building.

Friday 26 April 2013, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

Malware Analysis with Tree Automata Inference

Domagoj Babic.

Room FW26, Computer Laboratory, William Gates Building.

Tuesday 12 March 2013, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Cyclic Abduction of Inductive Termination Preconditions

James Brotherston, University College London.

Room TBC. Microsoft Research, Station Road.

Friday 01 March 2013, 16:00-17:00

Logic and Semantics Seminar (Computer Laboratory)

Halo: From Haskell to Logic through Denotational Semantics

Dimitrios Vytiniotis, MSR Cambridge.

Room FW11, Computer Laboratory, William Gates Building.

Friday 23 November 2012, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Abstraction and Invariance for Algebraically Indexed Types

Andrew Kennedy, Microsoft Research Cambridge.

Room FW11, Computer Laboratory, William Gates Building.

Friday 09 November 2012, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Preservation under Substructures modulo Bounded Cores

Note special date and location (GC22)

Abhisekh Sankaran, IIT Bombay.

Room GC22, Computer Laboratory, William Gates Building.

Thursday 30 August 2012, 14:00-15:00

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.

R. Ramanujam, Institute of Mathematical Sciences, Chennai.

Room FW26, Computer Laboratory, William Gates Building.

Friday 08 June 2012, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Safe Recursive Set Functions

Arnold Beckmann, Swansea University.

Room FW11, Computer Laboratory, William Gates Building.

Friday 01 June 2012, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

MELL in a free compact closure

Etienne Duchesne, LIPN, Université Paris 13.

Room FW11, Computer Laboratory, William Gates Building.

Friday 18 May 2012, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

First steps in synthetic guarded domain theory: step-indexing in the topos of trees

Rasmus Møgelberg, IT University, Copenhagen.

Room FW11, Computer Laboratory, William Gates Building.

Friday 13 April 2012, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Expressiveness of real-time temporal logics

Paul Hunter, University of Oxford.

Room FW11, Computer Laboratory, William Gates Building.

Friday 23 March 2012, 14:00-15:00

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

Stanislav Kikot, University of London Birkbeck College.

Room FW11, Computer Laboratory, William Gates Building.

Friday 09 March 2012, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Iterative algorithms and Sherali-Adams linear programming relaxations of graph isomorphism

Elitza Maneva, Universitat de Barcelona (UB).

Room FW11, Computer Laboratory, William Gates Building.

Friday 03 February 2012, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Layered Fixed Point Logic

Piotr Filipiuk, Technical University of Denmark (DTU).

Room FW11, Computer Laboratory, William Gates Building.

Friday 20 January 2012, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Algebra unifies Calculi of programming

Tony Hoare (Microsoft Research).

Room FW11, Computer Laboratory, William Gates Building.

Friday 02 December 2011, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Nash Equilibrium, Bekic's Lemma and Bar Recursion

Paulo Oliva - Queen Mary, University of London.

Room FW11, Computer Laboratory, William Gates Building.

Friday 25 November 2011, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Almost always blue trees and bar induction

Tarmo Uustalu, Tallinn University of Technology.

Room FW11, Computer Laboratory, William Gates Building.

Friday 28 October 2011, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Parameterized Complexity of some Problems in Concurrency and Verification

Praveen Manjunatha, The Institute of Mathematical Sciences, Chennai.

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 30 August 2011, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Parallel Assertions for Debugging Parallel Programs

Daniel Schwartz-Narbonne, Princeton University.

Room FW11, Computer Laboratory, William Gates Building.

Friday 08 July 2011, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Lightweight Monadic Programming in ML

Michael Hicks, University of Maryland.

Room FW11, Computer Laboratory, William Gates Building.

Friday 01 July 2011, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

The Complexity of #CSP

David Richerby, University of Liverpool.

Room FW11, Computer Laboratory, William Gates Building.

Friday 20 May 2011, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Isomorphisms of types in the presence of higher-order references

Pierre Clairambault, University of Bath.

Room FW11, Computer Laboratory, William Gates Building.

Friday 06 May 2011, 14:00-15:00

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

Matthias Mnich, International Computer Science Institute, Berkeley.

Room FW11, Computer Laboratory, William Gates Building.

Friday 08 April 2011, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Bisimulation and Model-Checking for Partial Order Models of Concurrency

Julian Gutierrez, University of Edinburgh.

Room FW11, Computer Laboratory, William Gates Building.

Friday 11 March 2011, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Approximating Labelled Markov Processes by Averaging

Prakash Panangaden, McGill University.

Room FW11, Computer Laboratory, William Gates Building.

Friday 25 February 2011, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Kleisli Arrows of Outrageous Fortune

Conor McBride, University of Strathclyde.

Room FW11, Computer Laboratory, William Gates Building.

Friday 11 February 2011, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Selection functions everywhere

Martín Escardó, University of Birmingham.

Room FW11, Computer Laboratory, William Gates Building.

Friday 28 January 2011, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Modular Reasoning for Deterministic Parallelism

Mike Dodds, University of Cambridge.

Room FW11, Computer Laboratory, William Gates Building.

Friday 21 January 2011, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Automatic reduction of differential semantics for protein-protein interaction networks, by abstract interpretation

Jerome Feret, ENS, Paris.

Room FW11, Computer Laboratory, William Gates Building.

Friday 19 November 2010, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Towards Automatic Resource Consumption Certification

Note unusual time (11am) and room (SS03)

Marco Gaboardi, University of Bologna.

Room SS03, Computer Laboratory, William Gates Building.

Friday 05 November 2010, 11:00-12:00

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)

Peter Boehm, Oxford University.

Room FW11, Computer Laboratory, William Gates Building.

Friday 29 October 2010, 13:00-14:00

Logic and Semantics Seminar (Computer Laboratory)

Characterizations of the Expressive Power of Logics over Trees

Luc Segoufin (INRIA and ENS, Cachan).

Room FW26, Computer Laboratory, William Gates Building.

Thursday 09 September 2010, 15:00-16:00

Mini Courses in Theoretical Computer Science

Mini course on proof theory (Part 3)

Pierre-Louis Curien, pi.r2 team, PPS Laboratory, CNRS, Paris 7, and INRIA.

Computer Laboratory, Room FW11.

Friday 04 June 2010, 10:00-12:15

Mini Courses in Theoretical Computer Science

Mini course on proof theory (Part 2)

Pierre-Louis Curien, pi.r2 team, PPS Laboratory, CNRS, Paris 7, and INRIA.

Computer Laboratory, Room FW11.

Thursday 03 June 2010, 10:00-12:15

Mini Courses in Theoretical Computer Science

Mini course on proof theory (Part 1)

Pierre-Louis Curien, pi.r2 team, PPS Laboratory, CNRS, Paris 7, and INRIA.

Computer Laboratory, Room FW11.

Tuesday 01 June 2010, 10:00-12:15

Logic and Semantics Seminar (Computer Laboratory)

Scalars & probabilities, monads & categories

Bart Jacobs, Radboud University Nijmegen, The Netherlands.

Room FW11, Computer Laboratory, William Gates Building.

Friday 21 May 2010, 14:00-15:00

Category Theory Seminar

The Scott model of Linear Logic is the extensional collapse of its relational model

Thomas Ehrhard, Université Paris Diderot.

MR4, Centre for Mathematical Sciences.

Thursday 20 May 2010, 10:00-11:00

Logic and Semantics Seminar (Computer Laboratory)

Algebraic Theories over Nominal Sets

Alexander Kurz (University of Leicester).

Room FW11, Computer Laboratory, William Gates Building.

Friday 14 May 2010, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

From Separation Logic to Systems Code

Peter O'Hearn - Queen Mary University of London.

Lecture Theatre 1, Computer Laboratory.

Wednesday 28 April 2010, 14:15-15:15

Logic and Semantics Seminar (Computer Laboratory)

Declassification Policy Inference

Jeff Vaughan (Harvard University).

Room FW11, Computer Laboratory, William Gates Building.

Friday 16 April 2010, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Undecidability of propositional separation logic and its neighbours

James Brotherston, Imperial College London.

Room FW26, Computer Laboratory, William Gates Building.

Friday 12 March 2010, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Automatic Analysis of Scratch-pad Memory Code for Heterogeneous Multicore Processors

Alastair Donaldson (University of Oxford).

Room FW11, Computer Laboratory, William Gates Building.

Friday 15 January 2010, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

The Hybrid Systems Jigsaw: Bringing Together Computer Science, Dynamical Systems and Control Engineering.

Eva Navarro López, School of Computer Science, Manchester..

Room FW11, Computer Laboratory, William Gates Building.

Friday 04 December 2009, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

The Microcosm Principle and Coalgebraic Modeling of Component Calculi

Ichiro Hasuo, Kyoto.

Room FW11, Computer Laboratory, William Gates Building.

Friday 27 November 2009, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Serializability Enforcement for Concurrent ML

Suresh Jagannathan - Purdue University, USA.

Lecture Theatre 1, Computer Laboratory.

Wednesday 04 November 2009, 14:15-15:15

Logic and Semantics Seminar (Computer Laboratory)

A Theory of Indirection via Approximation

Aquinas Hobor.

Room FW11, Computer Laboratory, William Gates Building.

Tuesday 27 October 2009, 15:00-16:00

Logic and Semantics Seminar (Computer Laboratory)

NO LOGIC AND SEMANTICS SEMINAR TODAY

FW11 FW26 not available today

Speaker to be confirmed.

FW11 FW26 not available today.

Friday 25 September 2009, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A Canonical Local Representation of Binding

Masahiko Sato (Graduate School of Informatics, Kyoto University).

Room FW11, Computer Laboratory, William Gates Building.

Friday 18 September 2009, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Explicit Stabilisation for Rely-Guarantee reasoning

John Wickerson (University of Cambridge).

Room FW11, Computer Laboratory, William Gates Building.

Friday 05 June 2009, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Inductive-recursive definitions

Anton Setzer (University of Swansea).

Room FW11, Computer Laboratory, William Gates Building.

Friday 29 May 2009, 14:00-15:00

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.

Jaroslav Sevcik (visiting from Edinburgh).

Room FW11, Computer Laboratory, William Gates Building.

Wednesday 27 May 2009, 11:00-12:00

Logic and Semantics Seminar (Computer Laboratory)

Focalisation and Classical Realisability

Guillaume Munch, Paris 7.

Room FW11, Computer Laboratory, William Gates Building.

Friday 08 May 2009, 14:00-15:00

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.

Venanzio Capretta (University of Nottingham).

Room FW11, Computer Laboratory, William Gates Building.

Friday 24 April 2009, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Structurally Recursive Descent Parsing

Nils Anders Danielsson (University of Nottingham).

Room FW11, Computer Laboratory, William Gates Building.

Friday 20 March 2009, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Deciding Boolean BI (via Display Logic)

James Brotherston, Imperial College London.

Room FW11, Computer Laboratory, William Gates Building.

Friday 06 March 2009, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A game for a neutral approach to provability in MALL

Olivier Delande, Laboratoire d'Informatique (LIX), Ecole Polytechnique.

Room FW11, Computer Laboratory, William Gates Building.

Friday 20 February 2009, 14:30-15:30

Logic and Semantics Seminar (Computer Laboratory)

Equideductive logic and CCCs with subspaces

NOTE UNUSUAL DAY.

Paul Taylor.

Room FW11, Computer Laboratory, William Gates Building.

Thursday 05 February 2009, 14:00-15:00

Mini Courses in Theoretical Computer Science

Call-by-push-value (part 2)

This is the second part of a two-part series

Paul Levy, University of Birmingham (visiting Cambridge until March 15).

Room FW26, Computer Laboratory, William Gates Building.

Wednesday 04 February 2009, 16:15-17:00

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.

Paul Levy, University of Birmingham (visiting Cambridge until March 15).

Room FW26, Computer Laboratory, William Gates Building.

Tuesday 03 February 2009, 16:15-17:00

Logic and Semantics Seminar (Computer Laboratory)

Nondeterminism: many questions and (maybe) some answers

Paul Levy, University of Birmingham (visiting Cambridge until March 15).

Room FW11, Computer Laboratory, William Gates Building.

Friday 30 January 2009, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Dynamics, robustness and fragility of trust

NOTE THE UNUSUAL TIME

Dusko Pavlovic.

Room FW11, Computer Laboratory, William Gates Building.

Friday 28 November 2008, 14:45-15:45

Logic and Semantics Seminar (Computer Laboratory)

Polynomial functors

Nicola Gambino.

Room FW11, Computer Laboratory, William Gates Building.

Friday 21 November 2008, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types

Lars Birkedal, ITU Denmark.

Room FW11, Computer Laboratory, William Gates Building.

Thursday 06 November 2008, 15:30-16:30

Logic and Semantics Seminar (Computer Laboratory)

NO LOGIC AND SEMANTICS SEMINAR TODAY

.

Venue to be confirmed.

Friday 17 October 2008, 14:00-15:00

Wednesday Seminars - Department of Computer Science and Technology

Practical Dynamic Software Updating for C

Michael Hicks - University of Maryland.

Lecture Theatre 1, Computer Laboratory.

Wednesday 15 October 2008, 14:15-15:15

Logic and Semantics Seminar (Computer Laboratory)

Classical BI (A Logic for Reasoning About Dualising Resource)

James Brotherston, Imperial College.

Room FW11, Computer Laboratory, William Gates Building.

Friday 10 October 2008, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Nominal terms and one-and-a-half level Curry-Howard

Jamie Gabbay.

Room FW26, Computer Laboratory, William Gates Building.

Friday 26 September 2008, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

The interpretation of intuitionistic type theory in locally cartesian closed categories: an intuitionistic approach

Peter Dybjer.

Room FW11, Computer Laboratory, William Gates Building.

Friday 27 June 2008, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Event structure semantics of the pi-calculus

Daniele Varacca, Paris 7.

Room FW11, Computer Laboratory, William Gates Building.

Friday 06 June 2008, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Extensional rewriting with sums

Sam Lindley, University of Edinburgh.

Room FW11, Computer Laboratory, William Gates Building.

Friday 16 May 2008, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Eriskay: a programming language based on game semantics.

John Longley, University of Edinburgh.

Room FW11, Computer Laboratory, William Gates Building.

Friday 09 May 2008, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Verification Based on Algebra and Automated Deduction

Georg Struth, Sheffield University.

Room FW11, Computer Laboratory, William Gates Building.

Friday 02 May 2008, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A language extension for provably safe exception handling

Bart Jacobs (Katholieke Universiteit Leuven).

Room FW11, Computer Laboratory, William Gates Building.

Friday 18 April 2008, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Keep Off The Grass: Locking the Right Path for Atomicity

David Cunningham (Imperial College).

Room FW11, Computer Laboratory, William Gates Building.

Friday 07 March 2008, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

On Scalable Shape Analysis

Hongseok Yang (Queen Mary, University of London).

Room FW11, Computer Laboratory, William Gates Building.

Friday 18 January 2008, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A completeness proof for bisimulation in the pi-calculus using Isabelle

Note the unusual day.

Jesper Bengtson, Uppsala University.

Room FW11, Computer Laboratory, William Gates Building.

Thursday 17 January 2008, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Logics for Coalgebras

Alexander Kurz, University of Leicester.

Room FW11, Computer Laboratory, William Gates Building.

Friday 30 November 2007, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Category Theory and the Philosophy of Language

Graham White (Queen Mary).

Room FW11, Computer Laboratory, William Gates Building.

Friday 23 November 2007, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Separation Logic Semantics for Communicating Processes

Peter O'Hearn, Queen Mary, University of London.

FW11.

Friday 09 November 2007, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Pointer Safety and Graph Grammars

Mike Dodds (York).

Room FW26, Computer Laboratory, William Gates Building.

Tuesday 06 November 2007, 14:30-15:30

Logic and Semantics Seminar (Computer Laboratory)

Model theoretic tools for deciding boundedness of fixed points

Martin Otto, Darmstadt.

Room FW11, Computer Laboratory, William Gates Building.

Friday 02 November 2007, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Logical Reasoning for Higher-Order Functions with Local State

Nobuko Yoshida (Imperial College).

Room FW11, Computer Laboratory, William Gates Building.

Friday 26 October 2007, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

The Java Memory Model - the Good, the Bad and the Ugly

Jaroslav Sevcik.

FW11.

Friday 13 July 2007, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A unified model of class invariant verification frameworks

Sophia Drossopoulou (Imperial College).

FW11.

Friday 06 July 2007, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Cyclic Proofs of Program Termination in Separation Logic

James Brotherston, Imperial College.

FW11.

Friday 15 June 2007, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Valiant's theory

Guillaume Malod (University of Mons-Hainaut, Belgium).

FW11.

Friday 08 June 2007, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

An Executable Model of the JVM in Coq

Robert Atkey, LFCS, Edinburgh.

FW11.

Friday 18 May 2007, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Infinite-State System Verification via Tree Automata

Wolfgang Thomas, RWTH Aachen.

FW11.

Friday 11 May 2007, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

When While is a Security Risk

Pasquale Malacaria, Queen Mary, University of London.

FW11.

Friday 23 March 2007, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Relational parametricity for computational effects.

Rasmus Møgelberg, Edinburgh.

FW11.

Friday 16 March 2007, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Stone duality for bitopological spaces

Achim Jung, University of Birmingham.

FW11.

Friday 09 March 2007, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Verification Across Intellectual Property Boundaries

Helmut Veith, Technische Universität München.

FW11.

Friday 02 March 2007, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A Logic of Reachable Patterns in Linked Data-Structures

Greta Yorsh (Tel Aviv University).

FW11.

Friday 23 February 2007, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Verifying Object-Invariants in Spec#

Wolfram Schulte (Microsoft Research Redmond).

FW11.

Friday 09 February 2007, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Fine-grained concurrency with separation logic

(joint work with Kalpesh Kapoor and Kamal Lodaya)

Uday Reddy, University of Birmingham.

FW11.

Friday 01 December 2006, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A logical approach to data provenance.

James Cheney, Informatics, University of Edinburgh.

FW11.

Friday 17 November 2006, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Bialgebras and modal logic

Bartek Klin, University of Edinburgh.

FW11.

Friday 10 November 2006, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Reasoning about Code Pointers (Separation Logic for Higher-Order Store)

Bernhard Reus, University of Sussex.

FW11.

Friday 03 November 2006, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

A structural proof of the soundness of rely/guarantee rules

Cliff Jones, Newcastle University.

FW11.

Friday 27 October 2006, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Logical equivalence for subtyping object and recursive types.

Steffen van Bakel.

FW11.

Friday 13 October 2006, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Collection and Contra-collection in Mathematics

Paulo Oliva, Queen Mary, University of London.

FW11.

Friday 06 October 2006, 14:00-15:00