↓Skip to main content

Meetings

Table of Contents

This section lists my involvement in scientific meetings since 2005.

2024 #

  • IFIP WG 2.11: Working Group Meeting on Program Generation, Edinburgh, Scotland, 3–6 December 2024 (Member)
  • SLE ‘24: 17th ACM SIGPLAN International Conference on Software Language Engineering, Pasadena, California, USA, 20–21 October 2024 (PC co-chair)
  • JENSFEST 2024: This workshop celebrates the career and accomplishments of Jens Palsberg on the occasion of his 60th birthday. Pasadena, California, USA, 22 October 2024 (presentation: Towards Verification of a Denotational Semantics of Inheritance)
  • First Wolves Reunion: 50 Years on the Cherwell, Wolfson College, University of Oxford, 6–7 September 2024 (DPhil student 1971–75, Junior Research Fellow 1975–76)
  • ETAPS 2024: European Joint Conferences on Theory and Practice of Software, Luxembourg City, Luxembourg, 6–11 April 2024

2023 #

  • LangDev 2023: Language Developer’s Meetup, Utrecht, Netherlands, 14–15 November 2023
  • SLE ‘23: 16th ACM SIGPLAN International Conference on Software Language Engineering, Cascais, Lisbon, Portugal, 23–24 October 2023 (demonstration: Online name-based navigation for software meta-languages)
  • 5225: Anniversary celebration: 52 and 25 years, Aarhus University, Denmark, 26 May 2023 (visiting lecturer 1976–78, associate professor 1978–2004, head 1995–98)
  • Modular Semantics Seminar, University of Amsterdam, Amsterdam, 22 August 2023 (presentation: Languages for defining funcons – discussion)
  • EVCS 2023: Eelco Visser Commemorative Symposium, 5 April 2023, Delft, The Netherlands (Organising chair, and presentation: Using Spoofax to Support Online Code Navigation)
  • IFIP WG 2.11: Working Group Meeting on Program Generation, Delft, Netherlands, 3–4 April 2023 (Member, local organiser)

2022 #

  • IFIP WG 2.11: Working Group Meeting on Program Generation, Odense, Denmark, 15–18 August 2022 (Member, presentation: Using Spoofax to Support Online Code Navigation)
  • Modular Semantics Meet-Up, CWI, Amsterdam, 9 June 2022 (presentation: On the design of funcons)

2021 #

  • ISoLA 2021: International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Rhodes, Greece, 17–29 October 2021 (presentation: Fundamental concepts in programming languages, preprint)

2020 #

  • BCTCS 2020: 36th British Colloquium for Theoretical Computer Science, Swansea, UK, online, 6-8 April 2020 (presentation: Towards Semantics Online, PDF)
  • IFIP WG 2.11: Working Group Meeting on Program Generation, Paris, France, 17–20 February 2020 (Member)

2019 #

  • PLNL 2019: Second Workshop on Programming Languages in The Netherlands, Radboud University Nijmegen, 12 December 2019
  • Colloquium at Groningen: CBS, Component-based specification of programming languages, 13 November 2019
  • GPCE 2019: 18th International Conference on Generative Programming: Concepts & Experiences, Athens, Greece, 21–22 October 2019 (PC member)
  • HFM 2019: History of Formal Methods Workshop, Porto, Portugal, 11 October 2019 (PC member)
  • F-IDE 2019: 5th Workshop on Formal Integrated Development Environments, Porto, Portugal, 7 October 2019 (presentation: A component-based formal language workbench, preprint)
  • SBLP 2019: XXIII Brazilian Symposium on Programming Languages, Universidade Federal da Bahia – UFBA, Salvador, Brazil, 23–27 September 2019 (PC member)
  • PSI'19: 12th A.P. Ershov Informatics Conference, Akademgorodok, Novosibirsk, Russia, 2–5 July 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 (presentation: Reuse and co-evolution in CBS language specifications, slides PDF)
  • Lovelace lecture 2019 by Gordon Plotkin: Languages for learning, London, UK, 4 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)

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 #

  • Strachey100: Centenary conference celbrating the life and work of Christopher Strachey, Oxford, UK, 19 November 2016 (Invited talk: SIS, a semantics implementation system – video 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 2019
  • 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)
  • Research visit: Programming Languages Group, TU Delft, The Netherlands, April–June 2016

2015 #

2014 #

  • Peter Landin Semantics Seminar 2014: On correspondences between programming languages and semantic notations, BCS-FACS, London, UK, 8 December 2014 (presentation)
  • 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)

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 (PLanCompScollaboration)
  • 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 #

  • 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 (PLanCompScollaboration)
  • 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)

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 #

  • 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)

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 #

  • 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)

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)
↑