A body of knowledge containing laws, axioms and provable theories relating to some aspect of system security.
Event
RV 2016
16th International Conference on Runtime Verification (RV 2016)
Scope
Event
INDIN 2016
INDIN 2016 IEEE International Conference on Industrial Informatics
Sponsored by: IEEE Industrial Electronics Society and Pprime Institute, Futuroscope-Poitiers, France
INDIN2016 is 14th International Conference on Industrial Informatics sponsored by the Industrial Electronics Society of the IEEE. The premier conference series presenting the state of the art and future perspectives of industrial information technologies.
Event
PETRA 2016
9th International Conference on PErvasive Technologies Related to Assistive Environments (PETRA 2016)
The PETRA conference is a highly interdisciplinary conference that focuses on computational and engineering approaches to improve the quality of life and enhance human performance in a wide range of settings, in the workplace, at home, in public spaces, urban environments, and other.
Project
2012 SoS Community Meeting
This proposed task provides the support for a community meeting by the Federal agencies, whose mission is to advance the science and technology of cyber security, with leading experts and researchers in academia, industry, and government at the Gaylord National Hotel and Convention Center, National Harbor, Maryland. This meeting will focus on recent progress in developing the scientific foundation for the design and analysis of trusted systems.
Over 150 leaders from government, industry, and the academic community met to discuss new and ongoing programs in security science being pursued by U.S. government research sponsors, and an exciting new Cybersecurity Research Institute recently established in the U.K. The presentations included work in a broad range of disciplines including mathematics, computer science, behavioral science, economics, physics, and biology. The meeting introduced a new Science of Security Virtual Organization website designed to promote research collaboration and community development. NSA's Director of Research concluded the meeting with the announcement of a Cybersecurity Science Paper Competition.
Off
Vanderbilt University
-
National Science Foundation
![Chris vanBuskirk](/sites/cps-vo.org/files/profile_images/picture-33.png)
Event
ECYPS’2016
4th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems (ECYPS’2016)
ECYPS’2016 - the 4th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems will be held in the scope of MECO’2016 - the 5th Mediterranean Conference on Embedded Computing. It is devoted to cyber-physical systems (CPS) for modern applications that usually require high-performance, low energy consumption, high safety, security and reliability.
Event
IEEE UIC 2016
13th IEEE International Conference on Ubiquitous Intelligence and Computing (IEEE UIC 2016)
Ubiquitous sensors, devices, networks and information are paving the way towards a smart world in which computational intelligence is distributed throughout the physical environment to provide reliable and relevant services to people.
Event
CPSSC 2016
1st International Workshop on Cyber-Physical Systems in the Context of Smart Cities
23 February 2016 | Vienna, Austria | @SE2016
![Katie Dey](/sites/cps-vo.org/files/pictures/2023-09/Katie-Budapest.png)
Event
FORTE 2016
36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2016)
Part of the DisCoTec 2016 event
FORTE 2016 is a forum for fundamental research on theory, models, tools, and applications for distributed systems. The conference solicits original contributions that advance the science and technologies for distributed systems, with special interest in the areas of:
Event
WRC2016
10th HiPEAC Workshop on Reconfigurable Computing (WRC'2016)
The HiPEAC Workshop on Reconfigurable Computing (WRC) provides a forum for researchers active in domains within the reconfigurable computing area. Its main focus is on reconfigurable architectures, tools and algorithms that facilitate reconfigurable systems and applications tailored for reconfigurable platforms.
Event
CF'16
ACM International Conference on Computing Frontiers 2016 (CF'16)
May 16 - 18, 2016, Como, Italy | www.computingfrontiers.org