Posted on behalf of Giorgio Delzanno ([email protected]) ----- SECOND CALL FOR PARTICIPATION: RP 2011
The 5th Edition of the Reachability Problems Workshop September 28 - 30, 2011 Genova, Italy webpage: http://rp11.disi.unige.it/ --------------------------------------------------------------------------------------------------------------------------------------------------- REGISTRATION IS OPEN (see website) Early registration deadline: July 31, 2011 --------------------------------------------------------------------------------------------------------------------------------------------------- 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, and Verification. Topics of interest include: 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. Previous RP editions took place in Brno (Czech Republic, 2010), Palaiseau (France, 2009), Liverpool (UK, 2008), Turku (Finland, 2007). The fifth edition will be held in Genova, a historic city in Liguria, Italy. INVITED SPEAKERS Krishnendu Chatterjee, IST Austria Graph Games with Reachability Objectives: Mixing Chess, Soccer and Poker Bruno Courcelle, Labri, Universitè Bordeaux 1 Automata for monadic second-order model-checking Joost-Pieter Katoen, RWTH Aachen Timed Automata as Observers of Stochastic Processes Jean-Francois Raskin, CFV, Universitè Libre de Bruxelles Reachability Problems for Hybrid Automata ACCEPTED PAPERS Monotonic Abstraction for Programs with Multiply Pointed Structures Jonathan Cederberg, Parosh Abdulla and Tomas Vojnar A new weakly universal cellular automaton in the 3D hyperbolic space with two states Maurice Margenstern Reachability for Finite-State Process Algebras Using Static Analysis Nataliya Skrypnyuk and Flemming Nielson A fully symbolic bisimulation algorithm Malcolm Mumme and Gianfranco Ciardo Lower bounds for the length of reset words in eulerian automata Vladimir Gusev Automated Termination in Model Checking Modulo Theories Alessandro Carioni, Silvio Ghilardi and Silvio Ranise Parametric Verification and Test Coverage for Hybrid Automata Using the Inverse Method Fribourg Laurent and Ulrich Kuehne Characterizing Conclusive Approximations by Logical Formulae Yohan Boichut, Thi-Bich-Hanh Dao and Valerie Murat. Synthesis of Timing Parameters Satisfying Safety Properties Etienne Andre' and Romain Soulat Decidability of LTL Model Checking for Vector Addition Systems with one zero-test Remi Bonnet Completeness of the Bounded Satisfiability Problem for Constraint LTL Marcello M. Bersani, Achille Frigeri, Matteo Rossi and Pierluigi San Pietro Reachability and deadlocking problems in multi-stage scheduling Christian Eggermont and Gerhard J. Woeginger Improving Reachability Analysis of Infinite State Systems by Specialization Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti and Valerio Senni Formal Language Constrained Reachability and Model Checking Propositional Dynamic Logics Roland Axelsson and Martin Lange Complexity Analysis of the Backward Coverability Algorithm for VASS Laura Bozzelli and Pierre Ganty Efficient Bounded Reachability Computation for Rectangular Automata Xin Chen, Erika Abraham and Goran Frehse The preliminary program is available at the RP webpage REGISTRATION AND FEES The early registration deadline is 31st of July. Early (until July 31) Regular fee 200 250 Student fee 150 200 Late (after July 31): +50 ACCOMODATION and TRAVEL INFO September is a very busy period in Genova (there are several other conferences and events right before and after RP). We have an option for a limited number of rooms in the hotels in the city center. Our University can also offer (a limited number of) accomodations in Casa Paganini (student residence) at very convenient prices. Travel information and on-line registration/booking forms are available under the RP webpage: http://rp11.disi.unige.it/ For further information, please contact the RP 2011 organizers: Giorgio Delzanno: [email protected] Igor Potapov: [email protected] ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
