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:
Submitted by Anonymous on March 25th, 2016
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.
Submitted by Anonymous on March 11th, 2016
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.
Submitted by Anonymous on March 8th, 2016
Event
TIME 2016
CALL FOR PAPERS  23rd International Symposium on Temporal Representation and Reasoning (TIME 2016) Aim
Submitted by Anonymous on February 24th, 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 
Submitted by Anonymous on February 24th, 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). 
Submitted by Anonymous on February 15th, 2016
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.
Submitted by Anonymous on February 12th, 2016
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/)
Submitted by Anonymous on February 11th, 2016
The 35th International Conference on Computer Safety, Reliability and Security (SAFECOMP2016) ABOUT SAFECOMP
Submitted by Anonymous on February 3rd, 2016
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
Submitted by Anonymous on February 3rd, 2016
Subscribe to Science of Security