| When |
Where |
What |
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
|
|
29 Feb 2012
(15:00)
|
QMUL
BR4.02
|
Pierre Clairambault
(University of Cambridge)
Concurrent games [Cancelled]
|
|
11 Jan 2012
(15:00)
|
QMUL
BR4.02
|
Kenny Paterson
(Royal Holloway)
TLS security - where do we stand?
|
|
|
|
