[loginf] CFP 2nd WORKSHOP ON REACHABILITY PROBLEMS (submissions:19 May 2008)

Reachability Problems 2008 rp2008 at csc.liv.ac.uk
Wed Apr 23 17:58:41 CEST 2008


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

    2nd WORKSHOP ON REACHABILITY PROBLEMS, RP'08
       (September 15-17, 2008, Liverpool, UK)

     Deadline for submissions: 19 May, 2008

         http://www.csc.liv.ac.uk/~rp2008/
===============================================================

The Workshop on Reachability Problems will take place at 
the University of Liverpool , Liverpool, UK on September 
15-17, 2008. Papers presenting original contributions 
related to reachability problems in different 
computational models and systems are being sought. 

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:
================
- Parosh Aziz Abdulla, Uppsala, Sweden
- Juhani Karhumaki, Turku, Finland 
- Colin Stirling, Edinburgh, UK 
- Wolfgang Thomas, Aachen, Germany 

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 probelms in infinite state systems, 
rewriting systems, dynamical and hybrid systems; 
reachability problems in logic and verification; 
reachability analysis in different computational 
models, counter/ timed/ cellular/ communicating 
automata; Petri-Nets; computational aspects of 
algebraic structures (semigroups, groups and rings); 
predictability in iterative maps and new 
computational paradigms. 

Authors are invited to submit a draft of a full paper with 
at most 12 pages (LaTeX, formatted according to ENTCS  guidelines) 
via the conference web page        http://www.csc.liv.ac.uk/~rp2008/ . 
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 deadline : May 19, 2008 
Notification to authors: June 30, 2008 
Final version: July 15, 2008 
Workshop: September 15-17, 2008 

The proceedings of the workshop will appear in 
Electronic Notes in Theoretical Computer Science (ENTCS). 
ENTCS is published electronically on ScienceDirectc, 
Elsevier's main platform for electronic publication to 
provide rapid publication and broad dissemination of the 
volumes in the series. Selected papers will appear in a 
special issue of a high quality journal. 

Program Committee:
================
- Parosh Aziz Abdulla, Uppsala 
- Eugene Asarin, Paris 
- Vincent Blondel, Louvain 
- Olivier Bournez, Nancy 
- Ahmed Bouajjani, Paris
- Cristian S. Calude, Auckland 
- Javier Esparza, Munchen 
- Vesa Halava, Turku 
- Oscar Ibarra, Santa Barbara 
- Juhani Karhumaki, Turku 
- Igor Potapov, Liverpool 
- Colin Stirling, Edinburgh 
- Wolfgang Thomas, Aachen 
- Hsu-Chun Yen, Taipei 

Organizing Committee:
================
- Igor Potapov, Liverpool
- Vesa Halava, Turku

Contact: 
================
RP'08, 
Department of Computer Science,
University of Liverpool, 
Ashton Building,
Ashton Street, 
Liverpool, L69 3BX
E-mail: rp2008_at_csc.liv.ac.uk 
Web: http://www.csc.liv.ac.uk/~rp2008/



More information about the loginf mailing list