• 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: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