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

Discussions

Challenges

Tool Demo slides