Friday, February 24, 2012

[DMANET] GRAPHITE 2012: Final Call for Participation

CALL FOR PARTICIPATION

GRAPHITE 2012
First Workshop on GRAPH Inspection and Traversal Engineering
April 1, 2012, Tallinn, Estonia
(affiliated with ETAPS 2012)
http://www.win.tue.nl/~awijs/graphite2012
------------------------------------------------------------

Deadline for normal registration: 26 February 2012

The ETAPS online registration form is available at

http://www.etaps.org/2012/registration

The GRAPHITE programme is available at

http://www.win.tue.nl/~awijs/graphite2012

Invited talks:

- Juan de Lara (Universidad Autonoma de Madrid, Spain)
Graph Transformation with Time for Domain-Specific Modelling and Simulation

- Jaak Viko (University of Tartu, Estonia)
Graphs in Bioinformatics and Social Networks

- Pierre Wolper (Universite de Liege, Belgium)
Logic Without Formulas: Automata as a Computational Notation

Technical paper presentations:

- Andreas Beckmann, Jaroslaw Fedorowicz, Jörg Keller, and Ulrich Meyer
A Structural Analysis of the A5/1 State Transition Graph
- Elise Cormie-Bowins
A Comparison of Sequential and GPU Implementations of Iterative Methods to Compute Reachability Probabilities
- Eduardo Zambon and Arend Rensink
Graph Subsumption in Abstract State Space Exploration
- 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

SCOPE
-----

The main theme of the GRAPHITE workshop is graph search in all its forms in computer science. Graph search algorithms tend to have common characteristics, such as duplicate detection, independent of their application domain. Over the past few years, it has been shown that the scalability of such algorithms can be dramatically improved by using, e.g., external memory, by exploiting parallel architectures, such as clusters, multi-core CPUs, and graphics processing units, and by using heuristics to guide the search. The goal of this event is to gather scientists from different communities, such as model checking, artificial intelligence planning, game playing, and algorithm engineering, who do research on graph search algorithms, such that awareness of each others' work is increased.

The workshop is a satellite event of ETAPS 2012, the 15th edition of The European Joint Conferences on Theory and Practice of Software (ETAPS). ETAPS is a primary European forum for academic and industrial researchers working on topics relating to Software Science.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************