12th International Conference on integrated Formal Methods, iFM 2016 http://ifm2016.ru.is | June 1-5, 2016 - Reykjavík, Iceland

The 5th Summer School on Grand Timely Topics in Software Engineering (GTTSE) Registration is open for participants! http://gttse.wikidot.com/2015:registration There is a students' workshop to which one may submit. http://gttse.wikidot.com/2015:students-workshop List of speakers

ICCD 2015: Call for Special Sessions The International Conference on Computer Design (ICCD) encompasses a wide range of topics in the research, design, and implementation of computer systems and their components. ICCD's multi-disciplinary emphasis provides an ideal environment for developers and researchers to discuss practical and theoretical work covering system and computer architecture, test, verification and security, design and technology, and tools and methodologies. ICCD 2015 will be held in New York City, NY, USA (October 19-21, 2015).

10th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2015) During the past decade, ReCoSoC has established itself as a reference international event for researchers in the areas of reconfigurable and communication-centric systems-on-chip. Its informal and dynamic philosophy encourages the technical and scientific interactions between senior academics and young researchers. ReCoSoC 2015 will take place from 29.6. to 1.7.2015 in Bremen, Germany.   

The 7th International Workshop on Dependable Many-Core Computing (DMCC 2015) As part of The International Conference on High Performance Computing & Simulation (HPCS 2015) http://hpcs2015.cisedu.info  or  http://cisedu.us/rp/hpcs15  July 20 – July 24, 2015  |  The Hilton Amsterdam Hotel  |  Amsterdam, The Netherlands 

Ptolemy Miniconference Eleventh Biennial Ptolemy Miniconference will be held on Friday October 16, 2015 at the Bancroft Hotel Great Hall near the University of California, Berkeley campus. The Ptolemy project (http://ptolemy.org) studies modeling, simulation, and design of concurrent, real-time, embedded systems. The focus is on assembly of concurrent components.

9th European Conference on Software Architecture SCOPE The European Conference on Software Architecture (ECSA) is the premier European software architecture conference, providing researchers, practitioners, and educators with a platform to present and discuss the most recent, innovative and significant findings and experiences in the field of software architecture research and practice. The conference will feature a research track, an industrial track, an education and training track, keynotes, workshops, tutorials, tool and demonstrations, and panels.

2nd International Workshop on Cyber-Physical Systems (IWCPS’15) E-mail: iwcps2015@fedcsis.org We would like to cordially invite you to consider contributing a paper to IWCPS 2015 - held as a part of the Federated Conference on Computer Science and Information Systems (FedCSIS 2015).

Second International Workshop on Challenges and new Approaches for Dependable and Cyber-Physical Systems Engineering (DeCPS2015) in conjunction with the international conference on reliable software technologies -  Ada-Europe 2015 Madrid, Spain | June 23, 2015

The Second International Workshop on Graphical Models for Security (GraMSec 2015) Co-located with CSF 2015 Graphical security models provide an intuitive but systematic methodology to analyze security weaknesses of systems and to evaluate potential protection measures. Formal methods and computer security researchers, as well as security professionals from industry and government, have proposed various graphical security modeling schemes.