26th International Conference on REWRITING TECHNIQUES AND APPLICATIONS 29 June - 1 July, 2015, Warsaw, Poland co-located with TLCA, as part of RDP 2015 http://rdp15.mimuw.edu.pl/ RTA is the major forum for the presentation of research on all aspects of rewriting.  Topics of interest include:

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.

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/

INTL. WORKSHOP ON THE ANALYSIS OF MODEL TRANSFORMATIONS (AMT'14) Valencia, Spain  28, 29, or 30 Sept 2014 http://msdl.cs.mcgill.ca/conferences/AMT Co-located with MODELS'14 MOTIVATION

Multi-Core and Many-Core systems for EMbedded Computing (MC)3 Special session in 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2015) This special session addresses all aspects of multi-core and many-core embedded systems design. It presents new ideas in the multi-core field such as theory and modeling, scalable and fault tolerant design approaches and frameworks, algorithms, software, tools and applications, analysis and comparison, design techniques and emerging implementations.

STAF 2014 Doctoral Symposium http://www.cs.york.ac.uk/staf/2014/doctoralsymposium Call for Abstract Submissions Part of Software Technologies: Applications and Foundations 2014 University of York, UK,  21st - 25th July 2014. http://stafconferences.info/

8th International Conference on TESTS AND PROOFS Scope ===== The TAP conference is devoted to the synergy of proofs and tests, to the application of techniques from both sides and their combination

CALL FOR PAPERS

5th IEEE International Workshop on Component-Based Design of

Second ACM International Workshop on Manycore Embedded Systems (MES) in conjunction with the 41st Internat