
08/12/16.
Gave a talk on HigherOrder Linearisability at the
Compositionality workshop, Simons Institute, Berkeley

30/11/16.
Gave a talk on Automata over infinite alphabets:
automata with registers and histories at the
Verification Seminar, University of Oxford

21/11/16.
Gave a talk on Nominal games: a semantics paradigm
for effectful languages at the
PLAS Seminar, University of Kent

10/06/16.
Gave a talk on Nominal games: a semantics paradigm
for effectful languages at the IMS
Workshop on HigherOrder Model Checking + Communicating, Distributed and Parameterised Systems

10/06/16.
New EPSRC project on SystemLevel Game Semantics: A unifying framework for composing systems
jointly with Dan Ghica

12/04/16. Organised a Workshop on Program Equivalence jointly with Andzej Murawski
and
Ofer Strichman

13/04/16.
Gave a talk on Model Checking Program Equivalence
in Interface Middleweight Java at the
PPLV seminar at UCL

17/03/16.
Gave a talk on Model Checking Program Equivalence
in Interface Middleweight Java at the
NII Shonan meeting on HigherOrder Model Checking

26/01/16.
Gave a talk on HistoryRegister Automata at the Warwick DIMAP seminar

17/11/15.
Gave a talk on Automata over infinite alphabets:
Investigations in FreshRegister Automata at Logical Foundations of Data Science

13/10/15.
Gave a talk on Game Semantic Analysis of Equivalence
in Interface Middleweight Java at ATVA'15

30/09/15.
Gave a talk on Automata over infinite alphabets: Investigations in FreshRegister Automata at University of Southampton

25/09/15. Organised a NII Shonan meeting on Semantics and Verification of OO Languages jointly with Atsushi Igarashi and Andzej Murawski

18/09/15. Gave a talk on Bisimilarity in FreshRegister Automata at Highlights 2015

07/08/15. Gave joint summer school course on Automata over Infinite Alphabets at ESSLLI 2015

05/07/15. Gave a talk on Nominal games: a lowlevel semantics for open programs at LOLA 2015

22/06/15. Gave a talk on Game Semantic Analysis of Equivalence
in Interface Middleweight Java at MFPS XXXI

16/06/15. CONEQCT will be presented in ATVA 2015. More about the tool at its webpage:
Coneqct: a contextual equivalence checking tool for Interface Middleweight Java

13/06/15. Gave a talk on Automata over infinite alphabets: Investigations in FreshRegister Automata at PLS10

12/04/15. Gave a talk on Nominal game semantics: what's new at the GALOP 2015 workshop

27/02/15. Gave a talk on Automata over infinite alphabets: Investigations in FreshRegister Automata at University of Birmingham

19/02/15. Gave a talk on Nominal game semantics and automata at Aarhus University

09/12/14. Gave a talk on Nominal game semantics and automata at Microsoft Research, Cambridge

24/10/14. Gave a talk on Automata (& programs) over infinite alphabets at the OASIS 10 Year Anniversary Workshop, Oxford

03/09/14. Presented joint work with Andrzej Murawski and Steven Ramsey on Reachability in Pushdown Register Automata at the Highlights of Logic, Games and Automata conference, Paris

30/06/14. New EPSRC project on Program Reasoning with Nominal Game Semantics

12/06/14. Gave a talk on Nominal game semantics and automata at the Semantics of proofs and programs workshop, IHP, Paris

26/05/14. Visiting the Institute Henri Poincare for a month, taking part in the Semantics of proofs and certified mathematics trimester

12/04/14. Gave a talk on Game Semantics for Interface Midleweight Java at the GALOP 2014 workshop

09/04/14. Presented joint paper with Andrzej Murawski at FOSSACS 2014

24/01/14. Presented joint paper with Andrzej Murawski at POPL 2014

27/12/13. Gave a talk on Games and Full Abstraction for Java programs at the Programming Languages Seminar, National Technical University of Athens

15/10/13. Gave a tutorial talk on Names, games and automata at the Nominal Computation Theory seminar at Dagstuhl

19/07/13. Gave a talk on Deconstructing general references using game semantics at the HOPE workshop, (ICFP'13 satellite)

30/05/13. Presented joint paper with Andrzej Murawski at the Samson@60 Workshop

12/04/13. Gave a course on Typed Lambda Calculus at the Midlands Graduate School 2013. The slides for the course are here

ETAPS 2015 will be held at Queen Mary!
The local organisation will be done by the Theory group, with cochairs Pasquale Malacaria and myself

18/03/13. Presented joint paper with Radu Grigore on HistoryRegister Automata at FOSSACS'13

08/03/13. Cochair of GALOP 2013, which is going to be held at Queen Mary, on 1819 July 2013

18/02/13. PC member of LOLA 2013

27/12/12. Gave a talk on Games with names at the Programming Languages Seminar, National Technical University of Athens

16/12/12. The following joint papers will appear in ETAPS'13

20/09/12. Organiser, along with Edmund Robinson, of the 17th Wessex Theory Seminar. If you would like to attend, it would be good to contact us so that we know numbers. Registration is free
 29/06/12. Gave a talk on Game semantics for fragments of ML at the GaLoP VII: Games for Logic and Programming Languages workshop in Dubrovnik
 11/04/12. Gave a talk on Programs, Security and Games at the Science of Information Systems workshop, LIMS London
 01/03/12. Organiser of the QMUL Theory Group Seminar. If you are interested in giving a seminar or being added to our mailing list, please contact me in the first instance