Talks

• Speeding up Graph Transformation
  Invited talk, 13th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2024), Luxembourg City (Luxembourg), April 7, 2024

• Fast Rule-Based Graph Programs
  16th International Conference on Graph Transformation (ICGT 2023), Leicester (UK), July 20, 2023

• Fast Graph Programs
  GReTA online seminar #7, February 26, 2021

• Rule-Based Graph Programs
  Invited talk, Third Workshop on String Diagrams in Computation, Logic and Physics (STRINGS 2019), Birmingham (England), September 5-6, 2019

• Linear-Time Graph Algorithms in GP 2
  Graph Transformation Day, Bremen (Germany), April 12, 2019

• Rule-Based Graph Programming
  Invited talk, Universität Oldenburg (Germany), July 31, 2018

• Rule-Based Graph Programming
  Invited double lecture, Leverhulme School on Graph Transformation Techniques (LSGT 2018), Royal Holloway University, Egham (England), June 29-July 1, 2018

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

• Rule-Based Graph Programming
  8th South of England Regional Programming Language Seminar (S-REPLS 8), King's College, London (England), January 5, 2018

• Checking Graph Programs for Confluence
  8th International Workshop on Graph Computation Models (GCM 2017), Marburg (Germany), July 17, 2017

• Modular Termination of Graph Transformation
  Invited talk, Symposium in Memory of Hartmut Ehrig, Berlin (Germany), October 10-12, 2016

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

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

• Hoare-Style Verification for GP 2
  Invited talk, Dagstuhl Seminar on Verification of Evolving Graph Structures, Dagstuhl (Germany), November 1-6, 2015

• Rule-Based Graph Programming
  Invited double lecture, International School on Rewriting (ISR 2015), Leipzig (Germany), August 13/14, 2015

• From Imperative to Rule-Based Graph Programs
  26th Nordic Workshop on Programming Theory (NWPT 2014), Halmstad (Sweden), October 30, 2014

• A Unification Algorithm for GP
  Invited talk, Universität Bremen (Germany), July 4, 2014

• Computational Completeness of Simple Graph Programs
  Invited talk, Universität Bremen (Germany), May 28, 2014

• Graph Programs
  Invited talk, Université Paul Sabatier, Toulouse (France), March 13, 2013

• Minimizing Finite Automata with Graph Programs
  Invited talk, Université Paul Sabatier, Toulouse (France), March 13, 2013

• Graph Programs
  Invited talk, Universität Bamberg (Germany), February 19, 2013

• The Design of GP 2
  Invited talk, Universität Bremen (Germany), December 16, 2011

• The Graph Programming Language GP
  Invited talk, Universität Oldenburg (Germany), November 1, 2011

• Graph Programs: Semantics, Verification and Implementation
  Invited talk, University of Leeds (England), July 7, 2011

• The Design of GP 2
  Invited talk, 10th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2011), Novi Sad (Serbia), May 29, 2011

• Safe Pointers by Graph Transformation
  Invited talk, Indian Institute of Science, Bangalore (India), February 24, 2011

• Minimizing Finite Automata with Graph Programs
  3rd International Workshop on Graph Computation Models (GCM 2010), Enschede (The Netherlands), October 2, 2010

• Graph Programs
  1st International Workshop on Strategies in Rewriting, Proving, and Programming (IWS 2010), Edinburgh (Scotland), July 9, 2010

• The Semantics of Graph Programs
  10th International Workshop on Rule-Based Programming (RULE 2009), Brasilia (Brazil), June 28, 2009

• The Graph Programming Language GP
  Invited talk, 3rd International Conference on Algebraic Informatics (CAI 2009), Thessaloniki (Greece), May 19-22, 2009

• An Introduction to GP
  Invited talk, 2nd International Workshop on Graph Computation Models (GCM 2008), Leicester (England), September 8, 2008

• The GP Programming System
  7th International Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2008), Budapest (Hungary), March 30-31, 2008

• The GP Programming Language
  Invited talk, The University of York (England), December 12, 2007

• GP: Language and Environment
  Invited talk, Vrije Universiteit Amsterdam (The Netherlands), March 2, 2007

• GP: Language and Environment
  Invited talk, Universität Bremen (Germany), January 31, 2007

• Safe Pointers by Graph Transformation
  Invited talk, Universität Oldenburg (Germany), January 23, 2007

• GP: Language and Environment
  Invited talk, Universität Oldenburg (Germany), January 18, 2007

• Graph Transformation
  Invited lecture, International School on Rewriting (ISR 2006), Nancy (France), July 3-7, 2006

• Extending C for Checking Shape Safety
  Workshop on Graph Transformation for Verification and Concurrency (GT-VC 2005), San Francisco (USA), August 22, 2005

• Completeness and Minimality of Rule-based Languages
  21st British Colloquium for Theoretical Computer Science (BCTCS 2005), Nottingham (England), March 22-24, 2005

• Completeness and Minimality of Rule-based Languages
  Dagstuhl Seminar on Graph Transformations and Process Algebras for Modelling Distributed and Mobile Systems, Dagstuhl (Germany), June 6-11, 2004

• Specifying Pointer Structures by Graph Reduction
  2nd International Workshop and Symposium on Applications of Graph Transformation with Industrial Relevance (AGTIVE 2003),
  Charlottesville, Virginia (USA), September 27 - October 1, 2003

• Graph Transformation
  Invited talk, King's College, London (England), February 5, 2003

• A Complete and Minimal Programming Language for Graph Transformation
  Invited talk, University of Leicester (England), March 15, 2002

• Essentials of Term Graph Rewriting
  Closing Workshop of the TMR Network GETGRATS, Bordeaux (France), June 22-23, 2001

• Computational Completeness of Programming Languages Based on Graph Transformation
  4th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2001),
  Genova (Italy), April 2-6, 2001

• Graph Transformation
  Invited talk, University of York (England), February 14, 2001

• Term Graph Rewriting
  Invited talk, University of Newcastle (England), October 19, 2000

• Computing by Graph Rewriting
  Invited talk, University of York (England), June 12, 2000

• Computing by Graph Rewriting
  Invited talk, University of Manchester (England), May 22, 2000

• Hierarchical Graph Transformation
  3rd International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2000),
  Berlin (Germany), March 25 - April 2, 2000

• Term Graph Rewriting
  Invited talk, University of Kent, Canterbury (England), February 22, 2000

• Term Graph Rewriting
  Invited talk, University of Nottingham (England), January 13, 2000

• Verification of Pointer Programs
  Habilitation lecture, Universität Bremen (Germany), December 21, 1999

• Term Graph Rewriting
  Invited talk, Heriot-Watt University, Edinburgh (Scotland), November 23, 1999

• Church-Rosser Hypergraph Languages
  9. Theorietag ``Automaten und Formale Sprachen'', Schauenburg-Elmshagen (Germany), September 28-29, 1999

• Term Graph Rewriting
  Invited talk, University of Bergen (Norway), June 15, 1999

• An Overview of the APPLIGRAPH Project
  6th International Workshop on Theory and Application of Graph Transformation, Paderborn (Germany), November 16-20, 1998

• Strategies for Term Graph Narrowing
  Invited talk, Universiteit Nijmegen (The Netherlands), August 27, 1998

• Completeness of Narrowing in Non-copying Implementations
  13th Workshop on Algebraic Development Techniques (WADT), Lisbon (Portugal), April 2-4, 1998

• Term Graph Rewriting
  Invited two-part lecture for the European School on Graph Transformation, Bremen (Germany), March 2-7, 1998

• Simplification Orders for Term Graph Rewriting
  Invited talk, Vrije Universiteit Amsterdam (The Netherlands), October 28, 1997

• Termination Orders for Term Graphs
  First Workshop of the TMR Network GETGRATS, Bordeaux (France), October 8-10, 1997

• Confluent Rewriting of Bisimilar Term Graphs
  4th Workshop on Expressiveness in Concurrency, Santa Margherita Ligure (Italy), September 8-12, 1997

• Simplification Orders for Term Graph Rewriting
  22nd International Symposium on Mathematical Foundations of Computer Science, Bratislava (Slovakia), August 25-29, 1997

• Recent Trends in Term Graph Rewriting
  First Workshop of the ESPRIT Working Group APPLIGRAPH, Etelsen (Germany), June 26-27, 1997

• Proving Termination of Term Graph Rewriting
  3rd International Workshop on Termination, Ede (The Netherlands), May 21-23, 1997

• Termination of Term Graph Rewriting
  Dagstuhl Seminar on Graph Transformations in Computer Science, Dagstuhl (Germany), September 9-13, 1996

• Term Graph Narrowing
  10th International Workshop on Unification, Herrsching (Germany), June 6-8, 1996

• Unifikation von Graphen und Termgraphen
  Invited talk, Technische Universität Berlin, Berlin (Germany), May 23, 1996

• Termgraphersetzung
  Invited talk, Universität Hildesheim, Hildesheim (Germany), March 7, 1996

• Term Graph Rewriting vs. Term Rewriting
  Invited talk, Max-Planck-Institut für Informatik, Saarbrücken (Germany), January 25, 1996

• Unification, Rewriting, and Narrowing on Term Graphs
  Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA '95),
  Volterra (Italy), August 28-September 2, 1995

• On Termination of Graph Rewriting
  21st International Workshop on Graph-Theoretic Concepts in Computer Science, Aachen (Germany), June 20-22, 1995

• Termination of Graph Rewriting and Forward Closures
  2nd International Workshop on Termination, La Bresse (France), May 29-31, 1995

• Graph Unification and Matching
  5th International Workshop on Graph Grammars and Their Application to Computer Science, Williamsburg, Virginia (USA),
  November 14-18, 1994

• Critical Pairs in Term Graph Rewriting
  19th International Symposium on Mathematical Foundations of Computer Science, Kosice (Slovakia), August 22-26, 1994

• Graph Unification and Matching
  8th International Workshop on Unification, Val d'Ajol (France), June 23-25, 1994

• Dschungelersetzung
  Workshop ``Deklarative Programmierung und Spezifikation'', Bad Honnef (Germany), May 9-11, 1994

• Confluence of Hypergraph Rewriting Systems
  Workshop of the ESPRIT Basic Research Working Group COMPUGRAPH II, Noordwijkerhout (The Netherlands), October 3-7, 1993

• Collapsed Tree Rewriting vs. Term Rewriting
  Workshop of the ESPRIT Basic Research Working Group SEMAGRAPH II, Nijmegen (The Netherlands), June 21-23, 1993

• Auswertung funktionaler Ausdrücke durch Hypergraph-Ersetzung
  Doctoral colloqium, Universität Bremen, Bremen (Germany), April 6, 1993

• Ausführung algebraischer Spezifikationen durch Hypergraph-Ersetzung
  Invited talk, Universität Bremen, Bremen (Germany), March 3, 1993

• Collapsed Tree Rewriting: Completeness, Confluence, and Modularity
  3rd International Workshop on Conditional Term Rewriting Systems, Pont-a-Mousson (France), July 8-10, 1992

• Implementing Term Rewriting by Graph Reduction: Termination of Combined Systems
  International Workshop on Graphs and Graph Transformations, Bordeaux (France), March 21-24, 1991

• Proving Equations by Graph Reduction
  Workshop of the ESPRIT Basic Research Action SEMAGRAPH, Amsterdam (The Netherlands), March 18-20, 1991

• Implementing Term Rewriting by Graph Reduction: Termination of Combined Systems
  2nd International Workshop on Conditional and Typed Rewriting Systems, Montreal (Canada), June 11-14, 1990

• Implementierung von Termersetzung durch Graphreduktion: Termination kombinierter Systeme
  Second German Workshop ``Termersetzung: Grundlagen und Anwendungen'', Dortmund, March 19-21, 1990

• Graph-Reducible Term Rewriting Systems
  4th International Workshop on Graph Grammars and Their Application to Computer Science, Bremen (Germany), March 5-9, 1990

• Implementierung von Termersetzung durch Dschungelauswertung
  Invited talk, Technische Universität Berlin, Berlin (Germany), December 7, 1989

• Dschungelauswertung
  First German Workshop ``Termersetzung: Grundlagen und Anwendungen'', Kaiserslautern (Germany), March 6-8, 1989

• Jungle Evaluation for Efficient Term Rewriting
  1st International Workshop on Algebraic and Logic Programming, Gaussig (German Democratic Republic), November 14-18, 1988