The terms denote technology areas that are part of the CPS technology suite or that are impacted by CPS requirements.
Event
MDHPCL 2013
2nd International Workshop on Model-Driven Engineering for High Performance and Cloud computing
MODELS 2013 satellite event
------------------------------------------
Event
ICSSEA 2013
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.
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.
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:
Event
PECCS 2014
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
Event
DIFTS 2013
International Workshop on Design and Implementation of Formal Tools and Systems
Portland, OR October 19, 2013
co-located with FMCAD and MEMOCODE