The formalization of system engineering models and approaches.
Event
COMPLEXIS 2017
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
File
2017 ICUAS CFP
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
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
Feedback
Feedback
If you experience a bug or would like to see an addition or change on the current page, feel free to leave us a message.