[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PVS] [simu-conf] TMS/DEVS 2012 - Call for Papers
CALL FOR PAPERS
SYMPOSIUM ON THEORY OF MODELING AND SIMULATION (TMS/DEVS 2012)
March 26-29, 2012, The Florida Hotel, Orlando, FL, USA.
The Society for Modeling and Simulation International
Technically Co-Sponsored by IEEE Computer Society
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
symposia participants in different fields.
All papers will be included in the conference proceedings and archived
in the IEEE Computer Society DL, the ACM DL and the EUDL.
Paper Submission: 15 Nov 2011
Notification: 1 Jan 2012
Ready-Camera Paper: 15 Jan 2012
Conference: 26-29 Mar 2012
The conference committee accepts three types of papers submitted as a
PDF file to the conference website
Authors interested in organizing satellite workshops can contact the
organizers. Up to date, three workshops have been confirmed:
- M&S and Software Engineering (Chairs: Daniele Gianni - European Space
Agency, Nicolas Rouquete - NASA/JPL).
- Joint Workshop with the Symposium on Simulation in Architecture and
Urban Design (SIMAUD) (Chairs: Lira Nikolovska, Ramtin Attar -
Research; Gabriel Wainer, Carleton University)
This year, the Symposium will hold the Third 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 PHD DISSERTATION AWARD
The Symposium will hold the First DEVS Ph.D. Dissertation Award, in
to recognize and reward the best Ph.D. Thesis related to the DEVS
and Simulation formalism (Chair: Claudia Frydman, LSIS, France).
DEVS 2012 Organizing committee
Gabriel A. Wainer, Carleton University, Canada
Pieter Mosterman, McGill University, Montreal, Canada; The Mathworks,
Andrea D'Ambrogio, University of Roma TorVergata, Italy
Gregory Zacharewicz, University of Bordeaux, France
Reiko Heckel, University of Leicester, UK
Jan Himmelspach, University of Rostock, Germany
Mamadou K. Traore, Universite Blaise Pascal, Clermont-Ferrand, France
Bernard P. Zeigler (FIEEE, FSCS, LAA-SCS), University of Arizona, USA
Christos Cassandras (FIEEE, FIFAC), Boston University, USA
Francois Cellier (FSCS), ETH Zurich, Switzerland
Mo Jamshidi (FIEEE, FASME, FAAAS), University of Texas at San Antonio,
Kishor Trivedi (FIEEE, GCM IEEE CS), Duke University, USA
Further information in the Conference website
[Apologies for multiple postings]
[problems/issues: contact firstname.lastname@example.org]