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.
Submitted by Anonymous on November 20th, 2014
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:
Submitted by Anonymous on October 24th, 2014
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.
Submitted by Anonymous on October 20th, 2014
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/
Submitted by Anonymous on October 20th, 2014
Event
FESCA 2015
12th International Workshop on Formal Engineering approaches to Software Components and Architectures Satellite event of ETAPS WORKSHOP AIM
Submitted by Anonymous on October 20th, 2014
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 Submitted by Craig Rieger on September 26th, 2014
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.
Submitted by Anonymous on September 16th, 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.
Submitted by Anonymous on August 25th, 2014
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
Submitted by Anonymous on July 21st, 2014
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.
Submitted by Anonymous on July 11th, 2014
Subscribe to Science of Security