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

13th International Conference on Formal Modeling and Analysis of Timed Systems Objective Timing aspects of systems from a variety of computer science domains have been treated independently by different communities.  Researchers interested…

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-…

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) Cyber-physical systems (CPS) is a fast growing…

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…

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 9th Theoretical Aspects of Software Engineering Conference (TASE 2015) will be held in Nanjing, China in September, 2015. Modern society is increasingly dependent on software systems that are becoming larger and more complex. This poses new…

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…

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…

The 15th International Conference on Runtime Verification will be held September 22-25 in Vienna, Austria Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification techniques are…

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/ About SAFECOMP Since it was established in 1979 by the…

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…

The IEEE 9th International Symposium on Embedded Multicore/Many-core Systems-on-Chip aims at providing the  world’s premier forum of leading  researchers in the embedded Multicore/Many-core SoCs software, tools and  applications design…