PROGRAM
Days: Thursday, July 7th Friday, July 8th
Thursday, July 7th
View this program: with abstractssession overviewtalk overview
09:00-10:30 Session 1: ICGT Keynote & Opening
Chair:
Location: Room 150
| 09:00 | Graph Theory in Coq : Axiomatizing Isomorphism of Treewidth-Two Graphs (Invited Talk) (abstract) |
11:00-12:30 Session 2: New Concepts
| 11:00 | Graph Rewriting Components (abstract) PRESENTER: Reiko Heckel |
| 11:30 | Probabilistic Metric Temporal Graph Logic (abstract) PRESENTER: Sven Schneider |
| 12:00 | Categories of Differentiable Polynomial Circuits for Machine Learning (abstract) PRESENTER: Paul Wilson |
14:00-15:00 Session 3: Analysing Graph Transformation Systems
| 14:00 | Acyclic Contextual Hyperedge Replacement: Decidability of Acyclicity and Generative Power (abstract) PRESENTER: Mark Minas |
| 14:30 | Decidability of Resilience for Well-structured Graph Transformation Systems (abstract) |
15:30-17:00 Session 4: Special Interest Topic Discussion
Collective brainstorming session on "Coq for GT" (details TBA).
Chair:
19:00-20:00 Gala Dinner at Chateau de Goulaine
Château de Goulaine is part of the Châteaux of the Loire Valley and is located in the south of Nantes. The first castle de Goulaine was built in the 12th century, however very few remains are still visible today. The castle we see today was built in the 15th during the renaissance on top of the old medieval castle.
Before the gala dinner you will have free time to explore public parts of the castle. After the visit we will have a cocktail outside in the inner court followed by a dinner inside the main building.
Friday, July 8th
View this program: with abstractssession overviewtalk overview
09:00-10:30 Session 5: GT in Software Engineering
| 09:00 | Towards Development with Multi-Version Models: Detecting Merge Conflicts and Checking Well-Formedness (abstract) PRESENTER: Matthias Barkowsky |
| 09:30 | Visual Smart Contracts for DAML (abstract) PRESENTER: Reiko Heckel |
| 10:00 | A Generic Construction for Crossovers of Graph-like Structures (abstract) PRESENTER: Gabriele Taentzer |
11:00-12:30 Session 6: Application Domains and Tools
| 11:00 | Computational category theoretic rewriting (abstract) PRESENTER: Kristopher Brown |
| 11:30 | Invariant Analysis for Multi Agent Graph Transformation Systems using k-Induction (abstract) PRESENTER: Sven Schneider |
| 12:00 | Tool support for Fully-Persistent Graph Rewriting - GrapeVine (abstract) |