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

International Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms (RADIANCE)

2nd Workshop on Formal-IDE A satellite workshop of FM2015 General theme: “Formal Integrated Development Environment (F-IDE) for joint construction of an application and its correctness proof upon its formalized specification”. Aims

7th Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2015) APRES 2015 is part of the CPSweek 2015, held in Seattle, April 13-17, 2015. Overview

The International Workshop on Engineering Safety and Security Systems (ESSS) aims at contributing to the challenge of constructing reliable and secure systems. The workshop covers areas such as formal specification, type checking, model checking, program analysis/transformation, model-based testing and model-driven software construction. The workshop will bring together researchers and industry R&D expertise together to exchange their knowledge, discuss their research findings, and explore potential collaborations. The ESSS 2015 workshop is affiliated with FM 2015.

3rd FME Workshop on Formal Methods in Software Engineering will be held on 18 May 2015 in conjunction with ICSE 2015 (May 16th-May 24th)

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:

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.

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

Software Certification Consortium Meeting 2014 Co-located with High Confidence Software and Systems (HCSS) Conference   The SCC is organized to pursue the following objectives: