Уважаемые коллеги!
Ниже приглашение на SYMPOSIUM ON THEORY OF MODELING AND SIMULATION, а также на 4th International Workshop on Model-driven Approaches, который проходит в рамках данной конференции.
Некоторые темы этого workshopа очень схожи с теми темами, которыми занимаемся мы. Мне кажется стоит на workshop отправить статью про Диану. Или стоит посылать на саму конференцию? Стоит ли посылать на workshop ещё какие-нибудь статьи (про метамодели, про верификацию, про SDN, возможно что-то ещё)? Какие будут мнения?
---------- Пересланное письмо ----------
Тема: [simu-conf] Abstract Submission Deadline Approaching - TMS 2014 Дата: 11 сентября 2013 Отправитель: vsim-conf@sce.carleton.ca получатель: vsim-conf@sce.carleton.ca
CALL for PAPERS SYMPOSIUM ON THEORY OF MODELING AND SIMULATION (TMS/DEVS 2014)
April 13-16, 2014 Grand Hyatt Tampa Bay, Tampa, FL, USA.
Sponsored by The Society for Modeling and Simulation International (SCS) Technically Co-Sponsored by IEEE Computer Society (pending) in cooperation with ACM/SIGSIM and ICST
The purpose of this symposium is to provide a forum to discuss recent advancements in M&S theory. 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'14 symposia participants in different fields.
All papers will be included in the conference proceedings and archived in the ACM DL and SCOPUS and listed in DBLP.
Important Dates =============== Abstract Submission: September 20th, 2013 (an abstract must be submitted
in order to allow the revision process get organized) Full Paper Submission: October 25th, 2013 Author Notification: December 6th, 2013 Camera-ready Paper due: January 6th, 2014
Submission Procedures ===================== Papers must be submitted as a PDF file to the conference management system (http://www.softconf.com/scs/DEVS14/).
WORKSHOPS ========= Authors interested in organizing satellite workshops can contact the organizers. Up to date, the following workshop has been confirmed:
- Model-driven Approaches for Simulation Engineering (Chairs: Daniele Gianni, EUMETSAT, Germany; Arnaud Cuccuru, CEA LIST Institute, France)
DEVS PHD DISSERTATION AWARD ============================ The Symposium will hold the Third DEVS Ph.D. Dissertation Award, in order to recognize and reward the best Ph.D. Thesis related to the DEVS Modeling and Simulation formalism.
General Chairs: - Andrea D'Ambrogio, University of Roma "Tor Vergata", Italy - Gregory Zacharewicz, University of Bordeaux, France
Program Chairs: - Fernando Barros, Universidade de Coimbra, Portugal - Moon Ho Hwang, Dassualt Systemes, Delmia Corp, Auburn Hills, MI, USA
Advisory Board: - Bernard P. Zeigler (FIEEE, FSCS, LAA-SCS), Univ. Arizona, USA (Chair) - Christos Cassandras (FIEEE, FIFAC), Boston University, USA - François Cellier (FSCS), ETH Zürich, Switzerland - Kishor Trivedi (FIEEE, GCM IEEE CS), Duke University, USA - Mo Jamshidi (FIEEE, FASME, FAAAS), Univ. Texas at San Antonio, USA
Steering Committee: - Gabriel A. Wainer, Carleton University, Canada - Mamadou Kaba Traoré, Université Blaise Pascal, France - Pieter Mosterman, McGill Univ., Montreal, Canada; The Mathworks, USA
Further information in the Conference website ============================================= http://www.tms-devs.org [apologies for multiple postings - problems/issues: vsim-conf-owner at sce.carleton.ca]
-------------------------------------------------------
---------- Пересланное письмо ----------
Тема: [simu-conf] CfP: 4th International Workshop on Model-driven Approaches for Simulation Engineering part of the Symposium on Theory of Modeling and Simulation (SCS SpringSim 2014) Дата: 6 сентября 2013 Отправитель: vsim-conf@sce.carleton.ca получатель: vsim-conf@sce.carleton.ca
(Please accept our apologies if you receive multiple copies of this CFP)
################################################################# CALL FOR PAPERS
4th International Workshop on Model-driven Approaches for Simulation Engineering part of the Symposium on Theory of Modeling and Simulation (SCS SpringSim 2014)
#################################################################
April 13-16, 2014, Tampa, FL (USA) http://www.sel.uniroma2.it/Mod4Sim14
################################################################# # Papers Due: *** November 1, 2013 *** # Accepted papers will be published in the conference proceedings # and archived in the ACM Digital Library. #################################################################
The workshop aims to bring together experts in model-based, model-driven and software engineering with experts in simulation methods and simulation practitioners, with the objective to advance the state of the art in model-driven simulation engineering.
Model-driven engineering approaches provide considerable advantages to software systems engineering activities through the provision of consistent and coherent models at different abstraction levels. As these models are in a machine readable form, model-driven engineering approaches can also support the exploitation of computing capabilities for model reuse, programming code generation, and model checking, for example.
The definition of a simulation model, its software implementation and its execution platform form what is known as simulation engineering. As simulation systems are mainly based on software, these systems can similarly benefit from model-driven approaches to support automatic software generation, enhance software quality, and reduce costs, development effort and time-to-market.
Similarly to systems and software engineering, simulation engineering can exploit the capabilities of model-driven approaches by increasing the abstraction level in simulation model specifications and by automating the derivation of simulator code. Further advantages can be gained by using modeling languages, such as UML and SysML – but not exclusively those. For example, modeling languages can be used for descriptive modeling (to describe the system to be simulated), for analytical modeling (to specify analytically the simulation of the same system), and for implementation modeling (to define the respective simulator).
A partial list of topics of interest includes:
* model-driven simulation engineering processes * requirements modeling for simulation * domain specific languages for modeling and simulation * model transformations for simulation model building * model transformations for simulation model implementation * model-driven engineering of distributed simulation systems * relationship between metamodeling standards (e.g., MOF, Ecore) and distributed simulation standards (e.g., HLA, DIS) * metamodels for simulation reuse and interoperability * model-driven technologies for different simulation paradigms (discrete event simulation, multi-agent simulation, sketch-based * simulation, etc.) * model-driven methods and tools for performance engineering of simulation systems * simulation tools for model-driven software performance engineering * model-driven technologies for simulation verification and validation * model-driven technologies for data collection and analysis * model-driven technologies for simulation visualization * Executable UML * Executable Architectures * SysML / Modelica integration * Simulation Model Portability and reuse * model-based systems verification and validation * simulation for model-based systems engineering
To stimulate creativity, however, the workshop maintains a wider scope and welcomes contributions offering original perspectives on model-driven engineering of simulation systems.
+++++++++++++++++++++++++++++++++++ On-Line Submissions and Publication +++++++++++++++++++++++++++++++++++
We invite paper submissions in three forms:
1. Full paper (max 8 pages), describing innovative research results. These papers are eligible for the best paper award and may be invited for an extended version in a special issue of the SCS SIMULATION journal. 2. Work-in-progress paper (max 6 pages), describing novel research ideas and promising work that have not yet been fully evaluated. 3. Short paper (max 6 pages), describing industrial and hands-on experience on any relevant area (i.e. military, government, space, etc.).
All the papers must be submitted through the SCS conference management systems (http://www.softconf.com/scs/DEVS14/) and select the Mod4Sim track. The submissions must be in PDF format and conform to the SCS conference template (Word template is available at http://www.scs.org/upload/documents/templates/ConferenceSubmissionWORDTempla..., guidelines are available at http://www.scs.org/PDFs/formattingkit.pdf). All the submitted papers must be original and not submitted else where. Submitted papers will be peer reviewed with respect to their quality, originality and relevance. The authors of the accepted papers must register in advance for inclusion of their paper in the conference proceedings. Authors of accepted papers will be invited to update their papers basing on the reviews, before providing the camera ready.
All accepted papers will be included in the conference proceedings and archived in both the ACM Digital Library and IEEE Digital Library.
Authors may contact the organizers for expression of interest and content appropriateness at any time.
+++++++++++++++ Important Dates +++++++++++++++
* Submission Deadline: November 1, 2013 * Decision to paper authors: January 5, 2014 * Camera ready due: February 2, 2014 * Conference dates: April 13-16, 2014 (to be confirmed within the SpringSim schedule)
++++++++++++++++++++ Organizing Committee ++++++++++++++++++++
* Daniele Gianni – University Guglielmo Marconi, Italy * Arnaud Cuccuru – CEA/LIST, France
+++++++++++++++++ Program Committee +++++++++++++++++
* Steffen Becker - University of Paderborn, Germany * Paolo Bocciarelli - University of Rome TorVergata, Italy * David Chen - University of Bordeaux I, France * Andrea D'Ambrogio - University of Rome TorVergata, Italy * Cristian Englert - Serco, The Netherlands * Huascar Espinoza - ESI-Tecnalia, Spain * Paul A. Fishwick - University of Florida, USA * Sebastien Gerard - CEA/LIST, France * Carlos Juiz - University of Balearic Islands, Spain * Cristiano Leorato - RHEA, The Netherlands * Steve McKeever - Uppsala University, Sweden * Halit Oguztüzün - Middle East Technical University, Turkey * Chris Paredis - Georgia Institute of Technology, USA * Nicolas Rouquette - NASA/JPL, USA * Volker Schaus - DLR, Germany * Sara Tucci - CEA/LIST, France * Andreas Tolk - SimIS, USA * Anthony Walsh - European Space Agency, Germany * Heming Zhang - Tsinghua University, China
*** Contact Information *** Daniele Gianni and Arnaud Cuccuru (workshop co-chairs) Emails: danielegmail-mod4sim@yahoo.it and arnaud.cuccuru@cea.fr
-------------------------------------------------------