The 5th Edition of the RP Workshop will be hosted byDISI (Dipartimento di Informatica e Scienze dell'Informazione), Università di Genova, Italy.
Papers presenting original contributions related to reachability problems in different computationalmodels and systems are being sought.
News:- The workshop will take place in the Conference Room of the Dipartimento di Informatica e Scienze dell'Informazione,via Dodecaneso 35, Genova,
How to reach us
- Poster (Design by Daniela Peghini)
- Accepted papers
- Submission is now closed. Notification: June 28, 2011
- Deadline extended: May 23, 2011
Authors are welcome to submit their paper via the RP11 Easychair site:http://www.easychair.org/conferences/?conf=rp2011
Topics
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
- Logic
- Verification
Topics of interest include (but are not limited to):Reachability problems 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);frontiers between decidable and undecidable reachability problems;predictability in iterative maps and new computational paradigms.
Organized by
Giorgio Delzanno Università di Genova
Igor Potapov The University of Liverpool