7-8 July 2007
Turku, Finland
===============================================================
WORKSHOP ON REACHABILITY PROBLEMS, RP'07
(July 7-8, 2007, Turku, Finland )
http://www.math.utu.fi/projects/dlt2007/rp/
===============================================================
The Workshop on Reachability Problems is a satellite event of the
Developments in Language Theory Conference (DLT'07) that will take
place at the University of Turku, Turku, Finland on July 7-8, 2007.
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
Invited Speakers:
================
- Vincent Blondel, Louvain
- Christian Choffrut, Paris
- Javier Esparza, Stuttgart
- Oscar Ibarra, Santa Barbara
Call for papers in PDF: http://www.math.utu.fi/projects/dlt2007/rp/rp07.pdf
Submissions:
============
Papers presenting original contributions related to
reachability problems in different computational models and systems are
being sought. 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.
Authors are invited to submit a draft of a full paper with at most 12
pages (in standard LaTeX article style 11pt A4 paper) via the
conference web page http://www.math.utu.fi/projects/dlt2007/rp/ .
Proofs omitted due to space constraints must be put into an appendix to
be read by the program committee members at their discretion.
Submissions deviating from these guidelines risk rejection. Electronic
submissions should be formatted in postscript or pdf. Simultaneous
submission to other conferences or workshops with published proceedings
is not allowed.
Important dates:
================
Submission: April 11, 2007
Notification: May 11, 2007
Final version: May 30, 2007
Workshop: July 7-8, 2007
The proceedings of the workshop will appear in TUCS General
Publications Series ( http://www.tucs.fi/research/series/ ). Selected
papers will appear in a special issue of a high quality journal.
Program Committee:
- Vincent Blondel, Louvain
- Olivier Bournez, Nancy
- Christian Choffrut, Paris
- Javier Esparza, Stuttgart
- Vesa Halava, Turku
- Oscar Ibarra, Santa Barbara
- Igor Potapov, Liverpool (chair)
Organizing Committee:
- Vesa Halava, Turku
- Igor Potapov, Liverpool
Contact: RP'07, Department of Mathematics, University of Turku,
FIN-20014 Turku, Finland Emails: rp_at_utu.fi, vehalava_at_utu.fi,
igor_at_csc.liv.ac.uk Web: http://www.math.utu.fi/projects/dlt2007/rp/