CPS20 Workshop
The CyPhERS project ("Cyber-Physical European Roadmap and Strategy") aims at a
strategic research and innovation agenda for Cyber-Physical Systems (CPS) as
CONCUR 2014
The 25th Conference on Concurrency Theory will take place in Rome, from September 2nd to 5th, 2014. It will be co-located with the 9th International Symposium on Trustworthy Global Computing, September 5th and 6th, and with a few workshops, on September 1st and 6th.
The purpose of the CONCUR conferences is to bring together researchers, developers and students in order to advance the theory of concurrency and promote its applications. Since its birth, in 1990, it has been the reference annual event for this research field.
ICECCS 2014
The 19th IEEE International Conference on Engineering of Complex Computer Systems
SAMOS XIV 2014
SAMOS is a unique conference. It deals with embedded systems (sort of)
but that is not what makes it different.
FORMATS 2014
---------------------------------------------------------------------
&nb
MCS 2014
2nd International workshop on the Integration of mixed-criticality subsystems on multi-core and manycore processors
21-22 January 2014
Background
Modern embedded applications typically integrate a multitude of functionalities with potentially different criticality levels into a single system. Without appropriate preconditions, the integration of mixed-criticality subsystems can lead to a significant and potentially unacceptable increase of engineering and certification costs.
SpringSim'14
The Spring Simulation Multi-Conference 2014 (SpringSim'14) brings leading experts in various domains of Modeling and Simulation together. The Theory of Modeling and Simulation (TMS/DEVS 2014) will be a sub-conference of SpringSim.
The SpringSim'14 Organization Committee is:
ABZ 2014
4th International ABZ 2014 Conference
ASM, Alloy, B, TLA, VDM, Z
ASM, Alloy, B, TLA, VDM, Z
The ABZ 2014 conference is organized in Toulouse
ECYPS 2014
2nd EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems (ECYPS 2014)
FOCUS:
Embedded systems, being inseparable parts of certain larger (embedding) systems, constitute information-processing parts of cyber-physical systems composed of information-processing and physical sub-systems.
IMCIC 2014
Complexity, Informatics and Cybernetics: IMCIC 2014
jointly withThe 20th International Conference on Information Systems Analysis and Synthesis: ISAS 2014
Motives and Purpose
Conceptual and instrumental relationships among Complexity, Informatics and Cybernetics are continuously growing, cross-fertilizing each other and generating important theoretical and technological synergies.