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.


  • RP 2012 will take place in Bordeaux (17-19 September)! Deadline: May 10, 2012


    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

    eXTReMe Tracker