Peter D Mosses


Here's a list of the past and forthcoming meetings in which I'm involved (since 2005):

  • SLE 2017: 10th ACM SIGPLAN International Conference on Software Language Engineering, Vancouver, Canada, 23–24 October 2017 (Keynote: Engineering meta-languages for specifying software languages)
  • IFIP WG 2.2: Working Group Meeting on Formal Description of Programming Concepts, Bordeaux, France, 18–20 September 2017 (Member)
  • SLEBoK: The Software Language Engineering Body of Knowledge, Dagstuhl, Germany, 20–25 August 2017
  • 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)
  • Sannellabration: Workshop in Celebration of Don Sannella's 60th Birthday, Uppsala, Sweden, 23 April 2017 (Invited talk: CoFI with Don)
  • Strachey100: Centenary conference celbrating the life and work of Christopher Strachey, Oxford, UK, 19 November 2016 (Invited talk: SIS, a semantics implementation systemvideo on iTunes U)
  • 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