talks
Here are the slides of talks I have given.
Polynomial-Time Equivalence Testing for Deterministic Fresh-Register Automata, at Highlights of Logic, Games and Automata, Berlin, Sep 2018. pdf
Game Semantics 25 years on, at Games 25, FLOC, Oxford, July 2018. pdf
Nominal game semantics, at FCGM-2018, Athens, June 2018. pdf
An overview of game semantics for polymorphism, at GALOP XIII, ETAPS, Thessaloniki, Apr 2018. pdf
Nominal games: a semantics paradigm for effectful languages, at Dagstuhl seminar on Program Equivalence, Schloss Dagstuhl, Apr 2018. pdf
Higher-Order Linearisability, at Compositionality workshop, Simons Institute, Berkeley, Dec 2016. pdf, video
Automata over infinite alphabets: automata with registers and histories, at Verification seminar, University of Oxford, Nov 2016. pdf
Nominal games: a semantics paradigm for effectful languages, at PLAS seminar, University of Kent, Nov 2016. pdf
Nominal games: a semantics paradigm for effectful languages, at Workshop on Higher-Order Model Checking + Communicating, Distributed and Parameterised Systems, IMS, Singapore, Sep 2016. pdf
Model Checking Program Equivalence in Interface Middleweight Java, at PPLV seminar, UCL, Apr 2016. pdf
Game Semantics for Interface Middleweight Java, at Workshop on Program Equivalence, QMUL, Apr 2016. pdf
Model Checking Program Equivalence in Interface Middleweight Java, at Higher-Order Model Checking, NII Shonan meeting, Shonan, Japan, Mar 2016. pdf
History-Register Automata, at DIMAP seminar, University of Warwick, Jan 2016. pdf
Automata over infinite alphabets: Investigations in Fresh-Register Automata, at Logical Foundations of Data Science, UCL, Nov 2015. pdf
Game Semantic Analysis of Equivalence in Interface Middleweight Java, at ATVA'15: 13th International Symposium on Automated Technology for Verification and Analysis, Oct 2015. pdf
Automata over infinite alphabets: Investigations in Fresh-Register Automata, at University of Southampton, Sep 2015. pdf
Game Semantics for Interface Middleweight Java, at Semantics and Verification of OO Languages, NII Shonan meeting, Shonan, Japan, Sep 2015. pdf
Bisimilarity in Fresh-Register Automata, at Highlights of Logic, Games and Automata, Prague, Sep 2015. pdf
Nominal games: a low-level semantics for open programs, at LOLA 2015: Syntax and Semantics of Low-Level Languages, Kyoto, Jul 2015. pdf
Game Semantic Analysis of Equivalence in Interface Middleweight Java, at MFPS XXXI: 31st Conference on the Mathematical Foundations of Programming Semantics, Nijmegen, Jun 2015. pdf
Automata over infinite alphabets: Investigations in Fresh-Register Automata, at PLS10: 10th Panhellenic Logic Symposium, Samos, Greece, Jun 2015. pdf
Nominal game semantics: what's new, at GaLoP X: Games for Logic and Programming Languages, ETAPS workshop, London, Apr 2015. pdf
Automata over infinite alphabets: Investigations in Fresh-Register Automata, at University of Birmingham, Feb 2015. pdf
Nominal game semantics and automata, at Aarhus University, Feb 2015. pdf
Nominal game semantics and automata, at Microsoft Research, Cambridge, Dec 2014. pdf
Automata (& programs) over infinite alphabets, at OASIS 10 Year Anniversary Workshop, Oxford, Nov 2014. pdf
Nominal game semantics and automata, at Semantics of proofs and programs, IHP workshop, Paris, Jun 2014. pdf
Game Semantics for Interface Middleweight Java, at GaLoP IX: Games for Logic and Programming Languages, ETAPS workshop, Grenoble, Apr 2014. pdf
Game Semantics for Nominal Exceptions, at FoSSaCS'14: 17th International Conference on Foundations of Software Science and Computation Structure, Grenoble, Apr 2014. pdf
Game Semantics for Interface Middleweight Java, at POPL'14: 41st ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, San Diego, California, Jan 2014. pdf
Games and Full Abstraction for Java programs, at Programming Languages Seminar, National Technical University of Athens, Dec 2013. pdf
Names, games and automata, at Nominal Computation Theory. Dagstuhl Seminar 13422, Schloss Dagstuhl, Germany, October 2013. pdf
Deconstructing general references using game semantics, at HOPE 2013: The 2nd ACM SIGPLAN Workshop on Higher-Order Programming with Effects. ICFP satellite workshop, Boston, September 2013. pdf
Deconstructing general references using game semantics, at GaLoP VIII: Games for Logic and Programming Languages. Queen Mary, University of London, July 2013. pdf
Towards Nominal Abramsky, at Samson@60: A Conference in Honour of Samson Abramsky, on the event of his 60th Birthday, Oxford, May 2013. pdf
History-Register Automata, at FoSSaCS'13: 16th International Conference on Foundations of Software Science and Computation Structures, Rome, Mar 2013. pdf
Games with names, at Programming Languages Seminar, National Technical University of Athens, Dec 2012. pdf
Game semantics for fragments of ML, at GaLoP VII: Games for Logic and Programming Languages. LICS workshop, Dubrovnik, Croatia, June 2012. pdf
Games with names, at Theory Seminar, Queen Mary, University of London, Apr 2012. pdf
Programs, Security and Games, at The Science of Information Systems, LIMS workshop, Apr 2012. pdf
Games with names, at Nominal Sets meet Automata Theory, University of Warsaw, Feb 2012. pdf
Games with names, at Nominal Workshop, University of Leicester, Nov 2011. pdf
Game semantics for good general references, at Séminaire PPS. PPS, Paris Diderot, Sep 2011. pdf (using also Andrzej's slides from LICS'11)
Functional reachability, at Automated Techniques for Higher-Order Program Verification. NII Shonan meeting, Shonan, Japan, Sep 2011. pdf
Games with names, at Automated Techniques for Higher-Order Program Verification. NII Shonan meeting, Shonan, Japan, Sep 2011. pdf
Games with names, at Groupe de travail Sémantique weekly seminar. PPS, Paris Diderot, Sep 2011. pdf
Algorithmic Nominal Game Semantics, short presentation at LiCS'11: 26th IEEE Annual Symposium on Logic in Computer Science, Toronto, June 2011. pdf
Games with names, at FMG Seminar, Trinity College, Dublin, May 2011. pdf
Games with new resources, at Oxford Logic for Interaction Workshop, Oxford, April 2011. pdf
Algorithmic Nominal Game Semantics, at ESOP'11: 20th European Symposium on Programming, Saarbrücken, Germany, March 2011. pdf
Fresh-Register Automata, at POPL'11: 38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Austin, Texas, Jan 2011. pdf
Fresh-Register Automata, at Computer Science Seminar, University of Leicester, November 2010. pdf
Program equivalence with names, at Modelling, Controlling and Reasoning About State. Dagstuhl Seminar, Schloss Dagstuhl, Germany, August 2010. pdf
Functional reachability, at Game Semantics and Program Verification. Dagstuhl Seminar, Schloss Dagstuhl, Germany, June 2010. pdf
AJM-games revisited, at GaLoP V: Games for Logic and Programming Languages. ETAPS workshop, Paphos, Cyprus, March 2010. pdf
Functional Reachability, at AVoCS'09: 9th International Workshop on Automated Verification of Critical Systems, Gregynog, Wales, September 2009. pdf
Functional Reachability, at LiCS'09: 24th IEEE Annual Symposium on Logic in Computer Science, Los Angeles, August 2009. pdf
Full abstraction for Reduced ML, at FoSSaCS'09: 12th International Conference on Foundations of Software Science and Computation Structures, York, March 2009. pdf
Game Semantics and Block-Structured State, at GaLoP IV: Games for Logic and Programming Languages. ETAPS workshop, York, March 2009. pdf
Nominal Techniques: from Nominal Logic to Nominal Games, at LINT: Workshop on Logic for Interaction, Amsterdam, December 2008. pdf
Full abstraction for nominal exceptions and general references, at GaLoP III: Games for Logic and Programming Languages, Budapest, April 2008. pdf
Full abstraction for nominal general references, at LiCS'07: 22nd IEEE Annual Symposium on Logic in Computer Science, Wroclaw, July 2007. pdf pdf 4x
Full abstraction for nominal general references, at Mathematical Theories of Abstraction, Substitution and Naming in Computer Science, ICMS, Edinburgh, May 2007. pdf