The workshop is a satellite event of the DLT'07 Conference and will take place at the University of Turku, Turku, Finland in the ICT building (see DLT Conference Site), in the lecture room β, on July 7–8, 2007. Papers presenting original contributions related to reachability problems in different computational models and systems are being sought.

TOPICS

The Reachability Workshop is specifically aimed at gathering together scholars from diverse disciplines and backgrounds interested in reachability problems that appear in

Click here to see the call for papers in pdf.

Proceedings were published in TUCS General Publication Serie.

Topics of interest include (but are not limited to): Reachability analysis in counter/ timed/ cellular/ communicating automata; Petri-Nets; computational aspects of semigroups, groups and rings; reachability for infinite state systems, rewriting systems, dynamical and hybrid systems; predictability in iterative maps and new computational paradigms.