Seminars

The Theory Group research seminars are scheduled usually on Wednesday mornings, and are followed by lunch. Here is some info on how to get here, and our archive of previous seminars and activities. If you are interested in giving a seminar or being added to our mailing list, please contact the seminar organiser Nikos Tzevelekos in the first instance.

When Where What
19 Apr 2017
11:00
QMUL
ITL: top floor
Sophia Knight (Uppsala University)
Knowledge and distributed knowledge in a process calculus
06 Apr 2017
11:00
QMUL
ITL: top floor
Nathanaël Fijalkow (Alan Turing Institute of Data Science)
Equivalence of Markov Processes
23 Mar 2017
11:00
QMUL
ITL: top floor
Heidy Khlaaf (UCL)
Towards Verifying Increasingly Expressive Temporal Logics for Infinite-State Systems
09 Mar 2017
11:00
QMUL
ITL: top floor
Kelly Androutsopoulos (Middlesex)
Slicing Extended Finite State Machines
02 Mar 2017
11:00
QMUL
ITL: top floor
Michael Tautschnig (QMUL)
The C Bounded Model Checker (and how to succeed at SV-COMP)
22 Feb 2017
15:00
QMUL
ITL: top floor
Golnaz Badkobeh (Warwick)
Bounds on two LZ78-style Grammars
16 Feb 2017
11:00
QMUL
ITL: top floor
Laura Bocchi (Kent)
Behavioural type-checking of time-sensitive protocols
09 Feb 2017
11:00
QMUL
ITL: top floor
Eva Kalyvianaki (City)
THEMIS: Fairness in Federated Stream Processing under Overload
02 Feb 2017
11:00
QMUL
ITL: top floor
Dulma Churchill (Facebook)
Infer: Static Analysis at Facebook
26 Jan 2017
11:00
QMUL
ITL: top floor
Benedikt Bollig (CNRS)
One-Counter Automata with Counter Observability
19 Jan 2017
11:30
QMUL
ITL: top floor
Valentin Blot (QMUL)
Hybrid realizability for intuitionistic and classical choice
12 Jan 2017
11:30
QMUL
ITL: top floor
Maria Christakis (Kent)
Guiding program analyzers toward unsafe executions
14 Dec 2016
11:30
QMUL
ITL: top floor
Julian Dolby (IBM)
Analysis of Android hybrid applications and other fun with WALA
07 Dec 2016
11:30
QMUL
ITL: top floor
Kwang Yi (Seoul)
Globally Analyzing Million Lines of C, a General Sparse Global Analysis Framework
01 Dec 2016
11:30
QMUL
ITL: top floor
Guilhem Jaber (Paris)
Extending Dependent Type Theory with Forcing
23 Nov 2016
11:30
QMUL
ITL: top floor
Mark Batty (Kent)
Compositional Verification of Relaxed-Memory Program Transformations
16 Nov 2016
11:30
QMUL
ITL: top floor
Klaus Draeger (Westminster)
Termination of equality-constrained linear loops
09 Nov 2016
11:30
QMUL
ITL: top floor
Pasquale Malacaria (QMUL)
Cybersecurity research at QMUL
02 Nov 2016
11:30
QMUL
ITL: top floor
Morteza Lahijanian (Oxford)
Bestowing Robot Autonomy through Formal Methods: Automatic Control Generation from Task-Level Specifications in Uncertain Settings
20 Oct 2016
11:30
QMUL
ITL: top floor
Varun Kanade (Oxford)
Distance in the Forest Fire Model — How far are you from Eve?
12 Oct 2016
11:30
QMUL
ITL: top floor
Neel Krishnaswami (Cambridge)
Making Reactive Programs Function
05 Oct 2016
11:30
QMUL
ITL: top floor
Christoph Haase (Oxford)
Computing Quantiles in Markov Chains with Multi-Dimensional Integer Costs
29 Sep 2016
12:30
QMUL
ITL: top floor
Matěj Dostál (Prague)
Expressivity of many-valued coalgebraic logics
22 Jun 2016
11:30
QMUL
ITL: top floor
Terry Rudolph (Imperial)
Quantum Coins – a provable advantage for quantum randomness processing
15 Jun 2016
11:30
QMUL
ITL: top floor
Can Baskent (Bath)
Paraconsistent Dynamic Epistemic Logic
01 Jun 2016
15:00
QMUL
Maths Lec Theatre
We go to Dana Scott’s Distinguished Seminar!
25 May 2016
11:30
QMUL
ITL: top floor
Stefan Kiefer (Oxford)
Distinguishing Hidden Markov Chains
18 May 2016
11:30
QMUL
ITL: top floor
Pierre Clairambault (Lyon)
Concurrent Hyland-Ong Games
11 May 2016
11:30
QMUL
ITL: top floor
Radu Grigore (Kent)
Abstraction Refinement Guided by a Learnt Probabilistic Model
04 May 2016
11:30
QMUL
ITL: top floor
Herbert Wiklicky (Imperial)
A Framework for Quantitative Program Synthesis (slides)
20 Apr 2016
11:30
QMUL
ITL: top floor
Vincent Penelle (Paris-Est Marne-la-Vallée)
Rewriting Higher-Order Stack Trees
30 Mar 2016
11:30
QMUL
ITL: top floor
Thomas Dinsdale-Young (Aarhus)
Caper: Automatic Verification with Concurrent Abstract Predicates
23 Mar 2016
11:30
QMUL
ITL: top floor
Paul Levy (Birmingham)
Final coalgebras from corecursive algebras
09 Mar 2016
11:30
QMUL
ITL: top floor
Patrick Totzke (Warwick)
The Reachability Problem for Two-Dimensional Vector Addition Systems with States
02 Mar 2016
11:30
QMUL
ITL: top floor
Andrei Popescu (Middlesex)
The CoCon Experiment
24 Feb 2016
11:30
QMUL
ITL: top floor
Stanislav Kikot (Birkbeck)
Query Answering via Modal Definability
17 Feb 2016
11:30
QMUL
ITL: top floor
Alessandro Abate (Oxford)
Formal verification of complex dynamical systems
11 Feb 2016
11:30
QMUL
ITL: top floor
Shahn Majid (QMUL)
03 Feb 2016
11:30
QMUL
ITL: top floor
Justyna Petke (UCL)
Bridging Constraint Satisfaction and Boolean Satisfiability
27 Jan 2016
11:30
QMUL
ITL: top floor
Carsten Fuhs (Birkbeck)
Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic
09 Dec 2015
11:00
QMUL
ITL: top floor
Ilya Sergey (UCL)
Programming and Proving with Concurrent Resources
02 Dec 2015
11:00
QMUL
ITL: top floor
Karin Quaas (Leipzig)
The language inclusion problem for timed automata with counters
25 Nov 2015
11:00
QMUL
ITL: top floor
Daniela Petrisan (Paris 7)
Coinduction up-to techniques
11 Nov 2015
11:00
QMUL
ITL: top floor
James Worrell (Oxford)
Reachability Problems for Continuous Linear Dynamical Systems
06 Nov 2015
11:00
QMUL
ITL: top floor
Alexandra Silva (UCL)
NetKAT: A Formal System for The Verification of Networks
28 Oct 2015
11:00
QMUL
ITL: top floor
Kasper Svendsen (Cambridge)
Towards modular reasoning for concurrent higher-order imperative code
21 Oct 2015
11:00
QMUL
ITL: top floor
Sanjaye Ramgoolam (QMUL)
Quantum Fields, Quivers and Word Combinatorics
01 Oct 2015
11:00
QMUL
ITL: top floor
Paulo Oliva (QMUL)
Magically efficient backtracking, and how to revolutionise Game Theory
11 Sep 2015
11:00
QMUL
ITL: top floor
Robert Lubarsky (Florida Atlantic University)
Topological Models of Constructive Mathematics
17 Jun 2015
11:00
QMUL
ITL: top floor
Martin Brain (Oxford)
Stronger, Better, Faster: Optimally Propagating SAT Encodings
08 Jun 2015
11:00
QMUL
ITL: top floor
Piotr Mardziel (Maryland)
Models and Games for Quantifying Vulnerability of Secret Information
03 Jun 2015
11:00
QMUL
ITL: top floor
Dimitris Kartsaklis (QMUL)
Open System Categorical Quantum Semantics in Natural Language Processing
27 May 2015
11:00
QMUL
ITL: top floor
Nikos Gorogiannis (Middlesex)
Disproving Inductive Entailments in Separation Logic via Base Pair Approximation
20 May 2015
11:00
QMUL
ITL: top floor
Glyn Morrill (UPC Barcelona)
Categorial Linguistics
13 May 2015
11:00
QMUL
ITL: top floor
Peter Hines (York)
How Complex is Category Theory?
07 May 2015
12:00
QMUL
B.R.:4.01
Alberto Griggio (Fondazione Bruno Kessler)
Efficient SAT-based techniques for parameter synthesis and optimization
06 May 2015
10:30
QMUL
ITL: top floor
Arman Khouzani (QMUL)
Picking vs Guessing Secrets: A Game-Theoretic Analysis
29 Apr 2015
11:00
QMUL
ITL: top floor
Sylvain Schmitz (ENS Cachan & Warwick)
Complexity in propositional substructural logics and counter systems
11 Mar 2015
11:00
QMUL
ITL: top floor
David Clark (UCL)
Detecting Malware with Information Complexity
04 Mar 2015
11:00
QMUL
ITL: top floor
Andrey Rybalchenko (MSR Cambridge)
Horn constraints and quantifiers for verification and synthesis
25 Feb 2015
11:00
QMUL
ITL: top floor
Alastair Donaldson (Imperial)
GPUVerify: an Approach to Automated Verification of GPU Kernels
12 Feb 2015
11:00
QMUL
ITL: top floor
Jaime Gaspar (INRIA)
Standardness via non-standardness
04 Feb 2015
11:00
QMUL
ITL: top floor
Robin Houston (KILN)
How hard is it to tell when two proofs are equivalent in MLL?
29 Jan 2015
11:00
QMUL
Eng: 216
Dan Ghica (Birmingham)
Dynamic name creation and destruction
14 Jan 2015
11:00
QMUL
ITL: top floor
Kohei Kishida (Oxford)
Cohomology of Contextuality and Logical Paradoxes
10 Dec 2014
11:00
QMUL
ITL: top floor
Joint Queen Mary/Imperial Seminar
Julien Lange (Imperial)
From communicating machines to graphical choreographies
3 Dec 2014
11:00
QMUL
ITL: top floor
Aleksandra Kiślak-Malinowska (Olsztyn)
Formal and Natural Languages in Terms of Pregroup Grammars
26 Nov 2014
11:00
QMUL
ITL: top floor
Alessio Lomuscio (Imperial College)
Symbolic model checking for multi-agent systems
19 Nov 2014
11:10
QMUL
ITL: top floor
Julian Gutierrez (Oxford)
Temporal Boolean Games
12 Nov 2014
11:00
QMUL
ITL: top floor
Luke Ong (Oxford)
Innocent Strategies are Sheaves over Plays – Deterministic, Non-deterministic and Probabilistic Innocence
05 Nov 2014
11:00
QMUL
ITL: top floor
Aleks Kissinger (Oxford)
New reasoning techniques for monoidal algebra
29 Oct 2014 We go to: LMS Computer Science day
22 Oct 2014
11:00
QMUL
ITL: top floor
Luca Viganò (King’s College)
Defining Privacy is Supposed to be Easy
15 Oct 2014
11:00
QMUL
ITL: top floor
Guilhem Jaber (QMUL)
Proving Equivalence of Programs in a Higher-Order Language with References
08 Oct 2014
11:00
QMUL
ITL: top floor
Radu Grigore (Oxford)
On abstraction refinement for program analyses in Datalog
01 Oct 2014
11:00
QMUL
ITL: top floor
Caterina Urban (ENS Paris)
Automatic Inference of Ranking Functions by Abstract Interpretation
25 Sep 2014
11:00
QMUL
ITL: top floor
Klaus Draeger (QMUL)
Property-Directed k-Reachability
17 Sep 2014
11:00
QMUL
ITL: top floor
Richard Evans (Little Text People)
Cathoristic Logic: A Modal Logic of Incompatible Propositions
10 Sep 2014
11:00
QMUL
ITL: top floor
Grant Olney Passmore (Cambridge)
Exact Global Optimization on Demand
10 July 2014
11:00
QMUL
ITL: top floor
Larry Moss (Indiana University)
Calculi of Monotonicity and Polarity
25 June 2014
11:00
QMUL
ITL: top floor
Sune K. Jakobsen (QMUL)
Information Theoretical Cryptogenography
22 May 2014
11:00
QMUL
ITL: top floor
Dimitrios Vytiniotis (MSR Cambridge)
Blink: wireless programming for hardware dummies
15-16 May 2014 QMUL
CS 302
Algebra and Coalgebra meet Proof Theory
Workshop organised by Paulo Oliva and Mehrnoosh Sadrzadeh
07 May 2014
11:00
QMUL
ITL: top floor
Andy Lewis-Pye (LSE)
Digital morphogenesis via Schelling segregation
30 April 2014
11:00
QMUL
ITL: top floor
Jael Kriener (MSR-INRIA)
Proofs in TLA+: Theory and Practice
23 April 2014
11:00
QMUL
ITL: top floor
Cas Cremers (Oxford)
Actor Key Compromise: Consequences and Countermeasures
02 Apr 2014
11:00
QMUL
ITL: top floor
Jamie Vicary (Oxford)
A Geometric Logic for Classical and Quantum Computation
12 Mar 2014
11:00
QMUL
ITL: top floor
Uday Reddy (Birmingham)
Logical Relations and Parametricity: A Reynolds Programme for Category Theory and Programming Languages
05 Mar 2014
11:00
QMUL
ITL: top floor
Takeshi Tsukada (Oxford)
Complexity of Model-Checking Call-by-Value Programs
26 Feb 2014
11:00
QMUL
ITL: top floor
Ondrej Rypacek (Oxford)
Logic in natural languages, a categorical perspective
19 Feb 2014
11:00
QMUL
ITL: top floor
Mauro Conti (Padova)
Future Internet Security and Privacy (challenges)
12 Feb 2014
11:00
QMUL
ITL: top floor
Mohan Ganesalingam (Cambridge)
Analysing Human Proof Processes
5 Feb 2014
11:00
QMUL
ITL: top floor
Steven Ramsay (Warwick)
Decidability of extensions of recursion schemes via intersection types
29 Jan 2014
11:30
QMUL
ITL: top floor
Pawel Sobocinski (Southampton)
Combining algebra and coalgebra with PROPs
22 Jan 2014
11:00
QMUL
ITL: top floor
Jules Hedges (QMUL)
Games with bidding
15 Jan 2014
11:00
QMUL
ITL: top floor
Greta Yorsh (QMUL)
Abstraction-Guided Synthesis of Synchronization
8 Jan 2014
11:00
QMUL
ITL: top floor
Chris Heunen (Oxford)
The many classical faces of quantum logic
11 Dec 2013
11:00
QMUL
CS:414
Sylvain Schmitz (ENS Cachan)
Complexity Hierarchies Beyond Elementary
05 Dec 2013
11:00
QMUL
CS:414
Kostis Sagonas (Uppsala/ NTU Athens)
Finding Concurrency Errors Using Stateless Model Checking
Powered by Optimal Dynamic Partial Order Reduction
27 Nov 2013
11:00
QMUL
CS:414
William Blacoe (Edinburgh)
Composition in a Syntactico-Semantic Tensor Space
20 Nov 2013
11:00
QMUL
CS:414
Hana Chockler (King’s College)
How do we know that our system is correct?
13 Nov 2013
11:30
QMUL
CS:414
Michael Vanden Boom (Oxford)
Deciding weak definability for Büchi definable tree languages
06 Nov 2013
11:45
QMUL
CS:414
Ranko Lazic (Warwick)
Zeno, Hercules and the Hydra
30 Oct 2013
11:00
QMUL
CS:414
John Harrison (Intel)
Combination and certification of proof tools
23 Oct 2013
11:00
QMUL
CS:414
Cristian Cadar (Imperial)
Symbolic Execution for Evolving Software
16 Oct 2013
11:00
QMUL
CS:414
Johannes Kinder (Royal Holloway)
Automated Program Analysis for Trustworthy Software
03 Oct 2013
11:00 (Thu!)
QMUL
CS:414
Christian Urban (King’s College)
A Formalisation of the Myhill-Nerode Theorem using Regular Expressions only
25 Sep 2013
11:00
QMUL
CS:414
Ross Duncan (ULB Brussels)
The ZX-calculus and its fragments
18 Sep 2013
11:00
QMUL
CS:414
Tom Chothia (Birmingham)
Probabilistic Point-to-Point Information Leakage
19 Jun 2013
11:00
QMUL
CS:414
Martin Churchill (Swansea)
Modular Semantics for Open Transition Rules with Negative Premises
12 Jun 2013
11:00
QMUL
CS:414
Joost-Pieter Katoen (Aachen)
Analysing Probabilistic Programs: Pushing the Limits of Automation (slides)
5 Jun 2013
11:00
QMUL
CS:414
Andrzej Murawski (Warwick)
Böhm Trees as Higher-Order Recursive Schemes
22 May 2013
11:00
QMUL
CS:414
Lorenzo Cavallaro (Royal Holloway)
CopperDroid: On Reconstructing Android Malware Behaviors
15 May 2013
11:00
QMUL
CS:414
Michael Benedikt (Oxford)
Making First-Order Model Theory Effective
27 Mar 2013
11:00
QMUL
CS:414
Andrew Pitts (Cambridge)
Nominal Scott Domains
13 Mar 2013
11:00
QMUL
CS:414
Gennaro Parlato (Southampton)
The Tree-Width of Decidable Problems
6 Mar 2013
11:00
QMUL
CS:414
Søren Riis (QMUL)
New ideas in Information theory
27 Feb 2013
11:00
QMUL
CS:414
Christina Jansen (RWTH Aachen)
Juggrnaut: A Graph-Based Approach to Heap Abstraction
21 Feb 2013
12:00
QMUL
CS:414
Alexandru Mereacre (Oxford)
A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers
20 Feb 2013
11:00
QMUL
CS:414
Anne Preller (LIRMM Montpellier)
Functional Semantics versus Conceptual Semantics
13 Feb 2013
11:00
QMUL
CS:414
Michael Tautschnig (QMUL)
Software Analysis for Weak Memory Models
6 Feb 2013
11:00
QMUL
CS:414
Eric Koskinen (New York University)
Specialization for Synchronization
30 Jan 2013
11:00
QMUL
CS:414
Max Kanovich (QMUL)
Finding optimal solutions to the abduction problem in separation logic
23 Jan 2013
11:30
QMUL
CS:414
Samson Abramsky (Oxford)
Coalgebraic Treatment of Subgame-perfect Equilibria in Infinite Games without Discounting
16 Jan 2013
11:30
QMUL
CS:414
Hongseok Yang (Oxford)
Understanding Eventual Consistency
5 Dec 2012
11:00
QMUL
CS:414
Robin Neatherway (Oxford)
A Traversal Based Algorithm for Higher−Order Model Checking
28 Nov 2012
11:00
QMUL
CS:414
Fabrizio Biondi (ITU Copenhagen)
Quantifying Information Leakage of Randomized Protocols
21 Nov 2012
11:00
QMUL
CS:414
Joint Queen Mary/Imperial Seminar
Steffen van Bakel (Imperial)
The language X: term rewriting, continuations and classical types, and the impossibility of filter semantics
14 Nov 2012
11:00
QMUL
CS:414
Mehrnoosh Sadrzadeh (Oxford)
Compact Closed Categories and Frobenius Algebras for Computing Natural Language Meaning
7 Nov 2012
11:00
QMUL
CS:414
Arno Pauly (Cambridge)
The category of multivalued functions, with an application to many-one reductions
31 Oct 2012
11:00
QMUL
Maths:1.03
Quoc-Sang Phan (QMUL)
Symbolic Quantitative Information Flow
24 Oct 2012
11:00
QMUL
CS:414
Joint Queen Mary/Imperial Seminar
Steffen van Bakel (Imperial)
Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming
17 Oct 2012
11:00
QMUL
CS:414
Pierre Clairambault (Cambridge)
Isomorphisms of types in the presence of higher-order references
3 Oct 2012
11:00
QMUL
CS:414
Luca Fossati (QMUL)
Intensional and Extensional Characterisation of Global Progress in the Pi-Calculus
26 Sep 2012
11:00
QMUL
Maths:1.03
Fabrizio Montesi (ITU Copenhagen)
Deadlock-freedom-by-design: Multiparty Asynchronous Global Programming
20 Sep 2012
11:00-17:45
QMUL
BR:3.01
17th Wessex Theory Seminar
Schedule and other info
11 Sep 2012
11:00
QMUL
BR:3.01
(CS:337)
Joint Queen Mary/Imperial Seminar
Jean-Marie Madiot (Lyon/Bologna)
Duality in pi-calculus
1 Aug 2012
11:00
QMUL
CS:414
Matthew Hague (Paris-Est)
Model-checking Higher-Order Programs via Saturation and Collapse
25 Jul 2012
11:00
QMUL
CS:414
Dino Distefano (QMUL)
A Voyage to the Deep-Heap
27 Jun 2012
11:00
QMUL
CS:414
Joint Queen Mary/Imperial Seminar
Daniele Gorla (University of Rome “La Sapienza”)
On the notion of good encoding
20 June 2012
11:00
QMUL
CS:414
Philippe Schnoebelen (ENS Cachan)
Ackermann-Hardness for Lossy Counter Machines and Reset Petri Nets (slides)
13 June 2012
11:00
QMUL
CS:414
Pasquale Malacaria (QMUL)
The Thermodynamics of Confidentiality
31 May 2012
11:00
QMUL
CS:414
Paulo Oliva (QMUL)
Games and Logic
24 May 2012
11:00
QMUL
Maths:1.03
Jade Alglave (QMUL)
A Weak Memory Model Appetizer
16 May 2012
11:00
QMUL
CS:414
Paolo Masci (QMUL)
Using automated reasoning tools to study compliance of device interface behaviour to interaction design principles
9 May 2012
11:00
QMUL
Maths:1.03
Juan Antonio Navarro Pérez (QMUL)
Separation Logic + Superposition Calculus = Heap Theorem Prover
2 May 2012
11:00
QMUL
Maths:1.03
Romain Demangeon (QMUL)
Expressiveness of subtyped pi-calculus
25 Apr 2012
11:00
QMUL
Maths:1.03
Nikos Tzevelekos (QMUL)
Games with names
4 Apr 2012
15:00
QMUL
BR4.02 (CS446)
Boris Köpf (IMDEA)
Quantifying Side-Channels in RSA and AES
28 Mar 2012
11:00
QMUL
Maths:1.03
James Brotherston (QMUL)
Craig Interpolation in Displayable Logics
20 Mar 2012
11:00
QMUL
Eng203
Vijay D’Silva (UC Berkeley)
Satisfiability Solvers are Static Analysers
or: How I learned to stop bit-blasting and love abstract interpretation
11 Jan 2012
15:00
QMUL
BR4.02
Kenny Paterson (Royal Holloway)
TLS security – where do we stand?