The 26th Nordic Workshop on Programming Theory, NWPT '14 =Introduction= The NWPT series of annual workshops is a forum bringing together programming theorists from the Nordic and Baltic countries (but also elsewhere). =Scope= Topics of interest include (but are not limited to)

3rd Workshop on High-performance and Real-Time Embedded Systems (HiRES 2015) http://www.cister.isep.ipp.pt/hires2015 To be held in conjunction with the 10th International Conference on High-Performance and Embedded Architectures and Compilers (HiPEAC 2015) Goal of the Workshop

2nd International Workshop on Synthesis of Complex Parameters Aim

5th International Summer School on Model-Driven Development for Distributed, Realtime, Embedded Systems MDD4DRES 2014 Model-Driven Development (MDD) is now an established paradigm the application of which spans multiple domains. One of the main domains is Distributed Real-Time and Embedded Systems (DRES) where MDD has proven its efficiency.

First Workshop on Parameterized Verification Parameterized Verification (PV) is the task of verifying the correctness of systems composed of a finite but arbitrary number of identical components. The workshop is aimed at bringing together researchers working on PV in areas like Concurrent Software, Protocols, Distributed Algorithms, and Hardware Design. The home page of the workshop is at the URL: http://www.disi.unige.it/person/DelzannoG/PV/PV14/

20th International Symposium on Formal Methods SCOPE AND TOPICS

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/