TMS/DEVS'18: Theory of Modeling and Simulation/DEVS Symposium - Call for Papers April 15-18, 2018 Baltimore, MD, USA DEADLINE EXTENDED
The purpose of this symposium is to provide a forum to discuss recent advancements in M&S theory. The main focus is on 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.
All papers will be archived in the ACM and IEEE Digital Libraries, SCOPUS and DBLP. ---------------------------------------------------------------------------- -------------------------------------
Topics of interest include (but are not limited to): - Theory * Advances in Modeling Formalisms (DEVS, Petri nets, Statecharts, etc.) * Model Transformation * Model Checking and Verification - Modular Approaches to M&S * Model Composition * Co-simulation * Interoperability * Modular Modeling of Hybrid Systems * Modular Modeling of Spatially Distributed Systems * Modular Representation of Numerical Solvers - Complex Systems M&S * Multi-Paradigm/Multi-Domain Modeling * Multi-Resolution/Multiscale Modeling * Cyber-Physical Systems M&S * Ultra-Large-Scale Systems M&S * Systems of Systems M&S - M&S Technologies * Parallel/Distributed/Cloud-Based Simulation * Real-Time and Interactive Simulation * M&S of Embedded Systems - M&S Tools and Standards * Simulation Languages/Libraries * Simulation Development/Visualization Tools * M&S Repositories/Data Formats
Important Dates Full paper submission: Jan. 08, 2018 Notification of acceptance: Feb. 05, 2018 Camera-ready paper: Feb. 23, 2018
Details: http://tmsdevs.org
[apologies for multiple postings - if you need to unsubscribe reply to this email or contact vsim-conf-owner@sce.carleton.ca]