Electronic Communications of the EASST Volume 38 (2010) Proceedings of the Fifth International Conference on Graph Transformation - Doctoral Symposium (ICGT-DS 2010) Preface 3 pages Guest Editor: Andrea Corradini Managing Editors: Tiziana Margaria, Julia Padberg, Gabriele Taentzer ECEASST Home Page: http://www.easst.org/eceasst/ ISSN 1863-2122 http://www.easst.org/eceasst/ ECEASST Preface Graphs are among the simplest and most universal models for a variety of systems, not just in computer science, but throughout engineering and the life sciences. When systems evolve we are interested in the way they change, to predict, support, or react to their evolution. Graph transformation combines the idea of graphs as a universal modelling paradigm with a rule-based approach to specify their evolution. The area is concerned with both the theory of graph trans- formation and their application to a variety of domains. The biannual International Conferences on Graph Transformation (ICGT), which started in 2002 after a series of international workshops held since 1978, aim at bringing together re- searchers and practitioners interested in the foundations and applications of graph transformation to a variety of areas. During ICGT 2010, the fifth edition of the series held at the University of Twente, Enschede (NL), in September 2010, a specific event, the ICGT 2010 Doctoral Symposium, was explicitly dedicated to Ph.D. students. The Doctoral Symposium consisted of technical sessions dedicated to presentations by doctoral students, held during the main conference, giving them a unique opportunity to present their research project and to interact with established researchers of the graph transformation community and with other students. Among the several submissions, twelve contributions were selected for presentation at the conference, and the corresponding abstracts were included in the ICGT 2010 proceedings, which were published by Springer as Volume 6372 of the Lecture Notes in Computer Science series. After the conference, authors of selected contributions were invited to submit a full paper on the topic presented at ICGT. The papers were reviewed by the members of the Program Committee and by their co-reviewers. Paper submission and reviewing were supported by the free conference management system EasyChair. The following eight contributions were selected for publication, and are included in the present volume: 1. Enrico Biermann, Confluence analysis of consistent EMF transformations 2. Christoph Blume, Efficient Implementation of Automaton Functors for the Verification of Graph Transformation Systems 3. Adwoa Donyina and Reiko Heckel, Modelling Flexible Human Resource Allocation by Stochastic Graph Transformation 4. Mathias Hülsbusch, Application Conditions for Reactive Systems with Applications to Bisimulation Theory 5. Eugen Jiresch, Realizing Impure Functions in Interaction Nets 6. Fawad Qayum and Reiko Heckel, Search-Based Refactoring using Unfolding of Graph Transformation Systems 1 / 3 Volume 38 (2010) Preface 7. Zoltán Ujhelyi, Ákos Horváth and Dániel Varró, Static Type Checking of Model Transfor- mation Programs 8. Eduardo Zambon and Arend Rensink, Using Graph Transformations and Graph Abstrac- tions for Software Verification We would like to thank the members of the Program Committee as well as Michele Boreale, Stefania Gnesi and Christian Soltenborn for their excellent work in selecting the papers of this volume. We would also like to thank the chairs of ICGT 2010, Arend Rensink and Andy Schürr, as well as the local organizers for their constant support during the Doctoral Symposium. August 2011 Andrea Corradini, Dipartimento di Informatica, Pisa PC chair of the Doctoral Symposium of ICGT 2010 Proc. Doctoral Symposium ICGT 2010 2 / 3 ECEASST Program Committee Paolo Baldan Padova (Italy) Luciano Baresi Milano (Italy) Michel Bauderon Bordeaux (France) Andrea Corradini (chair) Pisa (Italy) Juan de Lara Madrid (Spain) Maarten de Mol Enschede (The Netherlands) Hartmut Ehrig Berlin (Germany) Gregor Engels Paderborn (Germany) Annegret Habel Oldenburg (Germany) Reiko Heckel Leicester (United Kingdom) Dirk Janssens Antwerp (Belgium) Barbara König Duisburg-Essen (Germany) Hans-Jörg Kreowski Bremen (Germany) Mark Minas München (Germany) Ugo Montanari Pisa (Italy) Fernando Orejas Barcelona (Spain) Francesco Parisi-Presicce Rome (Italy) Mauro Pezzè Milan (Italy) Detlef Plump York (United Kingdom) Gabriele Taentzer Marburg (Germany) Emilio Tuosto Leicester (United Kingdom) 3 / 3 Volume 38 (2010)