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