V2CS 2011 - First international workshop on Verification and Validation of multi-agent models for Complex Systems

Website lifc.univ-fcomte.fr/v2cs2011 | Edit Freely

Category V2CS 2011

Deadline: September 15, 2011 | Date: November 17, 2011-November 18, 2011

Venue/Country: Paris, France

Updated: 2011-09-03 08:07:04 (GMT+9)

Call For Papers - CFP

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

Population generation

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

Soufian Ben Amor, UVSQ, France

Philippe Cailloux, INRIA, France

Guillaume Deffuant, Cemagref , France

Alexis Drogoul, IRD, Vietnam

Volker Grimm, Helmholtz Center for Environmental Research, Germany

Salima Hassas, University of Lyon, France

Ho Tuong Vinh, IFI, Vietnam

Amir Hussain, University of Stirling, United Kingdom

Tri Nguyen-Huu, IRD, France

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

Jean Daniel Zucker, IRD, Vietnam

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 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.bouquetuniv-fcomte.fr

Christophe Lang

LIFC-UFC

E-mail: christophe.languniv-fcomte.fr

Nicolas Marilleau

UMMISCO? IRD

E-mail: Nicolas.Marilleauird.fr