Peter D Mosses

Meetings

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

  • Peter Landin Semantics Seminar 2014: On correspondences between programming languages and semantic notations, BCS-FACS, London, UK, 8 December 2014 (presentation)
  • PEPM 2015: ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Mumbai, India, 13–14 January 2015 (paper: Imperative polymorphism by store-based types as abstract interpretations, with Casper Bach Poulsen and Paolo Torrini)
  • Domain-Specific Languages: Seminar, Dagstuhl, Germany, 1–6 February 2015
  • MODULARITY'15: 14th International Conference on Modularity, Fort Colliins, Colorado, USA, 16–19 March 2015 (keynote speaker)
  • FSEN 2015: Fundamentals of Software Engineering, Tehran, Iran, 22–24 April 2015 (PC member)
  • PSI'15: Ershov Informatics Conference, Innopolis, Kazan, Russia, 25–27 August 2015 (PC member)

Previous meetings (since 2005)

Most recent first:

  • Doctoral defence of Arjan P. van der Meer, Eindhoven University of Technology, The Netherlands, 10 November 2014 (committee member)
  • NWPT 2014: 26th Nordic Workshop on Programming Theory, 29-31 October 2014, Halmstad University, Sweden (abstract: Divergence as state in co-inductive big-step semantics, with Casper Bach Poulsen)
  • Seminar: A component-based approach to programming language semantics, Newcastle, UK, 28 October 2014
  • Doctoral defence of Ken Madlener, Radboud University, Nijmegen, The Netherlands, 9 October 2014 (committee member)
  • SBLP 2014: XVIII Brazilian Symposium on Programming Languages, Maceio, Brazil, approx 28 September–3 October 2014 (PC member)
  • IFIP WG 2.2: Working Group Meeting on Formal Description of Programming Concepts, Munich, Germany, 15–18 September 2014 (member)
  • Luca Cardelli Fest: an event in honour of Luca Cardelli, Microsoft Research Cambridge, UK, 8–9 September 2014
  • SLE 2014: 7th International Conference on Software Language Engineering, Västerås, Sweden, 14–15 September 2014 (PC member)
  • PSI'14: Ershov Informatics Conference, St. Petersburg, Russia, 24–27 June 2014 (PC member)
  • MODULARITY'14: 13th International Conference on Modularity, Lugano, Switzerland, 22–25 April 2014 (paper: Reusable Components of Semantic Specifications, with Martin Churchill and Paolo Torrini)
  • ESOP'14: 23rd European Symposium on Programming, Grenoble, France, 7–11 April 2014 (paper: Deriving Pretty-Big-Step Semantics from Small-Step Semantics, with Casper Bach Poulsen)
  • WRLA'14: 10th International Workshop on Rewriting Logic and Its Applications, 5–6 April 2014, Grenoble, France (paper: FunKons: Component-Based Semantics in K, with Ferdinand Vesely)
  • 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)
  • Research colloquium, Software Engineering Research Group, Delft University of Technology, The Netherlands, 13 Dec 2012
  • Doctoral defence of Luc Engelen, Eindhoven University of Technology, The Netherlands, 11 Dec 2012 (committee member)
  • SLE 2012: 5th International Conference on Software Language Engineering, Dresden, Germany, 25–28 Sep 2012 (PC member)
  • IFIP WG 2.2: Working Group Meeting on Formal Description of Programming Concepts, Amsterdam, The Netherlands, 24–26 September 2012 (member, presentation)
  • SBLP 2012: XVI Brazilian Symposium on Programming Languages, São Paulo, Brazil, 23–28 Sep 2012 (PC member)
  • SSLF12: Summer School on Language Frameworks, Sinaia, Romania, 23–31 Jul 2012 (PLanCompS presentation)
  • IFIP WG 2.11: Working Group Meeting on Program Generation, Halmstad, Sweden, 25–27 Jun 2012 (observer, presentation)
  • Eindhoven University of Technology, The Netherlands, 15 Jun 2012 (PLanCompS collaboration)
  • CWI Lectures on Understanding Software, CWI, Amsterdam, The Netherlands, 14 Jun 2012
  • MFPS 2012: 28th Conference on the Mathematical Foundations of Programming Semantics, University of Bath, UK, 6–9 Jun 2012
  • 14th Wessex Theory Seminar, University of Bath, UK, 23 May 2012
  • PLanCompS: Project Meeting, Royal Holloway, UK, 19–20 Apr 2012
  • Robin Milner Sympoisum, Edinburgh, UK, 15–18 Apr 2012
  • Algebraic and Logical Methods for Data and Modelling, Gower, UK, 12 Apr 2012
  • Microsoft Research Cambridge, UK, 17 Jan 2012 (PLanCompS discussions)
  • Ott group, Cambridge University, UK, 16 Jan 2012 (PLanCompS discussions)
  • 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
  • Peter Landin Annual Semantics Seminar, London, UK, 6 December 2010
  • Mathematical Foundations Seminar, University of Bath, UK, 25 November 2010 (presentation: Fundamental Programming Constructs (Funcons))
  • 9th Wessex Theory Seminar, Imperial College London, UK, 4 November 2010 (presentation: On Bisimulation and Modularity)
  • Computer Science Seminar, University of Leicester, UK, 15 October 2010 (presentation: Modular Specification of Programming Languages: Advances and Challenges)
  • SLE 2010: 3rd International Conference on Software Language Engineering, Eindhoven, The Netherlands, 12–13 October 2010 (PC member)
  • GPCE'10: 9th International Conference on Generative Programming and Component Engineering, Eindhoven, The Netherlands, 10–12 October 2010
  • SBLP 2010: XIV Brazilian Symposium on Programming Languages, Salvador da Bahia, Brazil, 27 September – 1 October 2010 (PC member)
  • CBSoft 2010: Brazilian Conference on Software: Theory and Practice, Salvador da Bahia, Brazil, 27 September – 1 October 2010 (Tutorials PC member)
  • IFIP WG 2.2: Working Group Meeting on Formal Description of Programming Concepts, Warsaw, Poland, 20–22 September 2010 (member)
  • EXPRESS'10: 17th International Workshop on Expressiveness in Concurrency, Paris, France, 30 August 2010 (paper: Robustness of Equations Under Operational Extensions)
  • 8th Wessex Theory Seminar, Bath, UK, 13 July 2010
  • IFIP WG 1.3: Working Group Meeting on Foundations of System Specification, Bremen, Germany, 4–6 July 2010 (member)
  • AMAST 2010: 13th International Conference on Algebraic Methodology and Software Technology, Québec, Canada, 23–26 June 2010 (PC member)
  • ACM-BCS Visions 2010: International Conference, CPHC Conference, and UKCRC Grand Challenges, Edinburgh, UK, 13–26 April 2010
  • LDTA 2010: 10th Workshop on Language Descriptions, Tools and Applications, Paphos, Cyprus, 27–28 March 2010 (PC member)
  • 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
  • BCS 2008: Visions of Computer Science, London, UK, 22–24 September 2008 (paper: Component-Based Description of Programming Languages)
  • 2nd Wessex Theory Seminar, Bath, UK, 17 September 2008 (presentation: Implicit Propagation in SOS)
  • SBLP 2008: XII Brazilian Symposium on Programming Languages, Fortaleza, Brazil, 27–29 August 2008 (Co-chair and seminar on Advances and Challenges in Modular Semantics)
  • ICTAC 2008: 5th International Colloquium on Theoretical Aspects of Computing, Istanbul, Turkey, 1–3 September 2008 (PC member)
  • LSFA'08: Third Workshop on Logical and Semantic Frameworks, with Applications, Salvador de Bahia, Brazil, 26 August 2008 (PC member)
  • AMAST 2008: 12th International Conference on Algebraic Methodology and Software Technology, Urbana, USA, 28–31 July 2008 (PC member)
  • SOS 2008: 5th Structural Operational Semantics Workshop, Reykjavik, Iceland, 6 July 2008 (paper: Implicit Propagation in Structural Operational Semantics)
  • WADT 2008: 19th International Workshop on Algebraic Development Techniques, Pisa, Italy, 13–16 June 2008 (SC and PC member)
  • Colloquium in Honour of Ugo Montanari, Pisa, Italy, 12 June 2008
  • LDTA 2008: Eighth Workshop on Language Descriptions, Tools and Applications, Budapest, Hungary, 5 April 2008 (PC member)
  • 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)
  • 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)
  • 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