- 01/02/20. We launched the website of our tool mokapot!
- 06/04/19. Talk by Yu-Yang Lin on A Bounded Model Checking Technique for Higher-Order Programs at SETTA'19
- 30/11/19. Talk on DEQ : Equivalence Checker for Deterministic Register Automata at ATVA'19
- 16/08/19. Summer school course on Game Semantics at ESSLLI 2019
- 06/04/19. Talk by Yu-Yang Lin on A Framework for Compositional Model Checking at the GALOP workshop @ ETAPS'19
-
19/08/18.
Gave summer school lecture on Automata over Infinite Alphabets at the
MOVEP'18 summer school
-
08/07/18.
Gave a talk on Game Semantics 25 years on at the
Games 25 workshop @ FLOC'18
-
28/06/18.
Gave a talk on Nominal game semantics at the
First Congress of Greek Mathematicians
-
14/04/18.
Gave a talk on An overview of game semantics for
polymorphism at the
GALOP workshop @ ETAPS'18
-
10/04/18.
Gave a talk on Nominal games: a semantics paradigm
for effectful languages at the
Dagstuhl seminar on Program Equivalence
-
08/12/16.
Gave a talk on Higher-Order 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 Higher-Order Model Checking + Communicating, Distributed and Parameterised Systems
-
10/06/16.
New EPSRC project on System-Level 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 Higher-Order Model Checking
-
26/01/16.
Gave a talk on History-Register Automata at the Warwick DIMAP seminar
-
17/11/15.
Gave a talk on Automata over infinite alphabets:
Investigations in Fresh-Register 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 Fresh-Register 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 Fresh-Register 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 low-level 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 Fresh-Register 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 Fresh-Register 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 (&#59 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 co-chairs Pasquale Malacaria and myself
-
18/03/13. Presented joint paper with Radu Grigore on History-Register Automata at FOSSACS'13
-
08/03/13. Co-chair of GALOP 2013, which is going to be held at Queen Mary, on 18-19 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