15th International Forum on MPSoC for Software-defined Hardware Focus:

7th Working Conference on Verified Software: Theories, Tools, and Experiments The Seventh Working Conference on Verified Software: Theories, Tools, and Experiments follows a successful inaugural working conference at Zurich in 2005 followed by conferences in Toronto (2008), Edinburgh (2010), Philadelphia (2012), Atherton (2013) and Vienna (2014). The goal of this conference is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation.

42nd International Symposium on Computer Architecture (ACM/IEEE ISCA 2015) The 42nd International Symposium on Computer Architecture (ISCA) is the premier forum for new ideas and experimental results in computer architecture. This year ISCA will be held in the Oregon Convention Center in Portland, Oregon during June 13-17, 2015.

Third ACM International Workshop on Manycore Embedded Systems in conjunction with the 42nd International Symposium on Computer Architecture (ISCA 2015)  

Software Technologies: Applications and Foundations (STAF) is a federation of a number of the leading conferences on software technologies. It was formed after the end of the successful TOOLS federated event (http://tools.ethz.ch) in 2012, providing a loose umbrella organisation, with steering committee, that aims to provide continuity.

The IEEE 9th International Symposium on Embedded Multicore/Many-core Systems-on-Chip aims at providing the  world’s premier forum of leading  researchers in the embedded Multicore/Many-core SoCs software, tools and  applications design areas for Academia and industries. WORKSHOPS AND SPECIAL SESSIONS INCLUDE:

25th International Symposium on Logic-Based Program Synthesis and Transformation Co-located with PPDP 2015 Conference Description

Workshop on Wearable Systems and Applications at MobiSys 2015

The 13th International Conference on Mobile Systems, Applications, and Services MobiSys 2015 seeks to present innovative and significant research on the design, implementation, usage, and evaluation of mobile computing and wireless systems, applications, and services. This conference builds on the success of the previous twelve MobiSys conferences. It is sponsored by ACM SIGMOBILE.

3rd Workshop on Virtual Prototyping of Parallel and Embedded Systems July 19th, 2015, Samos, Greece held in conjunction to the Samos conference, July 20-23rd, 2015 Background