Registration
The conference
registration is free, only travel and accommodations (lunch, dinner,
...) at Paris will be in charge of participants. In order to
register, please send a mail at this
address with complete information about you and your organization.
Please note that we have a limited number of participants.
Program
November the 17th
10:30-11:00 am : welcome coffee
11:00-11:15 am : Opening of the workshop
11:15-12:45 am : Modeling and case studies session
11:15 am : Sebastien Rey
Coyrehourcq, Clara Schmitt and Romain Reuillon. Automated procedures to
explore agent-based models : The example of a guided exploration for
calibration purposes
12:00 am : Madeleine El Zaher, Jean-Michel Contet, Pablo Gruer and
Franck Gechter. Towards a compositional verification approach for
multi-agent systems : Application to Platoon system
12:45-14:30 pm : lunch
14:30-15:30 am : Alessio Lomuscio keynote
15:30-16:15 pm : Modeling session
15:30 pm : Bruno Mermet and
Gaële Simon. GDT4MAS: a formal model and language to specify and verify
multiagent systems
16:15-16:45 pm : coffee break
16:45-18:00 pm : platform demonstrations
November the 18th
9:00-9:30 am : welcome coffee
9:30-11:00 am : Model Analysis automations
9:30 am : Benjamin Herd,
Simon Miles, Peter Mcburney and Michael Luck. Reachability analysis for
agent-based simulations
10:15 am : Xiao Zhou, Philippe Caillou and Javier Gil-Quijano.
Automated observation of complex systems simulations
11:00-11:15 am : coffee break
11:15-12:15 am : Fabrice Bouquet keynote
12:15-14:30 pm : lunch
14:30-16:00 pm : Modeling and case studies session
14:30 pm : Adrien
Lammoglia, Nicolas Marilleau and Didier Josselin. How to assess the
robustness of a flexible transport using an Agent Based Model simulation
15:15 pm : Olivier Simonin, Arnaud Lanoix, Alexis Scheuer and François
Charpillet. Specifying in B the Influence/Reaction Model to Study
Situated MAS: Application to vehicles platooning
16:00-16:30 pm : Ending of the workshop
|
|
|
Many scientists, from different areas
of interest, exploit multi-agent systems (MAS) to model and/or to
simulate complex systems such as crowd dynamic, social network and so
on. Creating an agent based models conducts to make hypothesis because
of the lack of knowledge about the studied system. In addition, a
modelling process needs to establish models with different goals, based
on various meta-models and languages. Thus model transcription problems
and inconsistency between models may happen during this process.
Nevertheless, several researches
present the model and simulators as idealistic tools needed for
preventing disasters, for decision making, for understanding the
functioning of complex systems or for imaging future evolutions of a
complex system. But how confidence can we give to a model (and a
simulator) ?
Due to the used modelling process, its
internal complexity, an agent based model are rather complex to
validate and/or to verify. Given from empirical comparison between
simulation results and real data, many researches argue the efficiency
of their models. Could we say that these models are valid ?
Several works investigate the domain
of validation and verification of Agent Based model. They provide
techniques to ensure the efficiency of model in general or specific
case. There is two levels in this work :
- Complex system level. The
complexity of the whole, the systemic aspect due to the interactions
brings us toward a validation approach based on simulation.
- Local level. How we can use
verification techniques on properties with the help of action languages
or mathematical models.
The aim of this conference is to share
experiences in validation and verification of complex system agent
based model in order to make an overview of the domain. Every work and
experience about retrospective validation, complex system case studies,
validation and verification techniques are invited in this conference.
|
|
|
|
Areas of interest include, but are not
limited to:
- Model checking
- Model based testing
- Sensibility analysis
- Parameter exploration
- multiagent frameworks for complex systems
- multiagent methodology for complex systems
- formal specification languages
- symbolic animation
- statistical and mathematical approaches
- thematical applied models
- Empirical validation approaches
- Model calibration
- Generation de population
- Agent Based Modeling
- Case study analysis
- Physics based modeling
- Model validation methodologies
All of these topics may be involved in (not
limited list) urban modeling, social network, epidemiology, plant
growing, soil modeling, morphogenesis, ecology, medecine, finance,
economy, cell biology, neuroscience, disasters, and so on...
|
|
Program committee
- Frédéric Amblard, University of Toulouse,
France
- Alassane Bah, ESP, Sénégal
- Arnaud Banos, CNRS, France
- Philippe Cailloux, INRIA, France
- Guillaume Deffuant, Cemagref , France
- Alexis Drogoul, IRD, France
- Volker Grimm, Helmholtz Center for
Environmental Research, Germany
- Salima Hassas, University of Lyon, France
- Tuong Vinh Ho, IFI, Vietnam
- Amir Hussain, University of Stirling,
United Kingdom
- Jean Daniel Kant, UPMC, France
- Sophie Leguedois, INRA, France
- Pierre Henri Morand, UFC, France
- Edith Perrier, IRD-RNSC, France
- Benjamin Roche, IRD, France
- Moncef Temani, I.S.I, Tunisie
- Nguyen Huu Tri, IRD, France
- Jean Daniel Zucker, IRD, Vietnam
- to be completed...
|
| |
|
|
Papers are refereed and accepted on the
basis of their originality, scientific merit and relevance to the
Workshop topics.
Papers should be 12-15 pages in length in
Springer Studia Informatica Universalis format and submitted as a PDF
file on easychair available here.
Author are invited to follow workshop format available here.
All selected paper will be plublished on the
conference web-site. In addition, a selection of extended papers
presented during the workshop will be included into a special number of
Studia Informatica Universalis.
|
|
- Fabrice Bouquet
LIFC-UFC
E-mail: fabrice.bouquet_AT_univ-fcomte.fr
- Christophe Lang
LIFC-UFC
E-mail: christophe.lang_AT_univ-fcomte.fr
- Nicolas Marilleau
UMMISCO– IRD
E-mail: Nicolas.Marilleau_AT_ird.fr
|
|
|
|
