[hpc-announce] [simu-conf] Extended Deadline - Sysmposium of Theory of Modeling and Simulation 2018

[vsim-conf at sce.carleton.ca]

TMS/DEVS'18: Theory of Modeling and Simulation/DEVS Symposium - Call for
Papers 
April 15-18, 2018 Baltimore, MD, USA
DEADLINE EXTENDED

http://tmsdevs.org

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 at sce.carleton.ca]