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
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/
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
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
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
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.
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
Feedback
Feedback
If you experience a bug or would like to see an addition or change on the current page, feel free to leave us a message.