REACHABILITY PROBLEMS (RP'08) Liverpool, 15-17 September 2008

[Potapov, Igor]

       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:
================
- Ahmed Bouajjani, Paris, France 
- 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 (in standard LaTeX article style 11pt A4 paper) 
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 Science Direct, 
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 
- 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/



-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20080224/04f763be/attachment.html>