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/