The 13th International Workshop on Automated Verification of Critical Systems will take place at the University of Surrey in Guildford, Surrey. The workshop will run from lunchtime on Wednesday 11th September to midday on Friday 13th September 2013.

Call for Papers: BuildSys 2013
5th ACM Workshop On Embedded Systems For Energy-Efficiency In Buildings
November 14-15, 2013 – Rome, Italy | co-located with ACM SenSys 2013 | http://www.buildsys.org/2013/

We solicit three types of original submissions:

4th International Conference on Pervasive and Embedded Computing and Communication Systems

International Workshop on Design and Implementation of Formal Tools and Systems

Portland, OR October 19, 2013
co-located with FMCAD and MEMOCODE

Formal Methods in Computer-Aided Design

20th International Symposium on Temporal Representation and Reasoning

Symposium Scope

CALL FOR PARTICIPATION: FormaliSE 2013
FME Workshop on Formal Methods in Software Engineering
held in conjunction with ICSE 2013
Saturday 25 May 2013, San Francisco, USA
http://www.formalise.org/


WORKSHOP SCOPE
The software industry has a long-standing and well-earned reputation for failing to deliver on its promises and it is clear that still nowadays, the success of software projects with the current technologies cannot be assured.