[PVS-ANNOUNCE] RP07 WORKSHOP ON REACHABILITY PROBLEMS (DeadlineExtended to 23 April)

[Igor Potapov <I.Potapov@xxxxxxxxxxxxx>]

===============================================================

    WORKSHOP ON REACHABILITY PROBLEMS, RP'07
       (July 7-8, 2007, Turku, Finland )

 Deadline for submissions extended to: 23 April, 2007

   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; 
verification and reachability analysis for infinite state 
systems, rewriting systems, dynamical and hybrid systems; 
predictability in iterative maps and new computational 
paradigms, frontiers between decidable and undecidable 
problems.

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 (extended): April 23, 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/