Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
call_for_papers [2014/06/25 14:48]
herbert
call_for_papers [2021/03/19 13:20] (current)
wainer
Line 1: Line 1:
 ====== Call for Papers ====== ====== Call for Papers ======
  
-{{tms-devs2015_preliminary_cfp_20140624:| Download the preliminary TMS'14 Call for Papers in PDF format here}}. +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 software to cope with the challenges arising out of these, as well as lessons learned and challenges. We want to bridge different areas in the field of Theory of Modeling and Simulation, including formal modeling, model-checking, graph transformation, modeling languages.  
- +
-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 software to cope with the challenges arising out of these, as well as lessons learned and challenges. The intention of the Symposium is to bridge different areas in the field of Theory of Modeling and Simulation, including formal modeling, model-checking, graph transformation, modeling languages.  +
  
 Topics of interest include (but are not limited to) the following: Topics of interest include (but are not limited to) the following:
  
   * Theory   * Theory
-    * DEVS, Petri-nets, Finite State Machines, Timed Automata, Process Algebras, Queueing Networks, etc.   +    * Advances in Modeling Formalisms (DEVS, Petri nets, Statecharts, etc. 
-    * Hybrid system modeling and integration of formalisms +
     * Formal analysis and symbolic reasoning      * Formal analysis and symbolic reasoning 
     * Model checking      * Model checking 
 +    * Model Transformation
     * Behavior Abstraction and Model Reduction     * Behavior Abstraction and Model Reduction
     * Graph transformations     * Graph transformations
-    * Activity paradigm: complex adaptive systems, tracking, awareness 
-    * Multi-Formalisms: DEVS, Petri Nets, Timed Automata, Markov Chains, etc.  
-    * Dynamic System Optimization  
-    * Meta Heuristic & Scaleable Analysis of Simulation 
     * Model Abstraction and Machine Learning      * Model Abstraction and Machine Learning 
 +    * Formalism-Based Model Debugging
  
-  * Methodology +  * Modular Approaches in M&S 
-    * Parallel distributed simulators and simulations  +    * Model Composition 
-    * Interoperability simulators (grid, cloud, web services...)  +    * Co-simulation 
-    * M&S engineering  +    * Interoperability 
-    * M&S-based development methods +    * Modular Modeling of Hybrid Systems 
-    * M&S-based optimization +    * Modular Modeling of Spatially Distributed Systems 
-    * M&of gene regulatory networks +    * Modular Representation of Numerical Solvers  
-    * M&of spatially distributed systems +     
-  +  Complex Systems M&S 
-  * Practice and Lessons Learned  +    * Multi-Paradigm/Multi-Domain Modeling 
-    * Military systems and infrastructures  +    * Multi-Resolution/Multiscale Modeling 
-    * Real-time and embedded systems  +    * Cyber-Physical Systems M&S 
-    High performance computing +    * Ultra Large Scale Systems M&S 
-    * Cloud and service-oriented computing +    * Systems of Systems M&S
-    * Software-intensive/networked systems  +
-    * Transportation and traffic systems  +
-    * Ecological and environmental systems  +
-    * Systems-of-systems and ultra large scale systems +
-    * Standards+
  
-  * M&S Software  +  * Technologies (related to theoretical/foundational methods) 
-    * M&S Software including frameworks and libraries for DEVS, Petri Nets, Finite State Machines, Timed Automata, Process Algebras, Queueing Networks, etc. +    * Parallel/distributed/cloud/edge simulation 
-    * Education aspects of Theory of Modeling and Simulation+    * Real-time and Interactive simulation 
 +    * M&of Embedded Systems
  
-===== Submission =====+  * M&S Tools and Standards (related to theoretical/foundational methods) 
 +    * Simulation Languages/Libraries 
 +    * Simulation Development/Visualization Tools 
 +    * M&S Repositories/Data Formats
  
-**[[http://www.softconf.com/scs/DEVS14/|SUBMIT YOUR PAPER HERE]]** +  Applications of theoretical/foundational methods
  
-The conference committee accepts three types of papers submitted as a PDF file through the [[http://www.softconf.com/scs/DEVS14/|Submission Management System]] as listed below. The final version of all the papers must comply with the SCS conference format.+===== Submission =====
  
-All the submitted papers must be original and not submitted to other venues. Submitted papers showing clear evidence of plagiarism or self- +**[[https://www.softconf.com/sim/ANNSIM21/track/Theory_and_Foundations_for_Modeling_and_Simulation__TMS_/ |SUBMIT YOUR PAPER HERE]]** 
-palgiarism will be rejected (please refer to plagiarism policies of [[http://www.acm.org/publications/policies/plagiarism_policy|ACM]] and [[http://www.ieee.org/publications_standards/publications/rights/plagiarism_FAQ.html|IEEE]]). The corresponding authors will be notified to SCS and banned from future SCS +
-conferences.+
  
-Submitted papers will be peer reviewed with respect to their qualityoriginality and relevance. At least one author of each paper accepted for presentation and publication must register and present the paper. +Originalhigh-quality technical papers are solicited for review, possible presentation and subsequent publication in the conference proceedings. Papers are max 12 pages long with single column format. All the papers must comply with the [[https://scs.org/authorskit/ | SCS conference format]]. Papers must not have appeared before (or be pending) in a journal or conference with published proceedings, nor may they be under review or submitted to another forum during the review process.
-Papers registered but not presented at conference time will be notified to SCS and not included in the ACM digital library.+
  
-  - //Full Papers//: 8 pages in final conference formatIn addition to publication in the conference proceedingsthey will be considered for best paper award and for possible inclusion in Special Issue to be proposed to the //SCS Simulation Journal//. Full papers will be published both in hard copy and CD-ROM +All submissions will be peer reviewed and feedback will be providedAuthors of papers accepted at the tracks are expected to attend the conference, present their work to their peers, transfer copyright, and pay conference registration fee at the time their camera-ready paper is submitted. Papers registered and presented will be included in the conference proceedings, possibly archived in the ACM Digital Library, IEEExplore and indexed in DBLP, Web of Science and SCOPUS.
-  - //Short Papers//: Papers with industrial focus, military or government applications, in abstract or short paper format (up to 6 pages in final conference format). +
- +
-All papers will be included in the conference proceedings and archived in the ACM Digital Library. Full Papers will be also printed in hard copy. +
- +
-Papers have to be submitted electronically and have to be properly formatted in accordance with these [[http://www.scs.org/PDFs/formattingkit.pdf|guidelines]]. Authors of accepted submissions will have the opportunity to update their submissions based on the reviews before the final electronic copy is due.  +
- +
-**[[http://www.softconf.com/scs/DEVS15/|SUBMIT YOUR PAPER HERE]]** +
  
 ===== Important Dates ===== ===== Important Dates =====
- +**Paper Submission** ((Submit technical articles and experience reports, properly formatted in accordance with these [[https://scs.org/authorskit/|guidelines]])) | March 222021 (extended deadline)
-^ Abstract Submission | September 12th, 2014 | +^ Author Notification | April 30th2021
-^ Paper Submission  ((Submit technical articles and experience reports, properly formatted in accordance with these [[http://www.scs.org/PDFs/formattingkit.pdf|guidelines]])) | November 10th2014 +^ Camera-ready Paper due ((The final version of accepted papers, incorporating changes based on reviewer comments, are due by this date)) | May 172021
-^ Author Notification | January 9th2015 +^ Conference | July 19-22, 2021|
-^ Camera-ready Paper due ((The final version of accepted papers, incorporating changes based on reviewer comments, are due by this date)) | February 10th2015 +
call_for_papers.1403707691.txt.gz · Last modified: 2020/12/02 21:31 (external edit)
[unknown link type]Back to top
CC Attribution-Noncommercial-Share Alike 4.0 International
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0