The formalization of system engineering models and approaches.
2nd International Conference on Complexity, Future Information Systems and Risk COMPLEXIS – the International Conference on Complexity, Future Information Systems and Risk, aims at becoming a yearly meeting place for presenting and discussing innovative views on all aspects of Complex Information Systems, in different areas such as Informatics, Telecommunications, Computational Intelligence, Biology, Biomedical Engineering and Social Sciences.
Submitted by Anonymous on January 20th, 2017
Event
ACSD 2017
17th International Conference on Application of Concurrency to System Design (ACSD 2017) CONFERENCE SCOPE The conference aims at cross-fertilizing both theoretical and applied research about formal approaches (in a broad sense) to designing computer systems that exhibit some kind of concurrent behaviour. In particular, the following topics are of interest:     * Formal models of computation and concurrency for the above systems and
Submitted by Anonymous on January 20th, 2017
Submitted by Justin Bradley on January 4th, 2017
Event
SEsCPS 2017
3rd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS'17) In conjunction with ICSE 2017 | Call for Papers CONTEXT AND GOALS
Submitted by Anonymous on January 4th, 2017
Event
ECMFA 2017
ECMFA 2017 - 13th European Conference on Modelling Foundations and Applications Marburg (Germany) | 19-20 July 2017v| http://ecmfaconference.wixsite.com/ecmfa2017   Aims and Scope
Submitted by Anonymous on December 28th, 2016
Event
IISA 2017
8th International Conference on Information, Intelligence, Systems and Applications (IISA 2017) The International Conference on Information, Intelligence, Systems and Applications (IISA) series offers a forum for the constructive interaction and prolific exchange of ideas among scientists and practitioners from different research fields such as computers, mathematics, physics, biology, medicine, chemistry, experimental psychology, social sciences, linguistics, and engineering having the goal of developing methodologies and tools for the solution of complex problems in artificial
Submitted by Anonymous on December 28th, 2016
Event
MODPROD 2017
11th MODPROD Workshop on Model-Based Product Development The Center for Model-based Product Development (MODPROD) is an inter-disciplinary research center at Linköpings universitet. The center involves a number of companies as well as researchers from the Department of Computer and Information Science (IDA) and the Department of Management and Engineering (IEI).
Submitted by Anonymous on December 28th, 2016
Event
SNR 2017
3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR 2017) Affiliated with ETAPS 2017 Scope  Hybrid systems are complex dynamical systems that combine discrete and continuous components. Reachability questions, regarding whether a system can run into a certain subset of its state space, stand at the core of verification and synthesis problems for hybrid systems.
Submitted by Anonymous on December 28th, 2016
Event
EMSOFT 2017
CALL FOR PAPERS
Submitted by Anonymous on December 28th, 2016
Event
ER 2017
The 36th Annual International Conference on Conceptual Modeling (ER 2017) The International Conference on Conceptual Modeling (ER) is the leading international forum for current research on conceptual modeling and trendsetting applications.
Submitted by Anonymous on December 15th, 2016
Subscribe to Modeling