A body of knowledge containing laws, axioms and provable theories relating to some aspect of system security.
Event
JRWRTC 2014
8th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2014)
in conjunction with the 22nd International Conference on Real-Time and Network Systems (RTNS 2014)
Call for papers
NIST Cyber-Physical Systems Public Working Group
What are Cyber-Physical Systems or CPS?
- Is a CPS any engineered system with a microprocessor?
- Do all CPS need to be connected to the internet?
- Are there a set of basic functions and architectural elements common to all CPS?
You are invited to join us in answering these questions and charting the path to the future.
Event
DSN 2014
Call for Participation
We cordially invite you to participate in the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). DSN is the premier international forum for presenting research results in the broad field of dependability, ranging from hardware to applications and including important areas in between such as networks, distributed systems and the cloud, cyber-physical systems, and socio-technical aspects.
Event
PECCS 2015
International Conference on Pervasive and Embedded Computing and Communication Systems PECCS
In Cooperation with: EUROMICRO and EURASIP Co-organized by: ESEO Sponsored by: INSTICC INSTICC is Member of: WfMC Logistics Partner: SCITEVENTS
Event
MOVEP 2014
CALL FOR STUDENT ABSTRACTS & REGISTRATIONS NOW OPEN
EXTENDED DEADLINE
Summer School MOVEP 2014
11th School on MOdelling and VErifying parallel Processes
7 -- 11 July 2014, Nantes, France
http://movep14.irccyn.ec-nantes.fr/
enquiries / submissions: movep14@irccyn.ec-nantes.fr
Event
ASCoMS 2014
3rd Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS)
The 3rd ASCoMS workshop takes place at SAFECOMP 2014 - with the purpose to gather industrial and academic experts with interests in architecting safety in collaborative mobile systems.
Event
IEEE Cloud-CPS 2014
IEEE International Workshop on Cloud-integrated Cyber Physical Systems 2014 (IEEE Cloud-CPS 2014)
in conjunction with IEEE CloudCom 2014, December 15 - 18, 2014, Singapore
Overview:
Event
CPSData:2014
CPSData 2014 : CPSData - Big Data Technologies for the Analysis and Control of complex Cyber-Physical Systems
Workshop in conjuction with INFORMATIK 2014
Conquering Complexity: Challenges and Opportunities
Cyber Physical Systems: From Theory to Practice
http://www.crcpress.com/