28th GI/ITG International Conference on Architecture of Computing Systems The ARCS series of conferences has over 30 years of tradition reporting high quality results in computer architecture and operating systems research. The focus of the 2015 conference will be on reconciling parallelism and predictability in mixed-critical systems. Like the previous conferences in this series, it continues to be an important forum for computer architecture research, including also workshops and tutorials within its technical scope.

The 15th ACM/IEEE International Conference on Information Networks The International Conference on Information Processing in Sensor Networks (IPSN) is a leading, single-track, annual forum on research in networked sensing and control, broadly defined. IPSN brings together researchers from academia, industry, and government to present and discuss recent advances in both theoretical and experimental research.

20th International Symposium on Formal Methods SCOPE AND TOPICS

1st Workshop on Middleware for a Smarter Use of Electric Energy in conjunction with NetSys 2015, Cottbus, Germany https://www.netsys2015.com/workshops-tutorials/midsee/ MOTIVATION & WORKSHOP SCOPE

21st IEEE Real-Time and Embedded Technology and Applications Symposium

IEEE 2015 International Conference on Industrial technology. ICIT 2015 ICIT 2015 is the annual International Conference on Industrial Technology, focusing on intelligent and computer control systems, robotics, factory communications and automation, flexible manufacturing, sensing, data acquisition and signal processing, computing and networking, vision systems, power electronics and electrical machines,

8th International Workshop on Multi-Paradigm Modeling (MPM'14) Multi-Paradigm Modeling (MPM) is a research field focused on solving the challenge of combining, coupling and integrating rigorous models of some reality, at different levels of abstraction and views, using modeling formalisms and semantic domains, with the goal of simulating or realizing systems that may be physical, software or a combination of both. The key challenges are finding adequate Modeling Abstractions, Multi-formalism Models, Model Transformations and applying MPM techniques and tools to Complex Systems.

The 4th International IEEE Workshop on Software Certification (WoSoCer 2014) http://cecris-project.eu/wosocer2014 3-6 November 2014, Naples, Italy The 2014 edition of WoSoCer is co-located with the 25th IEEE International Symposium on Software Reliability Engineering (ISSRE 2014) and takes place in Naples, Italy, 3-6 November 2014. We invite researchers and practitioners, from both academia and industry, to present and discuss their work on software certification at the workshop.