|
3 Mar TBA |
QMUL TBA |
Joint Queen Mary/Imperial Seminar Alison Pease (University of Edinburgh) TBA |
|
20 Nov (14:00) |
QMUL Biology 3.15 |
Joint Queen Mary/Imperial Seminar Derek Dreyer (Max Planck Institute for Software Systems, Germany) A Modal Logic for Equational Reasoning in ML-Like Languages |
|
18 Nov (15:00) |
QMUL CS 3.02 |
Joint Queen Mary/Imperial Seminar Jens Krinke (King's College London) Information Flow Control with Program Dependence Graphs |
|
12 Oct (16:00) |
QMUL Biology 3.15 |
Joint Queen Mary/Imperial Seminar Bart Jacobs (Katholieke Universiteit Leuven) Verifying fine-grained concurrent algorithms with VeriFast |
|
15 Sep (13:30) |
QMUL Biology 3.15 |
Joint Queen Mary/Imperial Seminar Jorge Perez (University of Bologna) On the Expressiveness of Forwarding in Higher-Order Communication |
|
13 Aug (14:00) |
QMUL Biology 3.15 |
Joint Queen Mary/Imperial Seminar Paulo Oliva (Queen Mary Univesity of London) On Selection Functions and Generalised Quantifiers |
|
12 Aug (14:00) |
QMUL Biology 3.15 |
Joint Queen Mary/Imperial Seminar Jaime Gaspar (Technische Universitat Darmstadt) A logical view at Tao's finitization of principles in analysis |
|
22 Jul (13:30) |
QMUL Biology 3.15 |
Joint Queen Mary/Imperial Seminar Vasco Vasconcelos (University of Lisbon) Session type systems as linear type systems |
|
25 Jun (15:00) |
QMUL Biology 3.15 |
Joint Queen Mary/Imperial Seminar Dimitris Mostrous (Imperial College) Session Types for Higher-order Mobile Processes: Asynchronous Communication Subtyping and Linear Typing |
|
17 Jun (15:00) |
QMUL Biology 3.15 |
Joint Queen Mary/Imperial Seminar Ben Moszkowski (De Montfort University) A Unifying Analytical Framework for Discrete, Linear Time |
|
3 Jun (15:00) |
QMUL Biology 3.15 |
Joint Queen Mary/Imperial Seminar Jeremy Singer (University of Manchester) Intelligent Thread-level Speculation |
|
13 May (15:30) |
QMUL CS 446 |
Joint Queen Mary/Imperial Seminar John Shawe-Taylor (University College London) PAC Bayes Analysis: Background and Applications |
|
20 Apr (14:00) |
QMUL CS 445 |
Joint Queen Mary/Imperial Seminar Stephen Magill (Carnegie Mellon University) Automatic Numeric Abstractions for Heap-Manipulating Programs |
|
1 Apr (15:30) |
QMUL CS 446 |
Joint Queen Mary/Imperial Seminar David Parker (Oxford University) Verification of Probabilistic Software |
|
31 Mar (14:00) |
QMUL CS 445 |
Joint Queen Mary/Imperial Seminar John C. Reynolds (Carnegie Mellon University) Readable Proofs in Hoare Logic (and Separation Logic) |
|
4 Mar (15:30) |
QMUL CS 446 |
Joint Queen Mary/Imperial Seminar Zoubin Ghahramani (University of Cambridge) Recent directions in nonparametric Bayesian machine learning |
|
13 Feb (11:00) |
QMUL Biology 3.15 |
Joint Queen Mary/Imperial Seminar Tamara Rezk (INRIA Sophia Antipolis-Mediterranee) A Compiler for Security |
|
21 Jan (15:30) |
QMUL CS 446 |
Joint Queen Mary/Imperial Seminar Mike Laurence (Goldsmiths, University of London) Introduction to Program Schemas with applications to Program Slicing |
|
15 Jan (14:00) |
QMUL Biology 3.15 |
Joint Queen Mary/Imperial Seminar Jeffrey Sarnat (Yale University) A new consistency proof for intuitionistic inductive definitions using the lexicographic path ordering |