20th International Conference on Architectural Support for Programming Languages and Operating Systems

ASPLOS is the premier forum for multidisciplinary systems research spanning computer architecture and hardware, programming languages and
compilers, operating systems and networking, as well as applications and user interfaces. The 2015 conference will be held in Istanbul, Turkey, a city where two continents meet on the blue waters of the Bosphorus to offer an abundance of unique natural, historical, cultural, and culinary experiences.

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.

MoDeVVa 2014 - 11th edition

Model-Driven Engineering, Verification, and Validation
Integrating Verification and Validation in MDE

A satellite event of MODELS 2014
September 30th, Valencia, Spain

http://wwwdi.supelec.fr/modevva/

Coordination Models, Languages and Applications