posted by user: tofmsx || 3262 views || tracked by 6 users: [display]

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

FacebookTwitterLinkedInGoogle

Link: http://lifc.univ-fcomte.fr/v2cs2011/
 
When Nov 17, 2011 - Nov 18, 2011
Where Paris
Submission Deadline Sep 15, 2011
Categories    agents   multi-agents   verification   validation
 

Call For Papers

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

Related Resources

ICST 2021   IEEE International Conference on Software Testing, Verification and Validation 2021
IJCSEA 2021   International Journal of Computer Science, Engineering and Applications
EXTRAAMAS 2021   EXplainable and TRAnsparent AI and Multi-Agent Systems
ISSTA 2021   International Symposium on Software Testing and Analysis
ICAART 2021   13th International Conference on Agents and Artificial Intelligence
JAAMAS MODeM SI 2021   Special Issue of JAAMAS on Multi-Objective Decision Making (MODeM)
QEST 2021   International Conference on Quantitative Evaluation of SysTems
ALA 2021   Adaptive and Learning Agents @ AAMAS 2021
VALID 2021   The Thirteenth International Conference on Advances in System Testing and Validation Lifecycle
EUMAS 2021   18th EUROPEAN CONFERENCE ON MULTI-AGENT SYSTEMS