Archives
My old personal home page at Swansea University is no longer updated, and likely to disappear in the near future. Items of potential current interest have been copied to my new home page.
This page is an archive of items that are unlikely to be of interest (other than to myself). Links to external websites are not checked, and may no longer be valid.
Previous affiliations
1967–2015
- SCP: Science of Computer Programming journal
(editorial board member 2010–2015)
- UKCRC: an expert panel for computing research
(member 2007–2015)
- Theory Group, Swansea: university research group
(member 2005–2015)
- Computer Science, Swansea: university department
(professor 2005–2015, research committee chair 2006–2014)
- HOSC: Higher-Order and Symbolic Computation journal
(advisory board member 2003–2015)
- CIn-UFPE, Recife: university department
(visiting researcher 2000)
- Informatics, Warsaw: university department
(visiting researcher 1999)
- SRI International, Menlo Park: research institute
(visiting researcher 1998–99)
- STTT: Software Tools for Technology Transfer journal
(advisory board member 1997–2015)
- CoFI: Common Framework Initiative for algebraic specification and development
(steering committee member 1995–2005, coordinator 1995–98)
- BRICS, Aarhus University: university research centre
(kernel researcher 1993–2004)
- Informatics, Edinburgh: university department
(senior research fellow 1983)
- Computer Science, Aarhus: university department
(visiting lecturer 1976–78, associate professor 1978–2004, head 1995–98)
- Wolfson, Oxford: university college
(graduate student 1971–75, junior research fellow 1975–76)
- PRG, Oxford: programming research group
(MSc 1970–71, DPhil 1971–75, postdoc 1975–76)
- Trinity, Oxford: university college
(BA 1967–70, MSc 1970–71)
Research topics
2014
Many of the topics mentioned below are involved in PLanCompS (Programming Language Components and Specifications), a joint research project based at Swansea, RHUL and City, funded by EPSRC, with project partner Microsoft Research Cambridge, 2011–2016.
Semantics of Programming Languages
A formal semantics of a programming language defines the computational behaviour of all programs in the language, just as a formal grammar defines their syntax.
The main aim of my research in the area of semantics is practical applicability, and I have focussed on improving the modularity of semantic specifications. My most recent work on component-based semantics proposes an incremental approach to the development of semantic specifications, with a high degree of reusability. I’m also developing a component-based approach to proving algebraic properties of programming constructs.
A further aim is to provide an online repository of reusable independent specifications of basic programming constructs. I also intend to develop a digital library of formal specifications of programming languages.
Overviews:
I’ve written several introductions to formal semantics, generally focussing on pragmatic aspects – in particular, on modularity.
Component-Based Semantics:
This is a general framework for reusable semantic descriptions of individual programming constructs, developed since 2001 – initially for action semantics with Kyung-Goo Doh (Hanyang, Korea). Its practicality and scalability will be tested in the PLanCompS project, by giving component-based specifications of major languages such as C# and Java.
Modular SOS (MSOS and I-MSOS):
MSOS is modular variant of Gordon Plotkin’s Structural Operational Semantics, developed since the late 1990s. It allows the semantics of individual programming constructs to be specified independently, which is of crucial importance for the PLanCompS project.
Action Semantics:
Action Semantics is a modular hybrid of denotational and operational semantics, developed since 1985, together with David Watt (Glasgow).
A variant of Action Semantics has been exploited by the Object Management Group in connection with the Model Driven Architecture (MDA) technology and the Unified Modelling Language (UML).
Abstract Semantic Algebras:
This modular hybrid of denotational and algebraic semantics was explored in the early 1980s.
Denotational Semantics:
As a graduate student at the Programming Research Group in Oxford in the early 1970s, I worked on the framework developed by Dana Scott and Christopher Strachey.
Tools are needed to support the development, validation, and use of semantic descriptions. I have implemented tools for denotational semantics, action semantics, MSOS, and constructive semantics.
Action Environment:
This prototype tool provides support for constructive action semantics. It is based on The Meta-Environment, developed with Mark van den Brand (then at CWI, Amsterdam) and Jørgen Iversen (then at Aarhus) 2001-2005. It has not been released, as it requires updating to work with the current version of the Meta-Environment.
Prolog MSOS Tool:
I have implemented a tool in Prolog to support the teaching of formal semantics using Modular SOS. A new version of the tool is being used in the PLanCompSproject.
MAT:
MAT was a prototype tool for action semantics and MSOS, based on Maude, developed with Christiano Braga and Hermann Hauesler (then at PUC, Rio de Janeiro, Brazil) and José Meseguer (then at SRI International, USA), 1998–2001. It has been superseded by MMT, the Maude MSOS Tool.
ASD Tools:
The ASD Tools supported the original version of action semantics. They were based on the ASF+SDF Meta-Environment, and developed with Arie van Deursen (then at CWI, Amsterdam) in the mid-1990s.
SIS:
SIS was the first semantics implementation system for running programs according to their denotational semantics, developed 1975–79. It was written in BCPL, and ported to several operating systems.
Algebraic Specification Frameworks
This area concerns the formal specification of requirements and design for software. My contributions here have focussed mainly on frameworks that support algebraic (axiomatic) specifications of data, functions, and processes.
CASL:
CASL, The Common Algebraic Specification Language, was developed by CoFI (the Common Framework Initiative for algebraic specification and development of software). I was the overall coordinator of CoFI 1995-98, coauthor of the CASL User Manual with Michel Bidoit, and editor of the CASL Reference Manual.
Algebraic Higher-Order Set Theory:
This framework involves a restriction of Z to Horn-clause logic and non-extensional models. It was developed with Claus Hintermeier and Hélène Kirchner (Nancy, France) 1995–99.
Unified Algebras:
This is a variety of Horn-clause logic that allows algebraic specification of type constructors. It was developed in the late 1980s, and used as the meta-notation for action semantics until the end of the 1990s.
Links
2014
Collaboration
- Adrian Johnstone and Elizabeth Scott, Royal Holloway, University of London (RHUL), UK
- Mark van den Brand and Michel Reniers, Eindhoven University of Technology, The Netherlands
- Mohammad Reza Mousavi, Halmstad University, Sweden
- Interactive Software Development and Renovation Group, Centrum voor Wiskunde en Informatica (CWI), Amsterdam, The Netherlands
- Formal Systems Laboratory, University of Illinois at Urbana-Champaign, USA
- The UCMaude Group, Facultad de Informática, Universidad Complutense de Madrid, Spain
- Christiano Braga, Instituto de Computação, Universidade Federal Fluminense, Brazil
Denmark
- BRICS, Basic Research in Computer Science, Research Centre and International PhD School at the Universities of Aarhus and Aalborg, Denmark
- Computer Science Department, University of Aarhus, Denmark (old DAIMI site)
Other
Previous meetings
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
- Habilitation defence of Benoit Combemale, University of Rennes I, France, 4 December 2015 (jury member)
- IFIP WG 2.11: Working Group Meeting on Program Generation, London, UK, 9–12 November 2015 (member)
- NWPT 2015: 27th Nordic Workshop on Programming Theory, Reykjavik, Iceland, 21–23 October 2015 (abstracts: Tool support for component-based semantics, with Thomas van Binsbergen and Neil Sculthorpe; and Using typings as types, with Casper Bach Poulsen and Neil Sculthorpe)
- LRC: Logic, Rewriting, and Concurrency – Festschrift Symposium in Honor of José Meseguer, Urbana, Illinois, USA, 23–25 September 2015 (paper: Weak bisimulation as a congruence in MSOS, with Ferdinand Vesely)
- SBLP 2015: XIX Brazilian Symposium on Programming Languages, Belo Horizonte, Brazil, 21–26 September 2015 (PC member)
- PSI’15: Ershov Informatics Conference, Innopolis, Kazan, Russia, 25–27 August 2015 (PC member)
- DiverSE’s Seminar: Software Language Engineering, Rennes, France, 28 May 2015 (keynote speaker)
- FSEN 2015: Fundamentals of Software Engineering, Tehran, Iran, 22–24 April 2015 (PC member)
- WoC’15: Workshop on Continuations, Satellite event of ETAPS 2015, London, UK, 12 April 2015 (paper: A modular structural operational semantics for delimited continuations, with Neil Sculthorpe and Paolo Torrini)
- Modularity’15: 14th International Conference on Modularity, Fort Collins, Colorado, USA, 16–19 March 2015 (keynote: A component-based approach to semantics)
- Domain-Specific Languages: Seminar, Dagstuhl, Germany, 1–6 February 2015
- 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)
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)
##