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

 The Symposium on Applied Computing has been a primary gathering forum for applied computer scientists, computer engineers, software engineers, and application developers from around the world. SAC 2014 is sponsored by the ACM Special Interest Group on Applied Computing and is hosted by Seoul National University, Kyungpook National University, Soongsil University, and Dongguk University. The SRC Program is sponsored by Microsoft Research. 

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.

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.

4th International Conference on Pervasive and Embedded Computing and Communication Systems PECCS 2014 will be held in conjunction with SENSORNETS 2014, PHOTOPTICS 2014 and PhyCS 2014.  Registration to PECCS allows free access to the SENSORNETS, PHOTOPTICS and PhyCS conferences (as a non-speaker).   UPCOMING DEADLINES Regular Paper Submission: July 30, 2013  Regular Paper Authors Notification: October 9, 2013  Regular Pape

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.

CALL FOR PARTICIPATION

  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.