[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] RP 2011: Second Call for Participation: Early Reg Deadline:July 31



--------------------------------------------------------------------------------------------------------------------------------------------------- 


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: delzanno@disi.unige.it
Igor Potapov: potapov@liverpool.ac.uk