Peter D Mosses

Meetings

Recent and forthcoming meetings

2019

  • HFM 2019: History of Formal Methods Workshop, Porto, Portugal, 11 October 2019 (PC member)
  • SBLP 2019: XXIII Brazilian Symposium on Programming Languages, Universidade Federal da Bahia – UFBA, Salvador, Brazil, 23–27 September 2019 (PC member)
  • FSEN 2019: 8th IPM International Conference on Fundamentals of Software Engineering, Tehran, Iran, 1–3 May 2019 (PC member)
  • LangDev'19: an informal meeting on language development using language workbenches, Amsterdam, The Netherlands, 21–22 March 2019

2018

  • Seminar by Mohammad Mousavi: Conformance Testing as a Tool for Designing Connected Vehicle Functions, Delft, The Netherlands, 13 December (visit host)
  • BENEVOL 2018: The 17th Belgium-Netherlands Software Evolution Workshop, Delft, The Netherlands, 10–11 December 2018
  • Doctoral defence of Pablo Inostroza Valdera, University of Amsterdam, The Netherlands, 29 November 2018 (committee member)
  • PLNL 2018: First VERSEN Workshop on Programming Languages in The Netherlands, 22 November 2018, Utrecht, The Netherlands
  • SBLP 2018: XXII Brazilian Symposium on Programming Languages, University of São Paulo (ICMC/USP), São Carlos/SP, Brazil, 20–21 September 2018 (PC member)
  • IFIP WG 2.2: Working Group Meeting on Formal Description of Programming Concepts, Brno, Czech Republic, 17–19 September 2018 (Member)
  • Modeling for Sustainability, Dagstuhl, Germany, 26–31 August 2018
  • IFIP WG 2.11: Working Group Meeting on Program Generation, Kyoto, Japan, 4–7 June 2018 (Member, presentation: The CBS Framework, slides PDF)
  • CoCoDo 2018: Compiler Coding Dojo, Nice, France, 9 April 2018 (Presentation: FunCons)
  • LangDev Meet-Up 2018 @ CWI, Amsterdam, The Netherlands, 8–9 March 2018 (Presentation: Funcons: reusable components of language specifications, slides PDF)

Previous meetings (since 2005)

2017

  • 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, YouTube video)
  • 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, paper: CoFI with Don Sannella)

2016

2015

2014

2013

  • PLanCompS: Project Meeting, Royal Holloway, UK, 16–17 December 2013
  • SBLP 2013: XVII Brazilian Symposium on Programming Languages, Brasilia, Brazil, 29 September–4 October 2013 (PC member)
  • IFIP WG 2.2: Working Group Meeting on Formal Description of Programming Concepts, Lisbon, Portugal, 23–26 September 2013 (member)
  • PPDP 2013: 15th International Symposium on Principles and Practice of Declarative Programming, Madrid, Spain, 16–18 September 2013
  • LOPSTR 2013: 23rd International Symposium on Logic-Based Program Synthesis and Transformation, Madrid, Spain, 16–18 September 2013 (paper: Generating Specialized Interpreters for Modular Structural Operational Semantics, with Casper Bach Poulsen)
  • CONCUR 2013: 24th International Conference on Concurrency Theory, Buenos Aires, Argentina, 27–30 August 2013 (paper: Modular Semantics for Transition System Specifications with Negative Premises, with Martin Churchill and Mohammad Reza Mousavi)
  • SLS 2013: Workshop on Scalable Language Specification, Cambridge, UK, 25–27 June 2013 (co-organiser, PLanCompS presentation, coauthor)
  • University of Illinois at Urbana-Champaign, USA, 7–9 Jun 2013 (PLanCompS collaboration)
  • IFIP WG 2.11: Working Group Meeting on Program Generation, Minneapolis, USA, 3–7 June 2013 (member)
  • FSEN 2013: Fundamentals of Software Engineering, Tehran, Iran, 24-26 April 2013 (PC member)
  • CPHC 2013: Annual Conference, Cardiff, Wales, 25–26 March 2013
  • FoSSaCS 2013: 16th International Conference on Foundations of Software Science and Computation Structures, Rome, Italy, 18–20 March 2013 (paper: Modular Bisimulation Theory for Computations and Values, with Martin Churchill)
  • IFIP WG 1.3: Working Group Meeting on Foundations of System Specification, Rome, Italy, 16 March 2013 (member)

2012

2011

  • Mathematics and Computer Science Colloquium, Eindhoven University of Technology, The Netherlands, 15 Dec 2011 (PLanCompS presentation)
  • PEM seminar, Software Analysis and Transformation, CWI, Amsterdam, The Netherlands, 14 Dec 2011 (PLanCompS presentation)
  • Doctoral defence of Lennart Kats, Delft University of Technology, The Netherlands, 13 Dec 2011 (committee member)
  • Symposium on Software Language Design and Engineering, Delft University of Technology, The Netherlands, 13 Dec 2011 (PLanCompS presentation)
  • SBLP 2011: XV Brazilian Symposium on Programming Languages, São Paulo, Brazil, 26–30 September 2011 (PC member)
  • IFIP WG 2.2: Working Group Meeting on Formal Description of Programming Concepts, Paris, France, 21–23 September 2011 (member)
  • PLanCompS: Project Kick-Off Meeting, Swansea, UK, 16–18 September 2011
  • DSL 2011: Conference on Domain-Specific Languages, Bordeaux, France, 6–8 September 2011
  • IFIP WG 2.11: Working Group Meeting on Program Generation, Bordeaux, France, 3–5 September 2011 (observer, PLanCompS presentation)
  • K Workshop 2011: 2nd International Workshop, Cheile Gradistei, Romania, 8–12 August 2011 (PC member)
  • SLE 2011: 4th International Conference on Software Language Engineering, Braga, Portugal, 3–6 July 2011 (PC member)
  • PSI'11: Ershov Informatics Conference (PSI Conference Series, 8th edition), Novosibirsk, Russia, 27 June – 1 July 2011 (PC member)
  • FSEN 2011: Fundamentals of Software Engineering, Tehran, Iran, 20-22 April 2011 (PC member)
  • LDTA 2011: 11th Workshop on Language Descriptions, Tools and Applications, Saarbrücken, Germany, 26–27 March 2011 (tool challenge presentation)
  • Inaugural lecture: The Language of Mechanism, Royal Holloway, University of London, UK, 10 March 2011

2010

2009

  • Seminar on Component-Based Semantics, Instituto de Computação, Universidade Federal Fluminense, Brazil, 10 December 2009
  • ICFEM 2009: 11th International Conference on Formal Engineering Methods, Rio de Janeiro, Brazil, 8–11 December 2009 (session chair)
  • FM+AM'09: Intl. Workshop on Formal Methods and Agile Methods, Rio de Janeiro, Brazil, 8 December 2009 (paper: An Agile Approach to Language Modelling and Development)
  • Symposium for Mogens Nielsen's 60th Birthday, Aarhus, Denmark, 3–4 October 2009 (invited talk: On Bisimulation and Modularity)
  • IFIP WG 1.3 Meeting, Udine, Italy, 11–12 September 2009
  • Symposium, Udine, Italy, 10 September 2009 (Festschrift: Semantics and Algebraic Specification, edited by Jens Palsberg)
  • CALCO 2009: 3rd Conference on Algebra and Coalgebra in Computer Science, Udine, Italy, 6–10 September 2009 (SC member)
  • SAVCBS 2009: 8th Workshop on Specification and Verification of Component-Based Systems, Amsterdam, The Netherlands, 25 August 2009 (paper: Component-Based Semantics)
  • SBLP 2009: XIII Brazilian Symposium on Programming Languages, Gramado-RS, Brazil, 19–21 August 2009 (PC member)
  • PSI'09: 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, Novosibirsk, Russia, 15–19 June 2009 (PC member)
  • FSEN'09: 3rd International Conference on Fundamentals of Software Engineering, Kish Island, Iran, 15–17 April 2009 (PC member)
  • MFPS 2009: 25th Conference on the Mathematical Foundations of Programming Semantics, Oxford, UK, 3–7 April 2009
  • LDTA 2009: 9th Workshop on Language Descriptions, Tools and Applications, York, UK, 25–26 March 2009

2008

2007

  • CALCO 2007: 2nd Conference on Algebra and Coalgebra in Computer Science, Bergen, Norway, 20–24 August 2007 (PC member)
  • FSEN 2007: Fundamentals of Software Engineering, Tehran, Iran, 20–21 April 2007 (keynote speaker and tutorial presenter)
  • IFIP WG 1.3: Working Group Meeting on Foundations of System Specification, Braga, Portugal, 23–24 March 2007 (member)
  • BCTCS 2007: 23rd British Colloquium for Theoretical Computer Science, Oxford, 2–5 April 2007 (speaker)

2006

  • TFM 2006: Teaching Formal Methods: Practice and Experience, BCS-FACS Christmas Meeting, London, 15 December 2006 (speaker)
  • IFIP WG2.2: 40th Anniversary Meeting of Working Group on Formal Description of Programming Concepts, Udine, Italy, 11–13 September 2006 (speaker)
  • Symposium for Gordon Plotkin, Edinburgh, 7–8 September 2006 (invited participant)
  • MFCS 2006: 31st International Symposium on Mathematical Foundations of Computer Science, High Tatras, Slovakia, 28 August – 1 September 2006 (PC member)
  • MMOSS: Seminar on Methods for Modelling Software Systems, Dagstuhl, Germany, 27 August – 1 September 2006 (speaker)
  • SOS 2006: Third Workshop on Structural Operational Semantics, Bonn, Germany, 26 August 2006 (co-organizer)
  • AMAST’06: 11th International Conference on Algebraic Methodology and Software Technology, Kuressaare, Estonia, 5–8 July 2006 (PC member)
  • PSI’06: Sixth International Andrei Ershov Memorial Conference on Perspectives of System Informatics, Novosibirsk, Akademgorodok, Russia, 27–30 June 2006 (PC member)
  • WADT’06: 18th International Workshop on Algebraic Development Techniques, Chateau Floreal La Roche en Ardenne, Belgium, 1–3 June 2006 (SC and PC member)
  • SBLP 2006: Tenth Brazilian Symposium on Programming Languages, Itatiaia, Brazil, 15–17 May 2006 (programme committee member)
  • BCTCS 2006: 22nd British Colloquium for Theoretical Computer Science, Swansea, 4–7 April 2006 (invited speaker, sponsored by BCS-FACS)
  • BCS-FACS Evening Seminar, London, 3 March 2006 (speaker)

2005

  • IFIP WG 1.3: Working Group Meeting on Foundations of System Specification, Swansea, 7–8 September 2005 (local organizer)
  • CALCO 2005: First Conference on Algebra and Coalgebra in Computer Science, Swansea, 3–6 September 2005 (SC and PC member)
  • CALCO-jnr 2005: CALCO Young Researchers Workshop, Swansea, 2 September 2005 (organizing committee member)

 

Photo of Peter D Mosses

E-mail page maintainer