Welcome to the European Symposium on Research in Computer Security (ESORICS) 2015 Web Site. This is the 20th symposium in the ESORICS series. This year the Symposium will be held in Vienna, Austria at the Vienna University of…

The 2nd International Competition on Runtime Verification will be held with RV 2015, September 22 – 25, 2015 The event will draw attention to the invaluable effort of software developers and researchers who contribute in this field by providing the…

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/

The 15th International Conference on Runtime Verification will be held September 22-25 in Vienna, Austria

13th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'15) http://memocode.irisa.fr/ The University of Texas at Austin, September 21-23, 2015 MEMOCODE will be collocated with FMCAD’15, SAT’15, DIFTS’15, and…

2nd International Workshop on Cyber-Physical Systems (IWCPS’15) E-mail: iwcps2015@fedcsis.org We would like to cordially invite you to consider contributing a paper to IWCPS 2015 - held as a part of the Federated Conference on Computer Science and…

The 9th Theoretical Aspects of Software Engineering Conference (TASE 2015) will be held in Nanjing, China in September, 2015.

9th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2015) Important dates Paper submission: May 15, 2015 Decision notification: July 12, 2015 Camera-ready submission: July 23, 2015 Workshop:…

The 20th IEEE International Conference on Emerging Technologies and Factory Automation will be held September 8-11, 2015 in Luxembourg The aim of this conference is to bring together researchers and practitioners from the industry and academia and…

9th European Conference on Software Architecture SCOPE The European Conference on Software Architecture (ECSA) is the premier European software architecture conference, providing researchers, practitioners, and educators with a platform to present and…

1st International Workshop on Software Architectures for Next-generation Cyber-physical Systems (SANCS 2015) co-located with the 9th European Conference on Software Architecture (ECSA 2015)

The 25th International Conference on Field Programmable Logic and Applications The International Conference on Field-programmable Logic and Applications (FPL) was the first and remains the largest conference covering the rapidly growing area of field-…

13th International Conference on Formal Modeling and Analysis of Timed Systems Objective

Attendees: Bosch (Jens, Matthias) , Goran, GE (Simone, Alex) Discussed deliverable content