Importante dates

Special Issue - Studia Informatica Universalis


Workshop date: November 17-18 2011

Location: Complex System Institute, 57/59 ue Lhomond, 75 005 Paris

studia

Studia Informatica

Universalis

herman

 
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
 

Scope

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.

 Topics of interest

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...
 
Submission

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.

 Organizers

  • 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
 
LIFC ummisco isc