Peter D Mosses

Meetings

Here's a list of recent and forthcoming meetings in which I'm involved:

  • PSI'17: 11th A.P. Ershov Informatics Conference, Moscow, Russia, 26–29 June 2017 (PC member)
  • FSEN 2017: 7th IPM International Conference on Fundamentals of Software Engineering, Tehran, Iran, 26–28 April 2017 (PC member)
  • Strachey100: Centenary conference celbrating the life and work of Christopher Strachey, Oxford, UK, 19 November 2016 (Invited talk: SIS, a semantics implementation system)
  • SPLASH 2016: ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity, Amsterdam, The Netherlands, 30 October – 4 November 2016 (attending GPCE, SLE)
  • GDP70: Symposium in honour of Gordon Plotkin's 70th birthday, Edinburgh, Scotland, 9 September 2016 (Contributed talk PDF: Modular SOS for control operators)
  • Research visit: Programming Languages Group, TU Delft, The Netherlands, September 2016 – August 2017
  • Modularity'16: 15th International Conference on Modularity, Málaga, Spain, 14–17 March 2016 (Research Results Track PC member; Demonstration Track paper: Tool support for component-based semantics, with Thomas van Binsbergen and Neil Sculthorpe)

Previous meetings (since 2005)

Most recent first:

 

Photo of Peter D Mosses

E-mail page maintainer