2015

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

13th International Symposium on Automated Technology for Verification and Analysis

The purpose of ATVA is to promote research on theoretical and practical aspects of automated analysis, verification and synthesis by providing a forum for interaction between the regional and the international research communities and industry in the field. The previous events were held in Taiwan - 2003-5, Beijing - 2006, Tokyo - 2007, Seoul - 2008, Macao - 2009, Singapore - 2010, Taiwan - 2011, Thiruvananthapuram - 2012, Hanoi - 2013, and Sydney - 2014.

The 15th International Workshop on Worst-Case Execution time Analysis (WCET 2015) is a satellite workshop of the 27th Euromicro Conference on Real-Time Systems (ECRTS 2015) , the premier European venue for presenting research into the broad area of real-time and embedded systems.

The Annual International Conference on Distributed Computing in Sensor Systems (DCOSS 2015) will take place in Fortaleza, Brazil from Wednesday, June 10 to Friday, June 12 2015.

The conference is technically sponsored by IEEE Computer Society and is intended to cover several aspects of distributed computing in sensor systems such as high level abstractions and models, systematic design methodologies, signal and information processing, algorithms, analysis and applications.