A body of knowledge containing laws, axioms and provable theories relating to some aspect of system security.
Event
CASES 2016
Compilers, Architecture and Synthesis of Embedded Systems Conference (CASES 2016)
Part of Embedded Systems Week (ESWeek is the premier event covering all aspects of embedded systems and software.)
About CASES:
Event
RTCSA 2016
RTCSA 2016: The 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
RTCSA 2016 is going to be held in Daegu, South Korea and organized by DGIST. The RTCSA conference series carry on with the tradition and bring together researchers and developers from academia and industry for advancing the technology of embedded and real-time systems and their emerging applications including the Internet of things and cyber-physical systems.
Event
EMSOFT 2016
INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT)
The ACM SIGBED International Conference on Embedded Software (EMSOFT) brings together researchers and developers from academia, industry, and government to advance the science, engineering, and technology of embedded software development. EMSOFT 2016 is part of the Embedded Systems Week.
Event
TIME 2016
CALL FOR PAPERS
23rd International Symposium on Temporal Representation and Reasoning (TIME 2016)
Aim
Event
ESTIMedia 2016
The 14th IEEE Symposium on Embedded Systems for Real-Time Multimedia (ESTIMedia 2016)
6th – 7th Oct 2016 | Pittsburgh, USA | http://www.estimedia.org/
The IEEE ESTIMedia’16 is organized as a part of the Embedded Systems Week 2016
Event
CONCUR 2016
The 27th International Conference on Concurrency Theory (CONCUR2016)
The 27th International Conference on Concurrency Theory will take place in Québec City, Canada, 23-26 August 2016. The event will be co-located with the 13th QEST International Conference on Quantitative Evaluation of SysTems (QEST) and the 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS).
The National Institute of Standards and Technology (NIST) launched the 2016 Global City Teams Challenge (GCTC; see http://www.nist.gov/cps/sagc.cfm) with a kickoff meeting on November 12-13, 2015, in Gaithersburg, MD.
Event
IWCMC 2016
**** Due to several requests, the deadline is extended to Feb. 29, 2016 (Final) ***
CALL FOR PAPERS
The 12th International Wireless Communications and Mobile Computing Conference (IWCMC 2016)
Paphos, Cyprus | September 5-9, 2016 | http://iwcmc.org/2016
Mobile Computing Symposium (http://swimsys.cs.odu.edu/iwcmc-mc/2016/)
Event
SAFECOMP 2016
The 35th International Conference on Computer Safety, Reliability and Security (SAFECOMP2016)
ABOUT SAFECOMP
Event
SEsCPS 2016
2nd INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR SMART CYBER-PHYSICAL SYSTEMS (SEsCPS)
In conjunction with ICSE 2016
May 14-22, 2016 | Austin, TX, USA) | http://d3s.mff.cuni.cz/conferences/sescps2016/
INTRODUCTION