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…

Software Certification Consortium - Workshop #12 October 28 - 29, 2013 - NRC Headquarters - Rockville, Maryland Registration The next meeting of the Software Certification Consortium will be an open, public workshop at The…

Global Information Infrastructure Symposium (GIIS 2013) Trento, Italy. October 28-31, 2013 Technically co-sponsored by IEEE Communications Society http://www.giis-conf.org/ SCOPE AND OVERVIEW: The 2013 Global Information Infrastructure and Networking…

25th International Conference on SOFTWARE & SYSTEMS ENGINEERING and their APPLICATIONS Sponsored by AFIS (the French Association for Systems Engineering) and INCOSE, co-organized by TELECOM ParisTech, CS Communication & Systems, and the…

November 11-15, 2013 Rome, Italy Sensing systems are changing the way computers interact with the physical world -- and are driving a host of new issues in computer system design, implementation, and performance. SenSys 2013 is the…

Distributed Embedded Systems (DES) are rapidly becoming increasingly complex due to requirements on advanced functionality, with increasing amount and heterogeneity of the information that is exchanged. This high complexity imposes major development…

ICTSS 2013 (http://ictss.sabanciuniv.edu) will be held in Istanbul on Nov 13-15, 2013. ICTSS is a  series  of international  conferences addressing the conceptual, theoretic, and practical problems of testing software  …

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…

ASIACRYPT 2013 is the 19th Annual International Conference on the Theory and Application of Cryptology and Information Security. It will be held in Bangalore, India from Dec 1 to 5, 2013. The academic program covers all aspects of cryptology.…

ASIACRYPT 2013 was an international conference for all technical aspects of cryptology. ASIACRYPT 2013 was organized by the International Association for Cryptologic Research (IACR) in cooperation with the technical group on Information…

The 10th IEEE International Conference on Embedded Software and Systems (ICESS) 2013 Embedded software and systems are closely related to our daily life, which reside from smart appliances to unmanned trains. As the fastest growing industry, embedded…

6th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2013)  December 3, 2013 The CRTS workshop provides a forum for researchers and technologists to discuss the state-of-the-art, present…

WORKSHOP The purpose of WMC is to share new ideas, experiences and information about research and development of Mixed Criticality real-time systems. THEMES The workshop aims to bring together researchers working in fields relating to real-time…

Workshop on Timing Analysis and Synthesis for Synchronous Models (TASS 2013) December 3rd 2013, Vancouver, Canada   In conjunction with IEEE Real-Time Systems Symposium (RTSS) 2013 (http://2013.ieee-rtss.org/) Scope of the Workshop   Model-…

International Workshop on Real-Time and Distributed Computing in Emerging Applications Colocated with 34th IEEE Real-Time Systems Symposium Context and aims The traditional world of real-time embedded systems undergoes a continuous evolution towards more…

The Analytic Virtual Integration Cyber-Physical Systems (AVICPS) workshop focuses on analytic techniques that enable the early discovery of faults in CPS before the system is integrated or its parts are built. Such an approach is known as analytic…