Session 1, Thursday morning (June 25)

SubSession: Opening (Chair: Timo Keher)

10:00 – 10:30

Welcome and Announcements

SubSession: Nets and Bigraphical Structures

10:30 – 11:00

Blair Archibald, Muffy Calder, and Michele Sevegnani

Conditional bigraphs

11:00 – 11:30

Alessio Chiapperini, Marino Miculan, and Marco Peressotti

Computing embeddings of directed bigraphs

11:30 – 12:00

Fabrizio Genovese and David Spivak

A categorical semantics for guarded Petri nets

SubSession: Logics and Algebras (Chair: Reiko Heckel)

12:00 – 12:30

Roberto Bruni, Ugo Montanari, and Matteo Sammartino

Algebras for tree decomposable graphs

12:30 – 13:00

Sven Schneider, Lucas Sakizloglou, Maria Maximova, and Holger Giese

Optimistic and pessimistic on-the-fly analysis for metric temporal graph logic

Session 2, Thursday afternoon (June 25)

SubSession: Invited talk (Chair: Fabio Gadducci)

14:00 – 15:00

Bob Coecke

Quantum natural language processing (on actual quantum hardware)

SubSession: Attributed Graphs, Application Conditions and Graph Constraints (Chair: Andrea Corradini)

15:00 – 15:30

Maryam Ghaffari Saadat, Reiko Heckel, and Fernando Orejas

Unfolding symbolic attributed graph grammars

15:30 – 16:00

Jens Kosiol, Lars Fritsche, Nebras Nassar, Andy Schürr, and Gabriele Taentzer

Constructing constraint-preserving interaction schemes in adhesive categories

16:00 – 16:30

Sven Schneider, Johannes Dyck, and Holger Giese

Formal verification of invariants for attributed graph transformation systems based on nested attributed graph conditions

16:30 – 17:00

Leen Lambers and Fernando Orejas

Initial conflicts for transformation rules with nested application conditions

(Best Theoretical paper, awarded by EATCS)

17:00 – 17:30

Jens Kosiol, Daniel Strüber, Gabriele Taentzer, and Steffen Zschaler

Graph consistency as a graduated property: Consistency-sustaining and -improving graph transformations

(Best Software Science paper, awarded by EASST)

Session 3, Friday morning (June 26)

SubSession: Novel Formalisms (Chair: Detlef Plump)

10:00 – 10:30

Harald König and Patrick Stünkel

Single Pushout rewriting in comprehensive systems

10:30 – 11:00

Roy Overbeek and Joerg Endrullis

Patch graph rewriting

11:00 – 11:30

Tikhon Pshenitsyn

Hypergraph basic categorial grammars

11:30 – 12:00

Uwe Wolter, Fernando Macías, and Adrian Rutle

Multilevel typed graph transformations

SubSession: Graph Languages (Chair: Leen Lambers)

12:00 – 12:30

Graham Campbell and Detlef Plump

Confluence up to garbage

12:30 – 13:00

Frank Drewes, Berthold Hoffmann, and Mark Minas

Graph parsing as graph transformation: Correctness of predictive top-down parsers

Session 4, Friday afternoon (June 26)

SubSession: System Modelling (Chair: Paolo Bottoni)

14:00 – 14:30

Nicolas Behr and Jean Krivine

Rewriting theory for the life sciences: A unifying framework for CTMC semantics

14:30 – 15:00

Sandra König

Modelling hybrid dependencies in critical infrastructures

Subsession: Tool Presentations (Chair: Gabriele Taentzer)

15:00 – 15:30

H.J. Sander Bruggink, Barbara König, Marleen Matjeka, Dennis Nolte, and Lars Stoltenow

A flexible and easy-to-use library for the rapid development of graph tools in Java

15:30 – 16:00

Winfried Kurth

Multiscale graph grammars can generate Cayley graphs of groups and monoids

16:00 – 16:30

Ciaran McCreesh, Patrick Prosser, and James Trimble

The Glasgow subgraph solver: Using constraint programming to tackle hard subgraph isomorphism problem variants

16:30 – 17:00

Christian Zöllner, Matthias Barkowsky, Maria Maximova, Melanie Schneider, and Holger Giese

A simulator for probabilistic timed graph transformation systems with complex large-scale topologies

SubSession: Closing (Chairs: Fabio Gadducci and Timo Keher)

17:00 – 17:30

Final announcements