Foundations of Software Systems Group
Past Seminars
- Friday 23rd September 2011
Matthew Hennessy (Trinity College Dublin). Liveness and Safety for Communicating Transactions. - Wednesday 18th May 2011
Monika Seisenberger (Swansea). Programs from Proofs - Wednesday 27th April 2011
Gareth Smith (Imperial College). Local Reasoning for JavaScript - Wednesday 20th April 2011
James Stanier (Sussex). Compiling with the Value State Dependence Graph - Wednesday 23rd March 2011
Ben Horsfall (Sussex). Verification of reflective programs using a logic for higher-order store - Tuesday 1st March 2011
Hongseok Yang (Queen Mary). Program analysis for overlaid data structures - Wednesday 23rd February 2011
Jan Schwinghammer (Uni Saarbruecken). Step-indexed Kripke Models over Recursive Worlds - Friday 18th February 2011
James Stanier (Sussex). A study of irreducibility in C programs - Wednesday 27th January 2011
Thomas Streicher (TU Darmstadt). A Model of Intensional Type Theory in SSet - Wednesday 12th January 2011
Tjark Weber (Cambridge). Integrating SAT, QBF and SMT Solvers with Interactive Theorem Provers - Wednesday 24th November 2010
James Brotherston (Imperial College London). Undecidability of Propositional Separation Logic and its Neighbours - Wednesday 3rd November 2010
Nominal Techniques in the Theorem Prover Isabelle, or How Not to be Intimidated by the Variable Convention
|
|
|
|