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
- Algebraic structures
- Computational models
- Hybrid systems
- Verification
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.