[Hol-info] [simu-conf] Symposium of Theory of Modeling & Simulation (TMS/DEVS'11) - DEADLINE APPROACHING

[<vsi...@sc...>]

           	   CALL FOR PAPERS - DEADLINE APPROACHING

     SYMPOSIUM ON THEORY OF MODELING AND SIMULATION (DEVS 2011)

   April 4-9 2011. Boston Marriott Long Wharf Hotel Boston, MA. USA.

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

                            Sponsored by
        The Society for Modeling and Simulation International
              in cooperation with ACM/SIGSIM and ICST

The purpose of this symposium is to provide a forum to discuss recent
advancements in Theory of M&S. The main focus is on theory of modeling,
methodology, practice and software to cope with the challenges arising
out of these, as well as lessons learned and challenges. The Symposium
bridges different areas in the field of Theory of M&S, including formal
modeling, model-checking, graph transformation, modeling methodologies.
It also provides an opportunity to exchange ideas with other SpringSim'11
symposia participants in different fields.

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

Theory: DEVS, Petri Nets, Finite State Machines, Timed Automata, Process
Algebras; Hybrid system modeling and integration of formalisms; Formal 
analysis and symbolic reasoning; Model Checking; Graph Transformation.

M&S Software: frameworks and libraries for DEVS, PN, FSM, TA, PA, etc.; 
Education aspects of Theory of M&S

Methodology: Parallel & distributed simulators; Middleware and simulators 
Interoperability (grid, cloud, web services); M&S Engineering; M&S-Based 
development methods.

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

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


Important Dates
===============
Paper Submission: 21 Nov 2010
Notification: 	21 Dec 2010
Final Paper:  	25 Jan 2011
Main conference: 4-9 Apr 2011


Submission Procedures
=====================
The conference committee will accept three types of papers submitted as a
PDF file to the conference website (http://www.softconf.com/scs/DEVS11/)
as listed below. 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.

1. Full manuscript: 8 pages in final conference format. In addition to
publication in the conference proceedings, they will be considered for
a best paper award. Full papers will be published 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 Second 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).


WORKSHOPS
=========
Authors interested in organizing satellite workshops can contact the
organizers. Up to date, two workshops have been confirmed:

- Mod4Sim: M&S and Software Engineering (Chairs: Andrea D'Ambroggio -
UniRoma "Tor Vergata" - and Dorina Petriu - Carleton University -).
http://www.sel.uniroma2.it/mod4sim11/

- DEVS Standardization (Chairs: Xiaolin Hu - Georgia State - and Hessam
Sarjoughian - University of Phoenix -).


DEVS 2011 Organizing committee
==============================

General Chairs:
Gabriel A. Wainer, Carleton University, Canada
Mamadou K. Traoré, Université Blaise Pascal, Clermont-Ferrand, France

Program Chairs:
Reiko Heckel, University of Leicester, United Kingdom
Jan Himmelspach, Universität Rostock, Rostock, Germany

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


DEVS 2011 International Technical Program Committee
===================================================
http://sce.carleton.ca/faculty/wainer/DEVS11/doku.php?id=organizing_committe
e


Further information:
http://sce.carleton.ca/faculty/wainer/DEVS11/doku.php


[Apologies for multiple postings]
[Problems/issues: contact Gab...@sc...]