[Om-announce] CFP: WORKSHOP ON REACHABILITY PROBLEMS (July 7-8, 2007, Turku, Finland)

[Igor Potapov]

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

     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 {\sl 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/




----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.