Talks

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, Seminar in Memory of Hartmut Ehrig, Berlin (Germany), October 1012, 2016

Compiling Graph Programs to C
9th International Conference on Graph Transformation (ICGT 2016), Vienna (Austria), July 56, 2016

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

Hoarestyle Verification for GP 2
Invited talk, Dagstuhl Seminar on Verification of Evolving Graph Structures, Dagstuhl (Germany), November 16, 2015

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

From Imperative to Rulebased 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

Graph Programs: Semantics, Verification and Implementation
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 RuleBased 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 1922, 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 (GTVMT 2008), Budapest (Hungary), March 3031, 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 37, 2006

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

Completeness and Minimality of Rulebased Languages
21st British Colloquium for Theoretical Computer Science (BCTCS 2005), Nottingham (England), March 2224, 2005

Completeness and Minimality of Rulebased Languages
Dagstuhl Seminar on Graph Transformations and Process Algebras for Modelling
Distributed and Mobile Systems, Dagstuhl (Germany), June 611, 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 2223, 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 26, 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, HeriotWatt University, Edinburgh (Scotland),
November 23, 1999

ChurchRosser Hypergraph Languages
9. Theorietag ``Automaten und Formale Sprachen'', SchauenburgElmshagen
(Germany), September 2829, 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 1620, 1998

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

Completeness of Narrowing in Noncopying
Implementations
13th Workshop on Algebraic Development Techniques (WADT), Lisbon
(Portugal), April 24, 1998

Term Graph Rewriting
Invited twopart lecture for the European School on Graph Transformation,
Bremen (Germany), March 27, 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 810, 1997

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

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

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

Proving Termination of Term Graph Rewriting
3rd International Workshop on Termination, Ede (The Netherlands),
May 2123, 1997

Termination of Term Graph Rewriting
Dagstuhl Seminar on Graph Transformations in Computer Science, Dagstuhl
(Germany), September 913, 1996

Term Graph Narrowing
10th International Workshop on Unification, Herrsching (Germany),
June 68, 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, MaxPlanckInstitut 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 28September 2, 1995

On Termination of Graph Rewriting
21st International Workshop on GraphTheoretic Concepts in Computer Science,
Aachen (Germany), June 2022, 1995

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

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

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

Graph Unification and Matching
8th International Workshop on Unification, Val d'Ajol (France),
June 2325, 1994

Dschungelersetzung
Workshop ``Deklarative Programmierung und Spezifikation'',
Bad Honnef (Germany), May 911, 1994

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

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

Auswertung funktionaler Ausdrücke durch HypergraphErsetzung
Doctoral colloqium, Universität Bremen, Bremen (Germany), April 6, 1993

Ausführung algebraischer Spezifikationen durch
HypergraphErsetzung
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,
PontaMousson (France), July 810, 1992

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

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

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

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

GraphReducible Term Rewriting Systems
4th International Workshop on Graph Grammars and Their Application to
Computer Science, Bremen (Germany), March 59, 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 68, 1989

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