(2011, January - December) |
||
|
2 Dec (15:00) |
QMUL BR4.01 |
Joint Queen Mary/Imperial Seminar Florian Zuleger (TU Vienna) Bound Analysis of Imperative Programs with the Size-change Abstraction |
|
28 Sept (15:00) |
QMUL BR4.02 |
Joint Queen Mary/Imperial Seminar Joel Ouaknine (Oxford University) A Survey of Classical and Real-Time Verification |
|
7 Sept (15:00) |
QMUL BR4.02 |
Joint Queen Mary/Imperial Seminar Thomas Powell (QMUL) System T and the Product of Selection Functions |
|
27 June (15:00) |
QMUL |
Joint Queen Mary/Imperial Seminar Mikoláš Janota (INESC-ID, Lisboa) Abstraction-Based Algorithm for 2QBF |
|
23 June (14:00) |
QMUL BR4.02 |
Joint Queen Mary/Imperial Seminar Tony Hoare In Praise of Algebra |
|
15 June (15:00) |
QMUL BR4.02 |
Joint Queen Mary/Imperial Seminar Mark Josephs (University of Warwick) Processes through the Looking Glass: Reflections on an Algebra for Delay-Insensitive Circuits |
|
6 June (15:00) |
QMUL BR3.01 |
Joint Queen Mary/Imperial Seminar Kenneth McMillan (Microsoft Research) Coming to Grips with Complexity in Computer-Aided Verification |
|
18 May (15:00) |
QMUL CS4.02 (AKA BR4.02) |
Joint Queen Mary/Imperial Seminar Cristian Cadar (Imperial College) Dynamic Symbolic Execution for Software Testing and Bug Finding |
|
13 May (14:00) |
QMUL BR4.01 |
Joint Queen Mary/Imperial Seminar Christoph Haase (University of Oxford) Deciding Entailment in SL with Possibly-empty Lists is Polytime |
|
27 Apr (15:00) |
QMUL CS4.02 (AKA BR4.02) |
Joint Queen Mary/Imperial Seminar Jade Alglave (University of Oxford) Fences in Weak Memory Models |
|
21 Apr (14:30) |
QMUL BR 3.2 (AKA CS 338) |
Joint Queen Mary/Imperial Seminar Aquinas Hobor (National University of Singapore) A Theory of Termination via Indirection |
|
18 Apr (11:00) |
QMUL BR 4.1 (AKA CS 445) |
Joint Queen Mary/Imperial Seminar Aditya Nori (MSR India) Guessing Program Annotations with Probabilistic Inference |
|
16 Mar (15:00) |
QMUL CS4.02 (AKA BR4.02) |
Joint Queen Mary/Imperial Seminar Michael Benedikt (University of Oxford) Revealing the Logic of the Hidden Web |
|
9 Feb (15:00) |
QMUL CS4.02 (AKA BR4.02) |
Joint Queen Mary/Imperial Seminar Ankur Taly (Stanford University) Language-based Isolation of Untrusted JavaScript |
|
26 Jan (15:00) |
QMUL CS4.02 (AKA BR4.02) |
Joint Queen Mary/Imperial Seminar Ricardo Dias (Universidade Nova de Lisboa, Portugal) Using Separation Logic to Detect Snapshot Isolation Anomalies in Software Transactional Memory |
(2010, January - December) |
||
|
1 Dec (15:00) |
QMUL CS4.02 (AKA BR4.02) |
Joint Queen Mary/Imperial Seminar Daniel Koernlein (London School of Economics) An Application of Proof Mining to Functional Analysis |
|
17 Nov (15:00) |
QMUL CS4.02 (AKA BR4.02) |
Joint Queen Mary/Imperial Seminar Ranjit Jhala (University of California, San Diego) Software Verification via Liquid Types |
|
27 Oct (15:00) |
QMUL CS4.02 (AKA BR4.02) |
Joint Queen Mary/Imperial Seminar Prakash Panangaden (McGill University, Canada) Epistemic Strategies and Games on Concurrent Processes |
|
13 Oct (15:00) |
QMUL CS4.02 (AKA BR4.02) |
Joint Queen Mary/Imperial Seminar Samson Abramsky (Oxford University) Relational Hidden Variables and Non-Locality |
|
8 Sep (14:00) |
QMUL CS3.02 (AKA BR3.02) |
Joint Queen Mary/Imperial Seminar Kohei Suenaga (Universidade de Lisboa, Portugal) Fractional Ownerships for Safe Memory Deallocation |
|
12 Aug (15:00) |
QMUL Francis Bancroft 3.15 |
Joint Queen Mary/Imperial Seminar Gerwin Klein (National ICT Australia) A Formally Verified OS Kernel. Now What? |
|
7 Jul (14:00) |
QMUL ITL top floor |
Joint Queen Mary/Imperial Seminar Tom Chothia (University of Birmingham) Calculating Information Leakage in Continuous Domains |
|
14 Jun (14:00) |
QMUL CS 3.01 |
Joint Queen Mary/Imperial Seminar Andrew D. Gordon (Microsoft Research Cambridge) Semantic Subtyping with an SMT Solver |
|
2 Jun (15:00) |
QMUL CS 4.01 |
Joint Queen Mary/Imperial Seminar Kirill Bogdanov (The University of Sheffield) Reverse Engineering and Testing |
|
13 May (11:00) |
QMUL CS 3.02 |
Joint Queen Mary/Imperial Seminar Mircea-Dan Hernest (Ecole Polytechnique, France) Modal Functional Interpretation |
|
5 May (15:00) |
QMUL CS 3.02 |
Joint Queen Mary/Imperial Seminar Alastair Donaldson (Oxford University) Automatic Analysis of Scratch-pad Memory Code for Heterogeneous Multicore Processors |
|
22 Apr (14:00) |
QMUL ITL top floor |
Joint Queen Mary/Imperial Seminar Nir Piterman (Imperial College) p-Automata: New Foundations for Discrete-Time Probabilistic Verification |
|
31 Mar (15:00) |
QMUL CS 3.02 |
Joint Queen Mary/Imperial Seminar Andy King (Portcullis Computer Security Limited) Automatic Abstraction for Congruences -- A Story of Beauty and the Beast |
|
15 Mar (14:00) |
QMUL ITL top floor |
Joint Queen Mary/Imperial Seminar Sofiene Tahar (Concordia University) Formal Probabilistic and Statistical Analysis using Higher-Order Logic |
|
3 Mar (15:00) |
QMUL CS 3.02 |
Joint Queen Mary/Imperial Seminar Alison Pease (University of Edinburgh) The Role of Axiomatisation in Mathematical Discovery |
(2009, January - December) |
||
|
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 |
(2008, June - December) |
||
|
15 Dec (15:30h) |
QMUL Biology 3.15 |
Joint Queen Mary/Imperial Seminar Aslan Askarov (University of Gothenburg) Tight Enforcement of Flexible Information-Release Policies for Dynamic Languages |
|
4 Dec (16:00h) |
QMUL ITL top floor |
Joint Queen Mary/Imperial Seminar Eric Koskinen (University of Cambridge) Techniques for Symbolic Complexity Bounds |
|
3 Dec (15:30h) |
QMUL CS/446 |
Joint Queen Mary/Imperial Seminar Alexander Kurz (University of Leicester) Pi-Calculus in Logical Form |
|
19 Nov (15:30h) |
QMUL CS/446 |
Joint Queen Mary/Imperial Seminar Pierre-Malo Denielou (INRIA Rocquencourt) Protocol Synthesis and Verification for Secure Sessions |
|
27 Oct (11:00h) |
QMUL Biology 3.15 |
Joint Queen Mary/Imperial Seminar John C. Reynolds (Carnegie Mellon University) Readable Formal Proofs |
|
17 Sep (14:00h) |
QMUL Francis Bancroft FB1.02.6 |
Joint Queen Mary/Imperial Seminar Lawrence C. Paulson (University of Cambridge) MetiTarski: A Resolution-Based Prover for the Special Functions |
|
6 Aug (15:30h) |
QMUL Francis Bancroft FB327 |
Joint Queen Mary/Imperial Seminar Liqian Chen (Ecole Normale Superieure/National Laboratory for Parallel and Distributed Processing, Changsha, China) A Sound Floating-Point Polyhedra Abstract Domain |
|
5 Aug (15:30h) |
QMUL Francis Bancroft FB327 |
Joint Queen Mary/Imperial Seminar Julien Bertrane (Ecole Normale Superieure) Reduced Product of Abstract Domains for the Static Analysis of Properties of Imperfectly-clocked Synchronous Systems |
|
30 Jul (15:30h) |
QMUL Francis Bancroft FB327 |
Joint Queen Mary/Imperial Seminar Dana N. Xu (University of Cambridge) Static Contract Checking for Haskell |
|
02 Jul (15:30h) |
QMUL ITL top floor |
Joint Queen Mary/Imperial Seminar Elena Troubitsyna (Abo Akademi University) Talk on Formal development of fault tolerant systems by refinement |
|
18 Jun (15:30h) |
QMUL CS/338 |
Joint Queen Mary/Imperial Seminar Sam Staton (University of Cambridge) General structural operational semantics through categorical logic |
(2008, January - May) |
||
| 28 May (10:30h) |
QMUL CS/338 |
Joint Queen
Mary/Imperial Seminar Martin Escardo (University of Birmingham) Infinite sets that admit exhaustive search in finite time |
| 27-29 May (14:00h) |
Imperial TBA |
Joint Queen
Mary/Imperial Seminar Byron Cook (Microsoft Research Cambridge) Proving termination and liveness of programs |
| 21 May (15:30h) |
QMUL CS/338 |
Joint Queen
Mary/Imperial Seminar Stefano Berardi (Torino University) Classical proofs as processes |
| 15 May (14:00h) |
Imperial 145 |
Joint Queen
Mary/Imperial Seminar Alessio Guglielmi (University of Bath) Deep inference, proof identity and proof complexity |
| 02 Apr (15:30h) |
QMUL CS/446 |
Lab Tea Federico Aschieri Strong normalization for intersection types sytem |
| 19 Mar (15:00h) |
QMUL CS/446 |
Distinguished
Seminar Prof. Robert Gaizauskas (University of Sheffield) From questions to queries: Issues in the interpretation of questions |
| 12 Mar (15:30h) |
QMUL CS/446 |
Joint Queen
Mary/Imperial Seminar Antonino Salibra (Universita Ca Foscari di Venezia) From Universal Algebra to Lambda Calculus and Back |
| 27 Feb (15:30h) |
QMUL CS/446 |
Lab Tea Matthew Huntbach A computation model using single-assignment single-writer variables with back-communication |
| 13 Feb (15:30h) |
QMUL CS/446 |
Lab Tea Pasquale Malacaria & Han Chen Lagrangian multipliers and their use in computing maximum leakage in various computational systems |
| 06 Feb (15:00h) |
QMUL CS/446 |
Distinguished
Seminar Prof. Kerstin Dautenhahn (University of Hertfordshire) Can we benefit from robotic helpers? |
| 30 Jan (15:00h) |
QMUL CS/446 |
Distinguished
Seminar Prof. Andrew Zisserman (University of Oxford) Google like search of image databases and videos |
| 23 Jan (15:30h) |
QMUL CS/446 |
Joint Queen
Mary/Imperial Seminar Matthew Parkinson (Cambridge University) Verifing OO Programs the good, the bad, and the ugly |
| 16 Jan (15:00h) |
QMUL CS/446 |
Distinguished
Seminar Prof. Wendy Hall (University of Southampton) Towards a Science of the Web |
(2007, June - December) |
||
| 19th Dec (15:00h) |
Imperial Huxley Blg. Room 207 |
Joint Queen
Mary/Imperial Seminar Simon Kramer (LIX-Ecole Polytechnique) Towards Interactive Belief, Knowledge, and Provability: Possible Application to Zero-Knowledge Proofs |
| 12th Dec (15:30h) |
QMUL CS/446 |
Lab Tea Marco Carbone Structured Communication-Centred Programming for Web Services |
| 28th Nov (15:00h) |
QMUL CS/446 |
Distinguished
Seminar John Tucker (Swansea University) Computability and experimental procedures applied to physical systems |
| 21st Nov (15:30h) |
QMUL CS/446 |
Joint Queen
Mary/Imperial Seminar Julian Bradfield (Edinburgh University) How user-friendly is independence-friendly logic? |
| 14th Nov (15:00h) |
Maths Lec. Th. |
Distinguished
Seminar Nigel Shadbolt (University of Southampton) From Science on the Web to a Web of Science |
| 7th Nov (15:30h) |
QMUL CS/446 |
Joint Queen
Mary/Imperial Seminar Francesco Tiezzi (University of Florence) COWS: a Calculus for Orchestration of Web Services |
| 31st Oct (15:00h) |
QMUL CS/446 |
Distinguished
Seminar David Hogg (University of Leeds) Reasoning about visual scenes |
| 24th Oct (15:30h) |
QMUL CS/446 |
Joint Queen
Mary/Imperial Seminar Samuel Mimram (Université Paris Diderot / Paris 7) Asynchronous games: Innocence without alternation |
| 17th Oct (15:30h) |
QMUL CS/446 |
Joint Queen
Mary/Imperial Seminar Paul Levy (University of Birmingham) Nondeterminism: many questions and (maybe) some answers |
| 3rd Oct (15:30h) |
QMUL CS/446 |
Lab Tea Jonathan Heusser Measuring Insecurity of Programs |
| 19th Sept (16:00h) |
QMUL CS/446 |
Joint Queen
Mary/Imperial Seminar Neel Krishnaswami (Carnegie Mellon University) Verifying the Subject Observer Pattern with Higher Order Separation Logic |
| 12th Sept (15:30h) |
QMUL CS/446 |
Joint Queen
Mary/Imperial Seminar Steven Le Comber (QMUL, Biology Department) Bees and the travelling salesman problem: how tiny brains solve complex cognitive tasks |
| 27th June (15:30h) |
QMUL CS/446 |
Joint Queen
Mary/Imperial Seminar Nathaniel Charlton (Imperial College) TBA |
(2007, January - May) |
||
| 16th May (15:30h) |
QMUL CS/446 |
Joint Queen
Mary/Imperial Seminar Mark Ryan (University of Birmingham) Multi-party contract signing: a roller-coaster ride |
| 11th Apr (15:30h) |
QMUL CS/446 |
Joint Queen
Mary/Imperial Seminar Guy McCusker (University of Bath) A games model of bunched implications |
| 7th Mar (15:00h) |
QMUL CS/446 |
Distinguished
Seminar Yvonne Rogers (Open University) Beyond the desktop and the vision of calm computing: A critique of the emerging field of UbiComp |
| 14th Mar (15:30h) |
QMUL CS/446 |
Joint Queen
Mary/Imperial Seminar Jose Montoya (School of Biological and Chemical Sciences, QMUL) Ecological Networks: The Complexity and Fragility of Ecosystems |
| 21st Mar (15:00h) |
QMUL CS/446 |
Distinguished
Seminar Nigel Smart (University of Bristol) Cryptography: The art of knowing nothing |
| 6th Feb (16:00h) |
QMUL ITL top floor |
Joint Queen
Mary/Imperial Seminar Tom Kelsey (University of St Andrews) Large-scale enumeration strategies using GAP and Minion |
| 12th Feb (15:00h) |
Imperial Studio A |
Joint Queen
Mary/Imperial Seminar Daniele Gorla (Univ. di Roma "La Sapienza") On the Relative Expressive Power of Calculi for Mobility |
| 14th Feb (15:30h) |
QMUL CS/446 |
Joint Queen
Mary/Imperial Seminar Mehrnoosh Sadrzadeh (University of Southampton) Semantics for Information Update |
| 21st Feb (15:30h) |
QMUL CS/446 |
Joint Queen
Mary/Imperial Seminar Ana Cavalcanti (University of York) Test-data Generation by Proof |
| 17th Jan (15:00h) |
QMUL CS/446 |
Distinguished
Seminar Dr Ewan Birney (European Bioinformatics Institute - EBI) Part of the Women in Innovation and Invention Workshop |
| 31st Jan (15:00h) |
QMUL CS/446 |
Distinguished
Seminar Prof Jon Crowcroft (University of Cambridge) Network Architecture Research Considerations or The Internet Conspiracy |
(2006, December) |
||
| 12th Dec (15:00h) |
Imperial Huxley 308 |
Joint Queen
Mary/Imperial Seminar Claudio Guidi (IMT Lucca) Formalizing languages for Service Oriented Computing |
(2006, November) |
||
| 1st Nov (15:30h) |
QMUL CS/446 |
Joint Queen
Mary/Imperial Seminar Christian Urban (TU Munich, Germany) Inductions in the Nominal Datatype Package or How Not to be Intimidated by the Variable Convention |
| 8th Nov (15:30h) |
QMUL CS/446 |
Joint Queen
Mary/Imperial Seminar Thomas Forster (Cambridge University) Is Propositional Calculus expressible in a Kleene-Regular Language? |
| 15th Nov (15:00h) |
QMUL CS/446 |
Distinguished
Seminar Igor Aleksander (Imperial College) Conscious Machines: Fiction or Fact |
| 21th Nov (14:00h) |
Imperial Huxley 344A |
Joint Queen
Mary/Imperial Seminar Mohammad Reza Mousavi (Eindhoven University of Technology) Reconciling Operational and Epistemic Approaches to Protocol Verification |
| 22th Nov (15:30h) |
QMUL CS/446 |
Joint Queen
Mary/Imperial Seminar Marcelo Fiore (Cambridge University) Differentiation in Models of Intuitionistic Linear Logic with Commutative Bialgebra Structure |
| 23th Nov (13:00h) |
Imperial Huxley Studio B |
Joint Queen
Mary/Imperial Seminar Roberto Guanciale and Daniele Strollo (IMT Lucca) A type-based coordination calculus of signals |
| 29th Nov (15:00h) |
QMUL Octagon |
Distinguished
Seminar Gillian Arnold (IBM) Part of the Women in Innovation and Invention Workshop |
(2006, October) |
||
| 4th Oct (15:00h) |
QMUL CS/446 |
Distinguished
Seminar Byron Cook (Microsoft Research, Cambridge) Automatic Formal Verification for Operating Systems Code |
| 11th Oct (15:30h) |
QMUL CS/446 |
Joint Queen
Mary/Imperial Seminar Mark Jerrum (Queen Mary, University of London) Approximating the Tutte polynomial: a status report |
| 18th Oct (15:00h) |
QMUL CS/446 |
Distinguished
Seminar Barry Smith (Birkbeck College) Speech Sounds and the Direct Meeting of Minds |
| 25th Oct (10:00h) |
King's College |
London Theory Day Programme can be found here |
(2006, September) |
||
| 13th Sept (15:30h) |
Imperial Huxley Bldg. Studio A |
Joint Queen
Mary/Imperial Seminar Silvia Crafa (Università di Padova) P-Congruences as Non-Interference for the pi-calculus |
| 18th Sept (10:30h) |
BCS London |
Theory Group Away
Day Programme |
(2006, July) |
||
| 19th July (16:00h) |
QMUL ITL top floor |
Joint Queen
Mary/Imperial Seminar Dan Guica (University of Birmingham) Geometry of Synthesis: A structural approach to VLSI design |
(2006, June) |
||
| 7th June (15:30h) |
QMUL CS337 |
Joint Queen
Mary/Imperial Seminar Sebastian Nanz (Imperial College) Specification and Security Analysis of Mobile Ad-Hoc Networks |
(2006, May) |
||
| 3rd May (15:30h) |
QMUL Math Lec Theatre |
Distinguished
Seminars Prof. Moshe Vardi (Rice University) And Logic Begat Computer Science: When Giants Roamed the Earth |
| 22nd May (15:00h) |
QMUL CS338 |
Distinguished
Seminars Dr. Matt Jones (Future Interaction Thecnology Lab) Navigation by Music |
(2006, April) |
||
| 5th Apr (15:30h) |
QMUL CS338 |
Joint Queen
Mary/Imperial Seminar Randy Pollak (Edinburgh University) Reasoning about languages with bindings: can we do it yet? |
| 11th Apr (13:00h) |
QMUL Tea Room |
Lab Lunches Speaker: Graham White |
| 24th Apr (all day) |
Imperial Studio A |
London Theory Day Organiser: Philippa Gardner (Imperial College) Invited speaker: Andrew Appel (Princeton University) |
(2006, March) |
||
| 1st Mar (15:30h) |
QMUL CS338 |
Joint Queen
Mary/Imperial Seminar Prof. Lawrence Paulson (Cambridge University) Integrating Interactive and Automatic Theorem Provers: Status and Prospects |
| 14th Mar (13:00h) |
QMUL Tea Room |
Lab Lunches Speaker: Ursula Martin |
| 22nd Mar (15:30h) |
QMUL CS446 |
Distinguished
Seminars Prof. Chris Reed (Faculty of Law & Social Science, QMUL) The Not So Free For All - websites, online resources and the role of law |
| 23rd Mar (15:00h) |
Imperial Huxley Bld Studio A |
Joint Queen
Mary/Imperial Seminar Dino Distefano (Queen Mary College) A Local Heap Analysis based on Separation Logic |
| 28th Mar (13:00h) |
QMUL Tea Room |
Lab Lunches Speaker: Paul Curzon |
(2006, February) |
||
| 1st Feb (15:30h) |
QMUL CS338 |
Joint Queen
Mary/Imperial Seminar Rob Arthan (Lemma 1 Ltd.) 34/100 (and counting) |
| 8th Feb (15:30h) |
QMUL CS446 |
Distinguished
Seminars Prof. Herbert H. Clark (Stanford University) Rational ways of talking |
| 22nd Feb (15:30h) |
QMUL CS446 |
Distinguished
Seminars Prof. Keith van Rijsbergen (University of Glasgow) Information Retrieval, its geometry and logic |
| 28th Feb (13:00h) |
QMUL Tea Room |
Lab Lunches Speaker: Pasquale Malacaria |
(2006, January) |
||
| 11th Jan (15:30h) |
QMUL CS446 |
Distinguished
Seminars Prof. Philip Dawid (UCL) Object-Oriented Bayesian Networks for Forensic Identification |
| 17th Jan (13:00h) |
QMUL Tea Room |
Lab Lunches Speaker: Paulo Oliva |
| 31st Jan (13:00h) |
QMUL Tea Room |
Lab Lunches Speaker: Max Kanovitch |
(2005, December) |
||
| 1st Dec (15:00h) |
QMUL CS337 |
Joint Queen
Mary/Imperial Seminar Alberto Momigliano (University of Edinburgh) A program logic for resources and its application to optimisation validation |
| 7th Dec (16:00h) |
QMUL CS445 |
Joint Queen
Mary/Imperial Seminar Murdoch Gabbay (King's College London) Fraenkel-Mostowski Techniques: a NEW model of freshness and abstraction |
| 13th Dec (13:00h) |
QMUL Tea Room |
Lab Lunches Speaker: Matthew Huntbach |
| 14th Dec (15:00h) |
Imperial Studio A |
Joint Queen
Mary/Imperial Seminar Emilio Tuosto (University of Leicester) Modelling and using Application-Level QoS |
(2005, November) |
||
| 2nd Nov (15:30h) |
QMUL CS446 |
Distinguished
Seminars Prof Back Ralph-Johan (Abo Akademi University, Finland) Invariant Based Programming |
| 9th Nov (15:50h) |
QMUL CS338 |
Joint Queen
Mary/Imperial Seminar Emmanuel Beffara (CNRS, Paris) Concurrent models for linear logic |
| 15th Nov (13:00h) |
QMUL Tea Room |
Lab Lunches Speaker: Peter O'Hearn |
| 16th Nov (15:30h) |
QMUL CS446 |
Distinguished
Seminars Prof Alexandra Poulovassilis (Birkbeck College, University of London) Data Integration by Bi-Directional Schema Transformation Rules |
| 30th Nov (15:30h) |
QMUL CS338 |
Distinguished
Seminars Prof Andrew Blake, FRS, FRng (Microsoft Research, Cambridge) Video Segmentation by Fusion of Colour, Contrast and Stereo |
(2005, October) |
||
| 5th Oct (15:30h) |
Maths Lect Theatre |
Distinguished
Seminars Prof Kevin Warwick (Dept of Cybernetics, University of Reading) Hybrid Intelligence: Combining Human and Machine Brains |
| 12th Oct (15:30h) |
QMUL CS445 |
Joint Queen
Mary/Imperial Seminar Agi Kurucz (King's College) Undecidability of two-variable intuitionistic and modal predicate logics |
| 18th Oct (13:00h) |
QMUL Tea Room |
Lab Lunches Speaker: Martin Berger |
| 19th Oct (15:30h) |
QMUL CS446 |
Distinguished
Seminars Prof Peter Johnson (University of Bath) From interactive to collaborative systems - the breakdowns, challenges and hopes |
| 25th Oct (15:00h) |
Imperial studio A |
Joint Queen
Mary/Imperial Seminar Sarah Thompson (CPRG, Computer Laboratory, University of Cambridge) An Abstract Interpretation-based Semantics for Radiation-Hard Asynchronous Circuits |
| 26th Oct (15:30h) |
QMUL CS445 |
Joint Queen
Mary/Imperial Seminar Peter Mosses (University of Wales, Swansea) Modular Structural Operational Semantics |
(2005, September) |
||
| 19th, 20th September |
Newnham College |
QM Theory Group
Away Day |
| 21st Sept (15:30h) |
QMUL CS337 |
Joint Queen
Mary/Imperial Seminar Alex Ahern (Imperial College) Java RMI with Explicit Code Mobility |
| 30th Sept (16:00h) |
Imperial Huxley 308 |
Joint Queen
Mary/Imperial Seminar Alley Stoughton (Kansas State University) Experimenting with Formal Languages using Forlan |
(2005, August) |
||
| 26th Aug | Oxford | NETCA workshop Verification and Theorem Proving for Continuous Systems |
| 30th Aug (14:00h) |
QMUL CS337 |
Joint Queen
Mary/Imperial Seminar Cesar Munoz (National Institute of Aerospace) Real Number Calculations and Interval Analysis in PVS |
(2005, July) |
||
| 6th Jul (15:30h) |
Imperial TBA |
Joint Queen
Mary/Imperial Seminar Luca Viganò (ETH, Zürich) Automated tools for the security verification of internet protocols |
(2005, June) |
||
| 15th Jun (15:30h) |
QMUL CS337 |
Joint Queen
Mary/Imperial Seminar Gareth Stoyle (Cambridge University) Dynamic Software Updates |
(2005, May) |
||
| 3rd May (14:00h) |
QMUL CS446 |
Control, Dynamics
and Logic Seminar Wolfram Just (School of Mathematical Science, QMUL) Time-delayed feedback control of chaos: a global perspective |
| 4th May (15:30h) |
Imperial Huxley 311 |
Joint Queen
Mary/Imperial Seminar Adrian Francalanza (University of Sussex) Failure and Fault Tolerance in a Distributed Pi-Calculus |
| 10th May (14:00h) |
QMUL CS446 |
Control, Dynamics
and Logic Seminar Alexei Pavlov (Eindhoven University of Technology) Convergent systems: linear thinking for nonlinear systems |
| 11th May (11:00h) |
QMUL CS338 |
Departmental Seminar Andrew Moore Towards Accurate Network-Traffic Characterization |
| 11th May (14:00h) |
QMUL CS338 |
Joint Queen
Mary/Imperial Seminar Joshua Guttman Skeletons and Their Shapes |
| 16th May (15:30h) |
Imperial Huxley 311 |
Joint Queen
Mary/Imperial Seminar Peter Selinger (University of Ottawa) Towards a Quantum Programming Languages |
| 17th May (14:00h) |
QMUL CS446 |
Control, Dynamics
and Logic Seminar Henri Huijberts (Engineering Department, QMUL) Linear controllers for the stabilisation of unknown steady states of chaotic systems |
| 18th May (15:30h) |
QMUL CS338 |
Joint Queen
Mary/Imperial Seminar Andrew Kennedy (Microsoft Research) Untrustworthy Programming Language |
| 25th May (15:30h) |
QMUL CS338 |
Joint Queen
Mary/Imperial Seminar Peter Welch (University of Kent) Communicating Mobile Processes |
(2005, April) |
||
| 7th Apr (14:00h) |
QMUL ITL MF |
Reading Group Proof Carrying Code by George Necula |
| 12th Apr (13:00h) |
QMUL Tea room |
Lab Lunch Pasquale Malacaria Non-interference and independence of random variables |
| 11-15 Apr |
Birmingham |
PhD Summer School Midlands Graduate School Department is funding L&S PhD students |
| 18th Apr (15:00h) |
QMUL CS446 |
IMC / Theory Seminar Antonio Cerone (The University of Queensland) Formal Analysis of Human-Computer Interaction using Model-checking |
| 20th Apr (9h--5h) |
King's |
London Theory Day Theory groups from QM, Imperial and King's (programme here) |
| 26th Apr (13:00h) |
QMUL Tea room |
Lab Lunch Thomas Forster De-linearising Ehrenfeucht-Mostowski |
| 28th Apr (14:00h) |
QMUL ITL MF |
Reading Group Organizer: Max Kanovich |
| 28th Apr (15:30h) |
QMUL CS446 |
Joint Queen
Mary/Imperial Seminar Jean-Christophe Filliâtre (Université Paris Sud) Verifying C and Java programs |
(2005, March) |
||
| 1st Mar (13:00h) |
QMUL Tea room |
Lab Lunch Graham White |
| 1st Mar (14:00h) |
QMUL PH602 |
Distinguished EE
Seminars John Mashey Summarizing Benchmarks in no Mean Feat |
| 2nd Mar (15:30h) |
QMUL CS446 |
Distinguished
Seminars Dr Ann Blandford (UCL Interaction Centre) The digital library and the user: understanding usability, acceptability and design |
| 3rd Mar (11:00h) |
QMUL CS337 |
Joint Queen
Mary/Imperial Seminar Jesus Almansa (BRICS) Embedding the Universal Composability framework into PPC |
| 3rd Mar (14:00h) |
QMUL ITL MF |
Reading Group Local Reasoning about the Programs that Alter Data Structures by Peter O'Hearn, John Reynolds and Hongseok Yang |
| 9th Mar |
QMUL CS338 |
Joint Queen
Mary/Imperial Seminar Ulrich Berger (University of Swansea) The role of continuity in the computational interpretation of classical proofs |
| 10th Mar (14:00h) |
QMUL ITL MF |
Reading Group The Direct Simulation of Minsky Machines in Linear Logic Max Kanovich |
| 15th Mar (13:00h) |
QMUL CS337 |
Lab Lunch Guest Sofiène Tahar |
| 16th Mar (15:30h) |
QMUL |
Distinguished
Seminars Prof Chris Chapman (Southampton University) Getting the full benefits from risk management processes |
| 17th Mar (14:00h) |
QMUL ITL MF |
Reading Group Girard's System F |
| 23rd Mar |
QMUL |
NETCA Networks day Afternoon of seminars Topic: Mathematics for Networks |
(2005, February) |
||
| 2nd Feb (15:30h) |
QMUL CS447 |
Distinguished
Seminars Tom Melham (University of Oxford) Practical Formal Verification at an Industrial Scale |
| 9th Feb (15:30h) |
QMUL CS338 |
Joint Queen
Mary/Imperial Seminar Eike Ritter (University of Birmingham) A Games Model for Classical Proofs |
| 10th Feb (15:30h) |
QMUL ITL MF |
Reading Group Geometry of Interaction by Jean-Yves Girard |
| 16th Feb (15:30h) |
QMUL CS447 |
Distinguished
Seminars Luc Steel (Sony Computer Science Laboratory) The Origins of Language and Meaning |
| 17th Feb (15:30h) |
QMUL ITL MF |
Reading Group Types, Abstraction and Parametric Polymorphism by John Reynolds |
| 22nd Feb (14:00h) |
QMUL ITL GF |
Control, Dynamics
and Logic Seminar Stephen Pollock (Department of Economics, QMUL) Comparative Economic Cycles |
| 23rd Feb (15:30h) |
QMUL CS338 |
Joint Queen
Mary/Imperial Seminar Fred Barnes (University of Kent) occam-pi and RMoX |
| 24th Feb (15:30h) |
Imperial room 418 |
Joint Queen
Mary/Imperial Seminar Tom Chothia (École Polytechnique) Guessing Attacks in the pi-calculus, with a Computational Justification |
| 24-25 Feb (10am-5pm) |
QMUL |
4th Annual
Postgraduate Conference (further info here) |