The 6th International Conference on Software Language Engineering (SLE) is devoted to topics related to artificial languages in software engineering.

SLE's mission is to encourage and organize communication among communities that have traditionally looked at software languages from different and yet complementary perspectives. 

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