A body of knowledge containing laws, axioms and provable theories relating to some aspect of system security.
Event
DSN 2015
45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
The Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) is the most prestigious international forum for presenting research results in the field of dependable and secure computing.
Event
RTA 2015
26th International Conference on REWRITING TECHNIQUES AND APPLICATIONS
29 June - 1 July, 2015, Warsaw, Poland
co-located with TLCA, as part of RDP 2015
http://rdp15.mimuw.edu.pl/
RTA is the major forum for the presentation of research on all
aspects of rewriting. Topics of interest include:
Event
MOMAC 2015
Second International Workshop on Multi-Objective Many-Core Design (MOMAC)
in conjunction with International Conference on Architecture of Computing Systems (ARCS 2015)
IMPORTANT DATES
Paper submission deadline: December 1, 2014
Notification of acceptance: January 16, 2015
Final version: February 16, 2015
Dear colleagues, please consider the opportunity to contribute to the Second Workshop on Multi-Objective Many-Core Design (MOMAC) to be held in Porto, Portugal in conjunction with ARCS 2015.
Event
SAFECOMP 2015
SAFECOMP 2015 "Assured connectivity"
The 34th International Conference on Computer Safety, Reliability and Security
22-25 September 2015, Delft, the Netherlands
http://safecomp2015.tudelft.nl/
Event
FESCA 2015
12th International Workshop on Formal Engineering approaches to Software Components and Architectures
Satellite event of ETAPS
WORKSHOP AIM
Event
Resilience Week 2015
Symposia dedicated to promising research in resilient systems that will protect critical cyber-physical infrastructures from unexpected and malicious threats--securing our way of life. There are five co-located symposia:
Resilient Control Systems
Resilient Cyber Systems
Resilient Cognitive Systems
Resilient Communication Systems
Resilient Critical Infrastructure
![Craig Rieger](/sites/cps-vo.org/files/profile_images/picture-398.jpg)
Event
SMERC 2014
UCLA to Host Smart EV Charging and Grid Management Symposium on September 16, 2014 - along with National Drive Electric Week
In September, as America and California plan their National Drive Electric Week - https://driveelectricweek.org/event.php?eventid=127 - UCLA's SMERC is planning to host its Smart EV Charging and Grid Management Symposium.
Event
MDD4DRES 2014
5th International Summer School on Model-Driven Development for Distributed, Realtime, Embedded Systems
MDD4DRES 2014
Model-Driven Development (MDD) is now an established paradigm the application of which spans multiple domains. One of the main domains is Distributed Real-Time and Embedded Systems (DRES) where MDD has proven its efficiency.
Event
MidSEE 2015
1st Workshop on Middleware for a Smarter Use of Electric Energy
in conjunction with NetSys 2015, Cottbus, Germany
https://www.netsys2015.com/workshops-tutorials/midsee/
MOTIVATION & WORKSHOP SCOPE
Event
WoSoCer 2014
The 4th International IEEE Workshop on Software Certification (WoSoCer 2014)
http://cecris-project.eu/wosocer2014
3-6 November 2014, Naples, Italy
The 2014 edition of WoSoCer is co-located with the 25th IEEE International Symposium on Software Reliability Engineering (ISSRE 2014) and takes place in Naples, Italy, 3-6 November 2014.
We invite researchers and practitioners, from both academia and industry, to present and discuss their work on software certification at the workshop.