When 
Where 
What 
30 Apr 2019
13:00 
QMUL
ITL: 1st floor 
Roger Hindley (Swansea)

12 Mar 2019
13:00 
QMUL
ITL: 1st floor 
Vanessa Volz (QMUL)

19 Feb 2019
13:00 
QMUL
ITL: 1st floor 
Mirna Dzamonja (UEA)
Strong logics explaining mathematical phenomena 
12 Feb 2019
13:00 
QMUL
ITL: 1st floor 
James Brotherston (UCL)
An Introduction to Cyclic Proofs 
5 Feb 2019
13:00 
QMUL
ITL: 1st floor 
Ekaterina Komendantskaya (HeriotWatt)
ProofCarrying Plans 
29 Jan 2019
13:00 
QMUL
ITL: 1st floor 
Brijesh Dongol (Surrey)
Causal Atomicity: Generalising Concurrent Correctness to Weak Memory 
22 Jan 2019
13:00 
QMUL
ITL: 1st floor 
Robin Hirsch (UCL)
Undecidability of algebras of relations 
11 Jan 2019
13:00 
QMUL
ITL: 1st floor 
Agnieszka Kulacka (Birkbeck)
A Tableau Calculus for BL 
27 Nov 2018
13:00 
QMUL
ITL: 1st floor 
Giovanni Cherubin (RHUL)
Measuring the leakage of a blackbox using Machine Learning 
20 Nov 2018
13:00 
QMUL
ITL: 1st floor 
Agi Kurucz (King’s College)
Strictly positive implications: completeness, decision and definability problems 
13 Nov 2018
13:00 
QMUL
ITL: 1st floor 
Joanna Ochremiak (Cambridge)
SumofSquares, Counting Logics and Graph Isomorphism 
6 Nov 2018
13:00 
QMUL
ITL: 1st floor 
Genaro López Acedo (Sevilla)
A Discrete PursuitEvasion Game 
30 Oct 2018
13:00 
QMUL
ITL: 1st floor 
Andy LewisPye (LSE)
Incomputability and Randomness 
2 Oct 2018
13:00 
QMUL
ITL: 1st floor 
Alessandra Di Pierro (Verona)
Learning Distances with Topological Quantum Computation 
25 Sep 2018
13:00 
QMUL
ITL: 1st floor 
Sara Uckelman (Durham)
The Logic of Where and While in the 13th and 14th (and 21st) Centuries 
18 Sep 2018
13:00 
QMUL
ITL: 1st floor 
Reinhard Muskens (Tilburg)
Calculi for 16valued Trilattice Logics 
14 Aug 2018
12:00 
QMUL
BR 3.02 
Hila Peleg (Technion)
Programming Not Only By Example 
31 Jul 2018
12:00 
QMUL
ENG 324 
Alexandra Weber (TU Darmstadt)
Program Analysis against Side Channels 
24 Jul 2018
12:00 
QMUL
ENG 324 
Reuben Rowe (Kent)
Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent 
03 Jul 2018
12:00 
QMUL
ENG 324 
Steve Vickers (Birmingham)
What is a pointfree space? Or a pointfree bundle? 
25 Jun 2018
13:00 
QMUL
ENG 324 
Steven Ramsay (Bristol)
HigherOrder Constrained Horn Clauses and Automated Program Verification 
19 Jun 2018
10:45 
QMUL
ENG 324 
Thomas Forster (Cambridge) and M. Randall Holmes (Boise State)
Constructive NF
Symmetry as a criterion for sethood, motivating Quine’s set theory NF 
13 Jun 2018
13:00 
QMUL
ENG 324 
Martin Escardo (Birmingham)
Univalent logic and Voevodsky’s univalence axiom 
05 Jun 2018
13:00 
QMUL
ITL: top floor 
David Pym (UCL)
Resource semantics: substructural logic as a modelling technology 
29 May 2018
13:00 
QMUL
ITL: top floor 
Tamara von Glehn (Cambridge)
Polynomial models of type theory 
23 May 2018
14:30 
QMUL
B.R.:3.01 
Prakash Panangaden (McGill)
Quantitative equational reasoning (Theory seminar special) 
15 May 2018
11:00 
QMUL
ITL: top floor 
Ethan Liu (QMUL)

8 May 2018
13:00 
QMUL
ITL: top floor 
Hugo Férée (Kent)
Game semantics approach to higherorder complexity 
24 Apr 2018
13:00 
QMUL
ITL: top floor 
Andrew LewisSmith (QMUL)
Kripke semantics for BL and GBL 
29 Mar 2018
13:00 
QMUL
ITL: top floor 
Thomas Cuvillier (QMUL)
Concrete fully complete models of Linear Logic 
22 Mar 2018
13:00 
QMUL
ITL: top floor 
Makoto Fujiwara (Waseda Institute for Advanced Study)
Interrelation between the fragments of logical principles in arithmetic 
20 Feb 2018
13:00 
QMUL
ITL: top floor 
George Theodorakopoulos (Cardiff)
Privacy for location histograms: How to look like a tourist in your hometown 
13 Feb 2018
13:00 
QMUL
ITL: top floor 
Paul Brunet (UCL)
Pomset languages and concurrent Kleene algebras 
30 Jan 2018
13:00 
QMUL
ITL: top floor 
Wilfrid Hodges
12th century Arabic logic diagrams: practice and theory 
23 Jan 2018
13:00 
QMUL
ITL: top floor 
Julian Nagele (QMUL)
Automated Confluence Analysis of Rewriting 
16 Jan 2018
13:00 
QMUL
ITL: top floor 
Simon Castellan (Imperial)
From event structures theory to weak memory models 
12 Dec 2017
13:00 
QMUL
ITL: top floor 
David Makinson (LSE)
The relevance logic program: failed or just stalled? 
5 Dec 2017
13:00 
QMUL
ITL: top floor 
Igor Oliveira (Oxford)
Pseudodeterministic constructions in subexponential time 
21 Nov 2017
13:00 
QMUL
ITL: top floor 
Laurence Tratt (King’s College)
Why aren’t more users happy with our VMs? 
31 Oct 2017
13:00 
QMUL
ITL: top floor 
Emanuele D’Osualdo (Imperial)
Taming Unboundedness in Concurrent Program Analysis 
25 Oct 2017
15:00 
QMUL
CS: 3rd floor 
EECS Distinguished Seminar
Nobuko Yoshida and Raymond Hu (Imperial)
Session Types as a Descriptive Tool for Distributed Protocols 
05 Jul 2017
11:00 
QMUL
CS: 4th floor 
Gijs Wijnholds (QMUL)
Coherent Diagrammatic Reasoning in Compositional Distributional Semantics 
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 InfiniteState 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 SVCOMP) 
22 Feb 2017
15:00 
QMUL
ITL: top floor 
Golnaz Badkobeh (Warwick)
Bounds on two LZ78style Grammars 
16 Feb 2017
11:00 
QMUL
ITL: top floor 
Laura Bocchi (Kent)
Behavioural typechecking of timesensitive 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)
OneCounter 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 RelaxedMemory Program Transformations 
16 Nov 2016
11:30 
QMUL
ITL: top floor 
Klaus Draeger (Westminster)
Termination of equalityconstrained 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 TaskLevel 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 MultiDimensional Integer Costs 
29 Sep 2016
12:30 
QMUL
ITL: top floor 
Matěj Dostál (Prague)
Expressivity of manyvalued 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 HylandOng 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 (ParisEst MarnelaVallée)
Rewriting HigherOrder Stack Trees 
30 Mar 2016
11:30 
QMUL
ITL: top floor 
Thomas DinsdaleYoung (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 TwoDimensional 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 upto 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 higherorder 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 SATbased techniques for parameter synthesis and optimization 
06 May 2015
10:30 
QMUL
ITL: top floor 
Arman Khouzani (QMUL)
Picking vs Guessing Secrets: A GameTheoretic 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 nonstandardness 
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ślakMalinowska (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 multiagent 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, Nondeterministic 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 HigherOrder 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)
PropertyDirected kReachability 
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 
1516 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 LewisPye (LSE)
Digital morphogenesis via Schelling segregation 
30 April 2014
11:00 
QMUL
ITL: top floor 
Jael Kriener (MSRINRIA)
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 ModelChecking CallbyValue 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)
AbstractionGuided 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 SyntacticoSemantic 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 MyhillNerode Theorem using Regular Expressions only 
25 Sep 2013
11:00 
QMUL
CS:414 
Ross Duncan (ULB Brussels)
The ZXcalculus and its fragments 
18 Sep 2013
11:00 
QMUL
CS:414 
Tom Chothia (Birmingham)
Probabilistic PointtoPoint 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 
JoostPieter 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 HigherOrder 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 FirstOrder 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 TreeWidth 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 GraphBased 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 Subgameperfect 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 manyone reductions 
31 Oct 2012
11:00 
QMUL
Maths:1.03 
QuocSang 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 ObjectOriented Programming 
17 Oct 2012
11:00 
QMUL
CS:414 
Pierre Clairambault (Cambridge)
Isomorphisms of types in the presence of higherorder references 
3 Oct 2012
11:00 
QMUL
CS:414 
Luca Fossati (QMUL)
Intensional and Extensional Characterisation of Global Progress in the PiCalculus

26 Sep 2012
11:00 
QMUL
Maths:1.03 
Fabrizio Montesi (ITU Copenhagen)
Deadlockfreedombydesign: Multiparty Asynchronous Global Programming

20 Sep 2012
11:0017: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
JeanMarie Madiot (Lyon/Bologna)
Duality in picalculus 
1 Aug 2012
11:00 
QMUL
CS:414 
Matthew Hague (ParisEst)
Modelchecking HigherOrder Programs via Saturation and Collapse 
25 Jul 2012
11:00 
QMUL
CS:414 
Dino Distefano (QMUL)
A Voyage to the DeepHeap 
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)
AckermannHardness 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 picalculus 
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 SideChannels 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 bitblasting and love abstract interpretation 
11 Jan 2012
15:00 
QMUL
BR4.02 
Kenny Paterson (Royal Holloway)
TLS security – where do we stand? 