Call for Participation
--------------------------------
To register to the International Workshop on Regulations Modelling and
their Validation & Verification, please go to: http://www.tudor.lu/caise06
========================================================================
EARLY REGISTRATION DEADLINE
MAY 8, 2006
========================================================================
--------------------------------
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.).
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
--
Regine LALEAU, professeur
Universite Paris 12, laboratoire LACL
et
IUT Fontainebleau, Departement informatique
Route forestiere Hurtault
77300 Fontainebleau, France
Tel : (+33) (0) 1 60 74 68 40, secr. (+33) (0) 1 60 74 68 02
Fax : (+33) (0) 1 60 74 68 28
Tel (nouveau numero) : (+33) (0) 6 67 77 44 80
|