| Day 1 - Saturday 11, April Room: FB.1.08 , Francis Bancroft Building | ||||
| 09.00 - 12.30 | NO MORNING SESSION | |||
| 12.30 - 14.00 | LUNCH | |||
| 14.00 - 16.00 | 14.00 | Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model | ||
| Alexander Heußner, Christopher M. Poskitt, Claudio Corrodi and Benjanim Morandi | ||||
| 14.30 | A Reference Interpreter for the Graph Programming Language GP 2 | |||
| Detlef Plump, Christopher Bak, Glyn Faulkner and Colin Runciman | ||||
| 15.00 | Improved Conflict Detection for Graph Transformation with Attributes | |||
| Géza Kulcsár, Frederik Deckwerth, Malte Lochau, Gergely Varro and Andy Schürr | ||||
| 15.30 | Detecting and Refactoring Operational Smells within the Domain Name System | |||
| Marwan Radwan and Reiko Heckel | ||||
| 16.00 - 16.30 | COFFEE BREAK | |||
| 16.30 - 18.00 | TOOL DEMOS | |||
| Day 2 - Saturday 12, April Room: FB.1.08 , Francis Bancroft Building | ||||
| 09.00 - 10.30 | 09.00 | Network Analysis of Online Communities-Applications and Tools | ||
| Heinz Ulrich Hoppe (Invited Speaker) | ||||
| 10.00 | Confluence Detection for Transformations of Labelled Transition Systems | |||
| Anton Wijs | ||||
| 10.30 - 11.00 | COFFEE BREAK | |||
| 11.00 - 12.30 | 11.00 | Aggregation by Provenance Types - A Summarization Technique for Provenance Graphs | ||
| Luc Moreau | ||||
| 11.30 | A visual analytics approach to compare propagation models in social networks | |||
| Jason Vallet, Bruno Pinaud, Guy Melançon and Hélène Kirchner | ||||
| 12.00 | !-graphs with trivial overlap are context-free | |||
| Aleks Kissinger and Vladimir Zamdzhiev | ||||
| 12.30 - 14.00 | LUNCH | |||
| 14.00 - 16.00 | 14.00 | Dynamic Programming on Nominal Graphs | ||
| Ugo Montanari, Matteo Sammartino and Nicklas Hoch | ||||
| 14.30 | Discussion Groups | |||
| 16.00 - 16.30 | COFFEE BREAK | |||
| 16.30 - 18.00 | 16.30 | Discussion Talks | ||
| 17.00 | Challenges Session | |||
Presentations
- Christopher Bak, A Reference Interpreter for the Graph Programming Language GP 2
- H. Ulrich Hoppe, Network Analysis of Online Communities - Applications and Tools
- Géza Kulcsár, Improved Conflict Detection for Graph Transformation with Attributes
- Luc Moreau, Aggregation by Provenance Types - A summarization technique for provenance
- Marwan Radwan, Detecting and Refactoring Operational Smells within the Domain Name System
- Matteo Sammartino, Dynamic Programming on Nominal Graphs
- Vladimir Zamdzhiev, !-graphs with trivial overlap are context-free
- Jason Vallet, A visual analytics approach to compare propagation models in social networks
Discussions
- Chris Poskitt, Does Visual = Nice?
Challenges
- Reiko Heckel, From GT to Differential Equations: Simulation or numerical integration
- Ugo Montanari, Soft mu-Calculus for Computational Fields
Tool Demo slides
- Alex Kissinger, Quantomatic: a proof assistant for diagrammatic reasoning