| Invited Speakers |
| A False History of True Concurrency: From Petri to Tools (Abstract) / Javier Esparza |
| How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation? / Christoph Brandt ; Frank Hermann |
| Graphs and Logic / Session 1： |
| Graph Transformation Units Guided by a SAT Solver / Hans-Jörg Kreowski ; Sabine Kuske ; Robert Wille |
| Delaying Constraint Solving in Symbolic Graph Transformation / Fernando Orejas ; Leen Lambers |
| A Dynamic Logic for Termgraph Rewriting / Philippe Balbiani ; Rachid Echahed ; Andreas Herzig |
| Behavioural Analysis / Session 2： |
| A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes / Victor Khomenko |
| On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars / Paolo Baldan ; Alessandro Bruni ; Andrea Corradini ; Barbara König ; Stefan Schwoon |
| Verification of Graph Transformation Systems with Context-Free Specifications |
| Saturated LTSs for Adhesive Rewriting Systems / Filippo Bonchi ; Fabio Gadducci ; Giacoma Valentina Monreale ; Ugo Montanari |
| A Hoare Calculus for Graph Programs / Christopher M. Poskitt ; Detlef Plump |
| Models and Model Transformation / Session 3： |
| Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars / Hartmut Ehrig ; Ulrike Golas |
| Conflict Detection for Model Versioning Based on Graph Modifications / Gabriele Taentzer ; Claudia Ermel ; Philip Langer ; Manuel Wimmer |
| A Component Concept for Typed Graphs with Inheritance and Containment Structures / Stefan Jurack |
| Combining Termination Criteria by Isolating Deletion / Dénes Bisztray ; Reiko Heckel |
| Algebraic Foundations / Session 4： |
| Graph Rewriting in Span-Categories / Michael Löwe |
| Finitary M-Adhesive Categories / Benjamin Braatz ; Karsten Gabriel |
| Hereditary Pushouts Reconsidered / Tobias Heindel |
| Applications / Session 5： |
| Graph Transformation for Domain-Specific Discrete Event Time Simulation / Juan de Lara ; Esther Guerra ; Artur Boronat ; Paolo Torrini |
| Counterpart Semantics for a Second-Order ?-Calculus / Alberto Lluch Lafuente ; Andrea Vandin |
| Declarative Mesh Subdivision Using Topological Rewriting in MGS / Antoine Spicher ; Olivier Michel ; Jean-Louis Giavitto |
| A Model for Distribution and Revocation of Certificates / Åsa Hagström ; Francesco Parisi-Presicce |
| Rule Composition / Session 6： |
| Local Confluence for Rules with Nested Application Conditions / Annegret Habel |
| Multi-Amalgamation in Adhesive Categories |
| Amalgamating Pushout and Pullback Graph Transformation in Collagories / Wolfram Kahl |
| Doctoral Symposium |
| ICGT 2010 Doctoral Symposium (Introduction) / Maarten de Mol |
| EMF Model Transformation Based on Graph Transformation: Formal Foundation and Tool Environment / Enrico Biermann |
| Recognizable Graph Languages for the Verification of Dynamic Systems / Christoph Blume |
| Stochastic Modelling and Simulation of Dynamic Resource Allocation / Adwoa Donyina |
| Bisimulation Theory for Graph Transformation Systems / Mathias Hülsbusch |
| Realizing Impure Functions in Interaction Nets / Eugen Jiresch |
| Composite EMF Modeling Based on Typed Graphs with Inheritance and Containment Structures |
| Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems / Tony Modica |
| LTS Semantics for Process Calculi from Their Graphical Encodings |
| Automated Assistance for Search-Based Refactoring Using Unfolding of Graph Transformation Systems / Fawad Qayum |
| Static Type Checking of Model Transformation Programs / Hendrik Radke ; Zoltán Ujhelyi |
| Using Graph Transformations and Graph Abstractions for Software Verification / Eduardo Zambon |
| Author Index |
| Invited Speakers |
| A False History of True Concurrency: From Petri to Tools (Abstract) / Javier Esparza |
| How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation? / Christoph Brandt ; Frank Hermann |
ＥＢ
