Membership in Steering Committees

• ICGT - International Conference on Graph Transformation (since October 2002)

• TERMGRAPH - International Workshop on Computing with Terms and Graphs (since September 2005)

Membership in Program Committees

• ICGT 2025 - 18th International Conference on Graph Transformation. Koblenz (Germany), June 10-13, 2025

• GCM 2025 - 16th International Workshop on Graph Computation Models. Koblenz (Germany), June 2025

• ICGT 2024 - 17th International Conference on Graph Transformation. Twente (The Netherlands), July 10-11, 2024

• ICGT 2023 - 16th International Conference on Graph Transformation. Leicester (UK), July 19-20, 2023

• GCM 2023 - 14th International Workshop on Graph Computation Models. Leicester (UK), July 18, 2023

• ICGT 2022 - 15th International Conference on Graph Transformation. Nantes (France), July 7-8, 2022

• GCM 2022 - 13th International Workshop on Graph Computation Models, Nantes (France), July 6, 2022

• ICGT 2021 - 14th International Conference on Graph Transformation. Online, June 24-25, 2021

• GCM 2021 - 12th International Workshop on Graph Computation Models, Online, June 22, 2021

• ICGT 2020 - 13th International Conference on Graph Transformation. Online, June 25-26, 2020

• GCM 2020 - 11th International Workshop on Graph Computation Models, Online, June 24, 2020

• GCM 2019 - 10th International Workshop on Graph Computation Models, Eindhoven (The Netherlands), July 17, 2019 [PC co-chair]

• ICGT 2019 - 12th International Conference on Graph Transformation, Eindhoven (The Netherlands), July 15-16, 2019

• TERMGRAPH 2018 - 10th International Workshop on Computing with Terms and Graphs, Oxford (United Kingdom), July 7, 2018

• GCM 2018 - 9th International Workshop on Graph Computation Models. Toulouse (France), June 27, 2018

• ICGT 2018 - 11th International Conference on Graph Transformation, Toulouse (France), June 25-26, 2018

• LATA 2018 - 12th International Conference on Language and Automata Theory and Applications, Bar Ilan University (Israel), April 8-12, 2018

• ICGT 2017 - 10th International Conference on Graph Transformation, Marburg (Germany), July 18-19, 2017 [PC co-chair]

• GCM 2017 - 8th International Workshop on Graph Computation Models, Marburg (Germany), July 17, 2017

• GaM 2017 - 3rd Workshop Graphs as Models, Uppsala (Sweden), April 22-23, 2017

• Symposium in Memory of Hartmut Ehrig - Berlin (Germany), October 10-12, 2016

• WADT 2016 - 23rd International Workshop on Algebraic Development Techniques, Gregynog (Wales), September 21-24, 2016

• ICGT 2016 - 9th International Conference on Graph Transformation, Vienna (Austria), July 5-6, 2016

• GCM 2016 - 7th International Workshop on Graph Computation Models, Vienna (Austria), July 4, 2016

• TERMGRAPH 2016 - 9th International Workshop on Computing with Terms and Graphs, Eindhoven (The Netherlands), April 8, 2016

• ICGT 2015 - 8th International Conference on Graph Transformation, L'Aquila (Italy), July 21-23, 2015

• GCM 2015 - 6th International Workshop on Graph Computation Models, L'Aquila (Italy), July 20, 2015 [PC chair]

• RTA 2015 - 26th International Conference on Rewriting Techniques and Applications, Warsaw (Poland), June 29 - July 3, 2015

• ICGT 2014 - 7th International Conference on Graph Transformation, York (UK), July 22-24, 2014

• GCM 2014 - 5th International Workshop on Graph Computation Models, York (UK), July 21, 2014

• WebS 2013 - 12th International Workshop on Web Semantics and Web Intelligence, Prague (Czech Republic), August 26-30, 2013

• TERMGRAPH 2013 - 7th International Workshop on Computing with Terms and Graphs, Rome (Italy), March 23, 2013 [PC co-chair]

• GCM 2012 - 4th International Workshop on Graph Computation Models, Bremen (Germany), September 29, 2012

• ICGT 2012 - 6th International Conference on Graph Transformation, Bremen (Germany), September 25-28, 2012

• WebS 2012 - 11th International Workshop on Web Semantics and Information Processing, Vienna (Austria), September 3-7, 2012

• WebS 2011 - 12th International Workshop on Web Semantics, Toulouse (France), August 29 - September 2, 2011

• TERMGRAPH 2011 - 6th International Workshop on Computing with Terms and Graphs, Saarbrücken (Germany), April 2, 2011

• ICGT 2010 - 5fth International Conference on Graph Transformation, Enschede (The Netherlands), September 27 - October 2, 2010

• GCM 2010 - 3rd International Workshop on Graph Computation Models, Enschede (The Netherlands), October 2, 2010

• WebS 2010 - 9th International Workshop on Web Semantics, Bilbao (Spain), August 30 - September 3, 2010

• URC* 2010 - Undergraduate Research in Computer Science (Student Conference), King's College London, March 24-26, 2010

• WebS 2009 - 8th International Workshop on Web Semantics, Linz (Austria), August 31 - September 4, 2009

• TERMGRAPH 2009 - 5th International Workshop on Computing with Terms and Graphs, York (United Kingdom), March 22-29, 2009

• ICGT 2008 - 4th International Conference on Graph Transformation; Leicester (United Kingdom), September 7-13, 2008

• GCM 2008 - 2nd International Workshop on Graph Computation Models, Leicester (United Kingdom), September 9, 2008

• WebS 2008 - 7th International Workshop on Web Semantics, Turin (Italy), September 1-5, 2008

• AGTIVE 2007 - 3rd International Workshop and Symposium on Applications of Graph Transformation with Industrial Relevance, Kassel (Germany), October 10-12, 2007

• GT-VC 2007 - 3rd International Workshop on Graph Transformation for Verification and Concurrency, Lisbon (Portugal), September 3, 2007

• WebS 2007 - 6th International Workshop on Web Semantics, Regensburg (Germany), September 3-7, 2007

• TERMGRAPH 2007 - 4th International Workshop on Computing with Terms and Graphs, Braga (Portugal), March 31, 2007 [PC co-chair]

• ICGT 2006 - 3rd International Conference on Graph Transformation, Natal (Brazil), September 17-21, 2006

• GCM 2006 - 1st International Workshop on Graph Computation Models, Natal (Brazil), September 18, 2006

• WebS 2006 - 5th International Workshop on Web Semantics, Krakow (Poland), September 4-8, 2006

• TERMGRAPH 2006 - 3rd International Workshop on Term Graph Rewriting, Vienna (Austria), April 1, 2006

• WebS 2005 - 5th International Workshop on Web Semantics, Copenhagen (Denmark), August 22-26, 2005

• ICGT 2004 - 2nd International Conference on Graph Transformation; Rome (Italy), September 27 - October 2, 2004

• TERMGRAPH 2004 - 2nd International Workshop on Term Graph Rewriting, Rome (Italy), October 2, 2004

• WebS 2004 - 3rd International Workshop on Web Semantics, Zaragoza (Spain), August 30 - September 3, 2004

• WebS 2003 - 2nd International Workshop on Web Semantics, Prague (Czech Republic), September 1-5, 2003

• ICGT 2002 - 1st International Conference on Graph Transformation, Barcelona (Spain), October 7-12, 2002

• TERMGRAPH 2002 - 1st International Workshop on Term Graph Rewriting, Barcelona (Spain), October 7, 2002 [PC chair]

• Workshop on Knowledge Transformation for the Semantic Web, Lyon (France), July 23, 2002

• AGT 2002 - APPLIGRAPH Workshop on Applied Graph Transformation, Grenoble (France), April 13, 2002

• GRATRA 2000 - Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems, Berlin (Germany), March 25-27, 2000

PhD Examination

• Roy Overbeek: A Unifying Theory for Graph Transformation
  PhD thesis, Vrije Universiteit Amsterdam, 2024

• Mudhafar Saber Hussein: Modelling and Analysing Adaptive Networks: From Graph Transformation System to Ordinary Differential Equation
  PhD thesis, University of Leicester, 2017

• Ran Wei: Automated Analysis and Validation of Model Management Programs
  PhD thesis, University of York, 2016

• Pedro De Oliveira Salazar Ribeiro: Timed Verification of Control Software
  PhD thesis, University of York, 2015

• Olivier Namet: Strategic Modelling with Graph Rewriting Tools
  PhD thesis, King's College London, 2012

• Adwoa Dansoa Donyina: Stochastic Modelling and Analysis of Dynamic Human-Resource Allocation (StADy)
  PhD thesis, University of Leicester, 2011

• Neil Mitchell: Transformation and Analysis of Functional Programs
  PhD thesis, University of York, 2008

• Adam Bakewell: An Operational Theory of Relative Space Efficiency
  PhD thesis, University of York, 2002

• Stefan Blom: Term Graph Rewriting - Syntax and Semantics
  PhD thesis, Vrije Universiteit Amsterdam, 2001

Grants

• Departmental grant for a two-month internship of an Indian undergraduate student (Anuja Ranjan, IIT Kanpur) from May 2011 to July 2011

• Departmental grant for a two-month internship of an Indian undergraduate student (Ambuj Singh, IIT Kanpur) from May 2010 to July 2010

• Departmental grant for a two-month internship of an Indian graduate student (Robin Suri, IIT Roorkee) from May 2009 to July 2009

• Joint project with Ecole Polytechnique (Paris), Compiler Technology for Parallel Graph Rewriting, partially funded by the British Council from January 2003 to December 2004

• Principal Investigator of the project Safe Pointers by Graph Transformation, funded by EPSRC (The Engineering and Physical Sciences Research Council) with a postdoctoral position from January 2002 to March 2003

• Fellowship of the DFG (Deutsche Forschungsgemeinschaft) for a stay at the University of Nijmegen (The Netherlands), from May 1998 to August 1998

• Fellowship of the European HCM network EXPRESS (Expressiveness in Concurrency) for a stay in Amsterdam (The Netherlands), from April 1997 to November 1997

• Coauthor of a grant proposal for the project Dschungelersetzung (second phase), funded by the DFG with a research associate position from November 1993 to October 1995

• Author of a grant proposal for the project Dschungelersetzung, funded by the DFG with a research associate position from April 1991 to March 1993

Refereeing

• Referee for journals: Journal of Computer and System Sciences; Information and Computation; Acta Informatica; Theoretical Computer Science; Formal Aspects of Computing; Fundamenta Informaticae; Mathematical Structures in Computer Science; Logical Methods in Computer Science; Information Processing Letters; Journal of Logic and Algebraic Programming; Applicable Algebra in Engineering, Communication and Computing; Software and Systems Modeling; Natural Computing

• Referee for conferences and workshops: Annual IEEE Symposium on Logic in Computer Science (LICS); International Colloquium on Automata, Languages and Programming (ICALP); European Symposium on Programming (ESOP); International Conference on Foundations of Software Science and Computation Structures (FOSSACS); International Symposium on Mathematical Foundations of Computer Science (MFCS); Colloquium on Trees in Algebra and Programming (CAAP); Annual Conference on Computer Science Logic (CSL); International Conference on Formal Structures for Computation and Deduction (FSCD); International Conference on Rewriting Techniques and Applications (RTA); International Conference on Graph Transformation (ICGT); International Static Analysis Symposium (SAS); Conference on Foundations of Software Technology and Theoretical Computer Science (FST & TCS); Symposium on Theoretical Aspects of Computer Science (STACS); International Conference on Language and Automata Theory and Applications (LATA); International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM); International Symposium on Principles and Practice of Declarative Programming (PPDP); International Conference on Concurrency Theory (CONCUR); International Symposium on Functional and Logic Programming (FLOPS); International Workshop and Symposium on Applications of Graph Transformation With Industrial Relevance (AGTIVE); International Workshop on Algebraic and Logic Programming (ALP); Workshop on Algebraic Development Techniques (WADT); International Workshop on Computing with Terms and Graphs (TERMGRAPH); International Workshop on Graph Computation Models (GCM); International Workshop on Rule-Based Programming (RULE); International Workshop on Termination (WST); Workshop on Graphs as Models (GaM); Workshop on Graph Transformation for Verification and Concurrency (GT-VC); International Workshop on Web Semantics (WebS)

• Paper reviewer for Computing Reviews (ACM) and Mathematical Reviews (AMS)

• Project referee for the Engineering and Physical Sciences Research Council (EPSRC), the Royal Society, the Leverhulme Trust, the British Council, the French National Research Agency (ANR), and the Netherlands Organisation for Scientific Research (NWO)

Project Management

• April 1997 to April 2002: Manager of the ESPRIT Working Group APPLIGRAPH (Applications of Graph Transformation) comprising 8 partner universities from 4 European countries

• March 1989 to February 1992: Manager of the ESPRIT Basic Research Working Group COMPASS (A Comprehensive Algebraic Approach to System Specification and Development) comprising 12 partner universities from 6 European countries

Participation in Projects

• Compiler Technology for Parallel Graph Rewriting, joint project with Ecole Polytechnique (Paris), partially funded by the British Council from January 2003 to December 2004

• Safe Pointers by Graph Transformation, funded by EPSRC (The Engineering and Physical Sciences Research Council) from January 2002 to March 2003

• APPLIGRAPH (Applications of Graph Transformation), ESPRIT Working Group within the programme RTD in Information Technologies, funded by the European Union from April 1997 to April 2002

• GETGRATS (General Theory of Graph Transformation Systems), TMR Research Network, funded by the European Union from September 1996 to August 2001

• Dschungelersetzung [jungle rewriting], funded by the DFG (Deutsche Forschungsgemeinschaft) from April 1991 to October 1995

• COMPUGRAPH I & II (Computing by Graph Transformation), ESPRIT Basic Research Working Groups, funded by the European Community from March 1989 to February 1992 and from October 1992 to March 1996

• COMPASS I & II (A Comprehensive Algebraic Approach to System Specification and Development), ESPRIT Basic Research Working Groups, funded by the European Community from March 1989 to February 1992 and from October 1992 to March 1996

• PROSPECTRA (Program Development by Specification and Transformation), ESPRIT project, funded by the European Community from 1985 to 1990

Workshop Organization

• Organizer of GCM 2015, Sixth International Workshop on Graph Computation Models, L'Aquila, Italy, July 20, 2015

• Co-organizer of TERMGRAPH 2013, Seventh International Workshop on Computing with Terms and Graphs, Rome, Italy, March 23, 2013

• Co-organizer of TERMGRAPH 2007, Fourth International Workshop on Computing with Terms and Graphs, Braga, Portugal, March 31, 2007

• Organizer of TERMGRAPH 2002, First International Workshop on Term Graph Rewriting, Barcelona, Spain, October 7, 2002

• Co-organizer of the first APPLIGRAPH Workshop, Etelsen, Germany, June 25-27, 1997

• Organizer of the first COMPASS Workshop, Bremen, Germany, October 2-6, 1989