Seminars
| When | Where | What |
|---|---|---|
|
20 June 2012 (11:00) |
QMUL CS:414 |
Joint Queen Mary/Imperial Seminar Philippe Schnoebelen (ENS Cachan) Ackermann-Hardness for Lossy Counter Machines and Reset Petri Nets |
|
13 June 2012 (11:00) |
QMUL CS:414 |
Joint Queen Mary/Imperial Seminar Pasquale Malacaria (QMUL) Title TBC |
|
29 May 2012 (11:00) |
QMUL CS:414 |
Joint Queen Mary/Imperial Seminar Paulo Oliva (QMUL) Games and Logic |
|
16 May 2012 (11:00) |
QMUL CS:414 |
Joint Queen Mary/Imperial Seminar Paolo Masci (QMUL) Using automated reasoning tools to study compliance of device interface behaviour to interaction design principles |
|
09 May 2012 (11:00) |
QMUL Maths:1.03 |
Joint Queen Mary/Imperial Seminar Juan Antonio Navarro Pérez (QMUL) Separation Logic + Superposition Calculus = Heap Theorem Prover |
|
02 May 2012 (11:00) |
QMUL Maths:1.03 |
Joint Queen Mary/Imperial Seminar Romain Demangeon (QMUL) Expressiveness of subtyped pi-calculus |
|
25 Apr 2012 (11:00) |
QMUL Maths:1.03 |
Joint Queen Mary/Imperial Seminar Nikos Tzevelekos (QMUL) Games with names |
|
04 Apr 2012 (15:00) |
QMUL BR4.02 (CS446) |
Joint Queen Mary/Imperial Seminar Boris Köpf (IMDEA) Quantifying Side-Channels in RSA and AES |
|
28 Mar 2012 (11:00) |
QMUL Maths:1.03 |
Joint Queen Mary/Imperial Seminar James Brotherston (QMUL) Craig Interpolation in Displayable Logics |
|
20 Mar 2012 (11:00) |
QMUL Eng203 |
Joint Queen Mary/Imperial Seminar 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 |
Joint Queen Mary/Imperial Seminar Pierre Clairambault (University of Cambridge) Concurrent games [Cancelled] |
|
11 Jan 2012 (15:00) |
QMUL BR4.02 |
Joint Queen Mary/Imperial Seminar Kenny Paterson (Royal Holloway) TLS security - where do we stand? |