Call for Papers
--------------------------------
REMO2V'2006 : International Workshop on Regulations Modelling and their
Validation & Verification
http://www.univ-paris12.fr/lacl/REMO2V/
to be held in conjunction with the 18th Conference on Advanced
Information System Engineering (CAiSE'06) : http://www.tudor.lu/caise06
6 June 2006. Luxembourg
OBJECTIVES
Many human activities are controlled by regulations and standards. These
are usually intended to ensure some safety or security properties, or
may simply be used to enforce a fair behaviour from a set of interacting
stakeholders. In many cases, it is essential to guarantee the quality of
these natural language documents. This is where modelling techniques can
help! The objectives of the workshop are mainly to share experience on
methods used to model, validate and verify (information) systems based
on strong existing regulations. Besides usual areas, such as air,
maritime or railway transport, it must also be noticed that regulations
apply to a large variety of fields: finance, health, e-business,
e-learning, etc. A common point is the fact that behind (information)
systems there is no need for a computerised implementation. The workshop
aims to promote techniques, basically devoted to computer science, which
can be fruitfully applied to very different fields of regulations. A
second important goal of the workshop should be the establishment of an
industrial and academic community interested by this new topic. It is
now undeniable that the topic will grow in the coming years as safety
and security are increasingly enforced by complex regulations (see for
example the next 7th Framework Programme of the European Union about
Security).
TOPICS
Specific topics of interest include, but are not limited to:
* Conceptual models of regulations using formal and/or graphical
representations.
* Validation and test of regulation models with certification experts.
* Verification of regulation models, including the detection of
inconsistencies, identification of missing rules...
* Elaboration of attack scenarios from regulation models.
* Methodologies for the translation of regulations into conceptual
models.
* Application studies of the above points on regulations for
different domains (transport, finance, health, e-business, e-learning, ...).
TARGETED AUDIENCE
The background of the attendees should be either in pure computer
science with good knowledge on validation & verification techniques and
modelling, or in business activities related to regulations (European
Commission, governmental and non governmental authorities, legal
institution related to finance, health, e-business, etc.).
SUBMISSION
Contributions can be of two types: full papers and position papers. Full
papers are limited to 5 pages and should be original work describing
preliminary or completed results. Position papers are extended abstracts
of 2 pages and may present work in progress, experience reports or
problem statements.
All submissions should include: author's name(s), affiliation, mailing
address, phone and fax number and email address.
Only electronic submissions are accepted and papers should be submitted
in pdf format to [log in to unmask] and [log in to unmask]
Submissions should conform to Springer's LNCS format. Information about
Springer LNCS format can be found at
http://www.springer.de/comp/lncs/authors.html.
IMPORTANT DATES
Papers due: February 27, 2006
Author notification: March 23, 2006
Camera ready copies: April 10, 2006
WORKSHOP ORGANIZERS
* Régine LALEAU, University Paris 12, France
* Michel LEMOINE, Onera Toulouse, France
PROGRAMME COMMITTEE
* Robert DARIMONT, Cediti, Belgium
* Régine LALEAU, University Paris 12, France
* Yves LEDRU, University Grenoble 1, France
* Jean-Henry MORIN, University of Genève, Switzerland
* André RIFAUT, Public Research Centre Henri Tudor, Luxembourg
* Andreas SPECK, University of Jena, Germany
* Susan STEPNEY, University of York, UK
* Nicolas SUAREZ, Isdefe, Spain
