2nd International Workshop on Model-Driven Engineering for High Performance and Cloud computing MODELS 2013 satellite event ------------------------------------------

25th International Conference on SOFTWARE & SYSTEMS ENGINEERING and their APPLICATIONS

6th International Workshop on Model Based Architecting and Construction of Embedded Systems The design of embedded and cyber-physical systems with real-time and other critical constraints raises distinctive problems throughout the design process, from high-level system engineering down to low-level design.

Call for Applications - MODELING OUTSIDE THE BOX (MOTB) WORKSHOP (co-located with MODELS'13 in Miami, Florida, USA, September 30, 2013)    http://cserg0.site.uottawa.ca/modelingoutsidethebox2013 WHAT IS IT? =========== Through a series of creativity, lateral thinking, and brainstorming activities, the Modeling Outside the Box (MOTB) workshop will ask

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

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