Theoretical aspects of cyber-physical systems.
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.
Submitted by Anonymous on June 11th, 2013
Event
ACES^MB 2013
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.
Submitted by Anonymous on June 11th, 2013
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
Submitted by Anonymous on June 11th, 2013
Event
2nd Workshop on AMT
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.
Submitted by Anonymous on June 11th, 2013
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.
Submitted by Anonymous on June 11th, 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:
Submitted by Anonymous on May 9th, 2013
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:
Submitted by Anonymous on April 19th, 2013
Announcement
Final call for participation: USER 2013 workshop proposal submissions accepted until April 24!
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.
Submitted by Anonymous on April 19th, 2013