Programme Committee

David A. Bader (Georgia Tech, USA)

Jiri Barnat (Masaryk University, Czech Republic)

Dragan Bošnački (Eindhoven University of Technology)

Gene Cooperman (College of Computer and Information Science, USA)

Martin Dietzfelbinger (Ilmenau University of Technology, Germany)

Alastair Donaldson (Imperial College London, UK)

Stefan Edelkamp (University of Bremen)

Malte Helmert (University of Freiburg, Germany)

Gerard Holzmann (NASA / Jet Propulsion Laboratory, USA)

Riko Jacob (Technische Universitaet Munchen, Germany)

Peter Kissmann (Technologie-Zentrum Informatik und Informationstechnik, Bremen, Germany)

Stefan Leue (University of Konstanz, Germany)

Alberto Lluch Lafuente (IMT Institute for Advanced Studies Lucca, Italy)

Radu Mateescu (INRIA Rhône-Alpes, France)

Ulrich Meyer (Goethe University Frankfurt am Main, Germany)

Alice Miller (University of Glasgow, Scotland)

Wheeler Ruml (University of New Hampshire, USA)

Theo Ruys (RUwise, The Netherlands)

Peter Sanders (Karlsruhe Institute of Technology, Germany)

Stefan Schwoon (LSV, CNRS and ENS de Cachan, France)

Carsten Sinz (Karlsruhe Institute of Technology, Germany)

Nathan Sturtevant (University of Denver, USA)

Mohammad Torabi Dashti (ETH Zurich, Switzerland)

Enrico Tronci (Universita di Roma, Italy)

Jaco Van De Pol (University of Twente, The Netherlands)

Anton Wijs (Eindhoven University of Technology, The Netherlands)

Philipp Woelfel (University of Calgary, Canada)

Rong Zhou (Intelligent Systems Laboratory, USA)

Workshop Programme

9.30 - 10.30:

Invited Talk: Juan de Lara - Graph Transformation with Time for Domain-Specific Modelling and Simulation

10.30 - 11.00: Coffee break

11.00 - 12.30:

Elise Cormie-Bowins - A Comparison of Sequential and GPU Implementations of Iterative Methods to Compute Reachability Probabilities

Gijs Kant and Jaco van de Pol - Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games

Stefan Edelkamp, Peter Kissmann and Alvaro Torralba Arias de Reyna - Lex-Partitioning: A New Option for BDD Search

12.30 - 14.00: Lunch break

14.00 - 15.00:

Invited Talk: Pierre Wolper - Logic Without Formulas: Automata as a Computational Notation

15.00 - 15.30:

Eduardo Zambon and Arend Rensink - Graph Subsumption in Abstract State Space Exploration

15.30 - 16.00: Coffee break

16.00 - 17.00:

Invited Talk: Jaak Vilo - Graphs in Bioinformatics and Social Networks

17.00 - 17.30:

Andreas Beckmann, Jaroslaw Fedorowicz, Jörg Keller and Ulrich Meyer - A structural analysis of the A5/1 state transition graph

Invited Speakers

Juan de Lara (Universidad Autónoma de Madrid, Spain)

Jaak Vilo (University of Tartu, Estonia)

Pierre Wolper (Université de Liege, Belgium)

Important Dates

Submission deadline (EXTENDED!):
~~January 4, 2012~~
January 11, 2012
(Anywhere On Earth)
Notification of acceptance:
January 25, 2012
Camera ready copy for local proceedings:
February 5, 2012
Camera ready copy for (final) post-proceedings:
June 30, 2012
GRAPHITE Workshop:
April 1, 2012

Programme Chairs

Anton Wijs
(Eindhoven Univ. of Technology)
Dragan Bošnački
(Eindhoven Univ. of Technology)
Stefan Edelkamp
(Univ. of Bremen)

Programme

Available here