12th ACM/IEEE International Conference on Methods and Models for System Design (MEMOCODE'14) Ecole Polytechnique Fédérale de Lausanne (EPFL), Switzerland, 19-21 October, 2014

     17th International Workshop on Software and Compilers for Embedded Systems June 10-11, 2014

14th International Conference on Application of Concurrency to System Design (ACSD 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.

The 19th IEEE International Conference on Engineering of Complex Computer Systems

SAMOS is a unique conference. It deals with embedded systems (sort of)   but that is not what makes it different.

--------------------------------------------------------------------- &nb

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:

4th International ABZ 2014 Conference ASM, Alloy, B, TLA, VDM, Z  The ABZ 2014 conference is organized in Toulouse

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.