CfP: DEVS Integrative Modeling and Simulation Symposium (DEVS 2010)

[Sabri Pllana]

             			CALL FOR PAPERS
	      Symposium on Theory of Modeling and Simulation -
	        DEVS Integrative M&S Symposium (DEVS 2010)

         April 12-15 2010. Florida Mall Hotel and Conference Center.
	                         Orlando, FL.

            http://www.sce.carleton.ca/faculty/wainer/DEVS10


                                Sponsored by
            The Society for Modeling and Simulation International

                      in cooperation with ACM/SIGSIM


The purpose of this symposium is to provide a forum to discuss most recent
advancements in Theory of Modeling and Simulation. The main focus is on
theory of modeling, methodology, practice and toolkits, as well as lessons
learned and challenges. The Symposium will focus on bridging different
areas in the Theory of Modeling and Simulation, including formal modeling,
model-checking, graph transformation, modeling methodologies and tools. It
also provides an opportunity to exchange ideas with other SpringSim'10 
symposia
participants in different fields, including tracks co-located with the 
Symposium
on High Performance Computer Simulation.

Topics of interest include (but are not limited to) the following:

* Theory
o DEVS modeling methodology
o Hybrid system modeling & integration of formalisms
o Formal analysis and symbolic reasoning
o Model Checking
o Graph Transformations
o Activity paradigm: Complex adaptive systems, tracking, awareness

* Methodology
o Parallel & distributed simulators and simulations
o Interoperability of simulators (grid, web services, etc.)
o M&S Engineering
o M&S-Based development methods

* Practice and Lessons Learned
o Military systems and infrastructures
o Real-time and embedded systems
o High performance computing
o Software-intensive/networked systems
o Transportation and traffic systems
o Ecological and environmental systems
o Standards

* Toolkits and environments
o Tools and libraries (DEVS, PN, Timed Automata, etc.)
o Education aspects of Theory of Modeling and Simulation


All papers will be included in the conference proceedings and archived 
in both
the the ACM Digital Library; Full Papers will be also printed in hard copy.


Important Dates
===============
Paper Submission: 15 Oct 2009
Notification: 15 Nov 2009
Final Paper: 2 Feb 2009


Submission Procedures
=====================
The conference committee will accept three types of papers submitted as a
PDF file to the conference website 
(http://www.scs.org/springsim/submission) as
listed below. Final version of all the papers must comply with the SCS 
conference
format. All the submitted papers should be original and not have been 
submitted
to other venues; they will be peer reviewed with respect to their quality,
originality and relevance. The authors of the accepted paper must 
register in
advance for inclusion of their paper in the conference proceedings. The 
authors
of the accepted paper must register in advance for inclusion of their 
paper in
the conference proceedings.

1. Full manuscript: 8 pages in final conference format. In addition to 
publication
in the conference proceedings, they will be considered for best paper 
award and for
possible inclusion in a Special Issue of the Simulation Journal (SCS). 
Full papers
will be published both in hard copy and CD-ROM.

2. Work in Progress: Short papers up to 6 pages in final conference 
format.

3. Short Papers: Papers with industrial focus, military or government 
applications,
and work-in-progress in abstract or short paper format.


DEVS AWARD
==========
This year, the Symposium will hold the First Bernard P. Zeigler DEVS M&S 
Award, to
recognize high-impact innovations in M&S methods, applications and tools 
(sponsored
by RTSync - Chair: Doohwan Kim).


DEVS 2010 Organizing committee
==============================

General Chair:
Gabriel A. Wainer, Carleton University, Canada

Program Chair:
Mamadou K. Traoré, Université Blaise Pascal, Clermont-Ferrand, France

Advisory Board
Bernard P. Zeigler (FIEEE, FSCS, LAA-SCS), University of Arizona, USA 
(Chair)
Christos Cassandras (FIEEE, FIFAC), Boston University, USA
François Cellier (FSCS), ETH Zürich, Switzerland
Mo Jamshidi (FIEEE, FASME, FAAAS), University of Texas at San Antonio, USA
Kishor Trivedi (FIEEE, GCM IEEE CS), Duke University, USA


DEVS 2010 International Technical Program Committee
===================================================
* Theory
o Fernando Barros, Universidade da Coimbra, Portugal
o Roberto Bruni, Universitá di Pisa, Italy
o Pedro D'Argenio, FAMAF, Argentina
o Juan de Lara, Universidad Autónoma de Madrid, Spain
o Norbert Giambiasi, LSIS, Marseille, France
o Reiko Heckel, University of Leicester, UK 
o Jan Himmelspach, University of Rostock, Germany
o Dan Hirsch, Intel Corp., Argentina
o Moon Ho Hwang, DS Delmia Corp., USA
o Tag Gon Kim, KAIST, Korea
o Ernesto Kofman, Universidad Nacional de Rosario, Argentina
o Hernán Melgratti, Universidad de Buenos Aires, Argentina
o Nora Szasz, Universidad ORT Uruguay
o Enrico Tronci, Università di Roma "La Sapienza", Italy
o Emilio Tuosto, University of Leicester, UK
o Lin Uhrmacher, University Rostock, Germany
o Hans Vangheluwe, McGill University, Canada
o Francesco Zanichelli, Universitá di Parma, Italy
 

* Methodology
o Olivier Dalle, INRIA Sophia-Antipolis and Université de Nice, France
o Maximiliano Cristia, Flowgate Consulting and CIFASIS-UNR, Argentina
o Andrea D'Ambrogio, Università di Roma "Tor Vergata", Italy
o Xiaolin Hu, Georgia State University, USA 
o Yvan Labiche, Carleton University, Canada
o Lisandru Muzy, Université de Corse
o Libero Nigro, Universitá della Calabria, Italy
o James Nutaro, Oak Ridge National Laboratory, USA
o Dorina Petriu, Carleton University, Canada
o Hessam Sarjoughian, Arizona State University, USA
o Alfonso Urquia, UNED, Spain
o Andreas Tolk, Old Dominion University, USA
o Levent Yilmaz, Auburn University, USA

* Practice and Lessons Learned
o Lisane Brisolara, UFPel, Brazil
o Sebastián Dormido, UNED, Spain
o C. Anthony Hunt, UCSF, USA
o Lewis Ntaimo, Texas A&M, USA
o Gabriela Nicolescu, École Polytechnique de Montréal, Canada
o Thorsten Pawletta, Universitat Wismar, Germany
o Sabri Pllana, University of Vienna
o Eric Ramat, Université du Littoral, France
o José Luis Risco-Martín, Universidad Complutense de Madrid, Spain
o Mamadou Seck, TU Delft, Netherlands 
o Yujing Wu, The MathWorks, USA

* Toolkits and environments
o Alex Chow, RTSync, USA
o Jean-Baptiste Filippi, Université de Corse
o Claudia Frydman, LSIS, Marseille, France
o Xiaolin Hu, Georgia State University, USA
o Saurabh Mittal, Dunip Technologies, USA
o Pieter Mosterman, The MathWorks, USA
o Taisy Silva Weber, UFRGS, Brazil
o Alexander Verbraeck, TU Delft, Netherlands
o Emilia Vilani, Instituto Tecnológico de Aeronáutica, Brazil
o N. L. Vijaykumar, National Institute for Space Research (INPE), Brazil
o Gregory Zacharewicz, Université de Bordeaux, France