| When |
Where |
What |
11 Dec 2019
12:00 |
QMUL
Graduate Centre: 601 |
Richard Allbert (Head of Digital Innovation, Pirelli DE)
How To Make Slime — Transformation In A Digital Era |
12 Nov 2019
13:00 |
QMUL
ITL: 1st floor |
Juriaan Rot (UCL)
Separation and Renaming in Nominal Sets |
15 Oct 2019
13:00 |
QMUL
ITL: 1st floor |
Andrew Lewis-Smith (QMUL)
On Some Constructive Fuzzy Logics |
8 Oct 2019
13:00 |
QMUL
ITL: 1st floor |
Yu-Yang Lin (QMUL)
Bounded Model Checking Higher-Order Programs |
9 July 2019
13:00 |
QMUL
ITL: 1st floor |
Antonio Filieri (Imperial)
Probabilistic symbolic execution: a bird’s eye view |
18 June 2019
13:00 |
QMUL
ITL: 2nd floor |
Noam Zeilberger (Birmingham)
A proof-theoretic analysis of the rotation lattice of binary trees |
13 June 2019
13:00 |
QMUL
ITL: 2nd floor |
Asaf Karagila (East Anglia)
Power sets and countable unions of countable sets (without the Axiom of Choice, of course) |
4 June 2019
13:00 |
QMUL
ITL: 1st floor |
Joel David Hamkins (Oxford)
|
28 May 2019
13:00 |
QMUL
ITL: 1st floor |
Luca Viganò (Kings)
|
14 May 2019
13:00 |
QMUL
ITL: 1st floor |
Boris Koepf (MSR)
|
7 May 2019
13:00 |
QMUL
ITL: 1st floor |
Bruno Dinis (Lisbon)
|
30 Apr 2019
13:00 |
QMUL
ITL: 1st floor |
Roger Hindley (Swansea)
|
23 Apr 2019
13:00 |
QMUL
ITL: 1st floor |
Maribel Fernández (Kings)
|
12 Mar 2019
13:00 |
QMUL
ITL: 1st floor |
Vanessa Volz (QMUL)
SAPEO – Surrogate-Assisted Partial-order based Evolutionary Optimisation |
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 (Heriot-Watt)
Proof-Carrying 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 black-box 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)
Sum-of-Squares, Counting Logics and Graph Isomorphism |
6 Nov 2018
13:00 |
QMUL
ITL: 1st floor |
Genaro López Acedo (Sevilla)
A Discrete Pursuit-Evasion Game |
30 Oct 2018
13:00 |
QMUL
ITL: 1st floor |
Andy Lewis-Pye (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 16-valued 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 point-free space? Or a point-free bundle? |
25 Jun 2018
13:00 |
QMUL
ENG 324 |
Steven Ramsay (Bristol)
Higher-Order 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 higher-order complexity |
24 Apr 2018
13:00 |
QMUL
ITL: top floor |
Andrew Lewis-Smith (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 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? |