The Computer Security Foundations Symposium (CSF) is an annual conference for researchers in computer security, to examine current theories of security, the formal models that provide a context for those theories, and techniques for verifying security.…

Participants: UJF, Esterel Discussion of possible strategies for model transformation and tool interaction.

EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS Lund, Sweden, 8-10th July 2015 Organized by the Euromicro Technical Committee on Real-Time Systems Conference web site: ecrts15.ecrts.org THEME AND TOPICS OF INTEREST ECRTS is the premier European venue for…

11th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications OSPERT is a forum for researchers and engineers working on (and with) Real-Time Operating Systems (RTOSs) to present recent advances in RTOS technology, to promote…

The 15th International Workshop on Worst-Case Execution time Analysis (WCET 2015) is a satellite workshop of the 27th Euromicro Conference on Real-Time Systems (ECRTS 2015) , the premier European venue for presenting research into the broad area of real-…

International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems The goal of the International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS) is to create a common ground and a…

12th International Conference on Autonomic Computing (ICAC 2015) In cooperation with USENIX and SPEC Corporate supporters: Google, HP Labs, Orange Labs IMPORTANT DATES Abstract Submission:     January 15, 2015 Paper Submission:…

The annual Privacy Enhancing Technologies Symposium (PETS) brings together privacy and anonymity experts from around the world to discuss recent advances and new perspectives. PETS addresses the design and realization of privacy services for the Internet…

10th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2015) During the past decade, ReCoSoC has established itself as a reference international event for researchers in the areas of reconfigurable and…

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…

2nd International Workshop about Sets and Tools (SETS 2015) Affiliated to FM 2015, Oslo - Norway The workshop aims at bringing together researchers interested in set theory, especially to design tools for dealing with set theory, such as…

Second International Workshop on Challenges and new Approaches for Dependable and Cyber-Physical Systems Engineering (DeCPS2015) in conjunction with the international conference on reliable software technologies -  Ada-Europe 2015 Madrid, Spain |…

The 1st Formal Methods in Software Engineering Education and Training Workshop (FMSEET 2015) Co-Located  with FM 2015 Endorsed by the European Association of Software Science and Technology (http://www.easst.org) and …

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…