To facilitate the processing and manipulation of models, a lot of research has gone into developing languages, standards, and tools to support model transformations. A quick search on the internet produces more than 30 different transformation languages that have been proposed in the literature or implemented in open-source or commercial tools. The growing adoption of these languages and the growing size and complexity of the model transformations developed require a better understanding of how all activities in the model transformation life cycle can be optimally supported.

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 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.

  MSR 2013: CALL for PARTICIPATION 10th Working Conference on Mining Software Repositories (MSR) May 18-19, 2013. San Francisco, California, USA The Mining Software Repositories (MSR) field analyzes the rich data available in software repositories to uncover interesting and actionable information about software systems and projects. The goal of this two-day working conference is to advance the science and practice of MSR. CONFERENCE PROGRAM The MSR 2013 program includes:

  ICSE 2013 Workshop: 2nd Workshop on User evaluations for Software Engineering Researchers Date: Sunday May 26, 2013 San Francisco, CA, USA Full Details: https://sites.google.com/site/user2013workshop/ Contact: user2013@easychair.org   FINAL PROPOSAL DEADLINE: April 24, 2013.

The 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning Stellenbosch, South Africa, 14-19 December 2013 www.LPAR-19.info

Big MDE A workshop of the STAF conferences, focusing on scalability in Model Driven Engineering. June 17, 2013, Budapest, Hungary.

MODEL-DRIVEN REQUIREMENTS ENGINEERING (MoDRE) WORKSHOP AT RE 2013 Co-located with the 21st IEEE International Requirements Engineering Conference in Rio de Janeiro, Brazil, July 15, 2013