Future of Information and Communication Conference (FICC) 2019 FICC 2019 aims to provide a forum for researchers from both academia and industry to share their latest research contributions and exchange knowledge with the common goal of shaping the future of Information and Communication.  ABOUT FICC 2019

16th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE '18) Over the last decade, the boundaries between computer system components, such as hardware, software, firmware, middleware, and applications, have blurred. This evolution in system design and development practices led in 2014 to a change in the title and scope of the MEMOCODE conference from its original focus on hardware/software co-design to its new focus on formal methods and models for developing computer systems and their components.

First International Workshop on Artificial Intelligence Safety Engineering (WAISE 2018) In conjunction with SAFECOMP 2018

12th International Conference on Tests & Proofs (TAP 2018) Part of the STAF Event 2018(parallel ECMFA, ICGT, ICMT, SEFM, TAP, TTC) Purpose and scope The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.

Ninth International Workshop on Graph Computation Models (GCM 2018) Co-located with ICGT 2018 Part of STAF 2018 BACKGROUND AND AIMS

11th  International Workshop on Numerical Software Verification (NSV 2018) Federated Logic Conference (FLoC)  2018

Special Session on: “Emerging Solutions for Vehicular Embedded Software Systems” (IECON 2018) At the 44th Annual Conference of the IEEE Industrial Electronics Society The Special Session is organized and co-chaired by: Saad Mubeen, Mälardalen University, Sweden, saad.mubeen@mdh.se Lucia Lo Bello, University of Catania, Italy, lobello@unict.it Matthias Becker, KTH Royal Institute of Technology, Sweden, mabecker@kth.se Outline of the Session

CALL FOR NOMINATIONS VCLA International Student Awards 2018 in Memory of Helmut Veith The Vienna Center for Logic and Algorithms of TU Wien (Vienna University of Technology), calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science, in the following two categories:

IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2018) DSN is the flagship conference for research fostering robustness and resilience of a whole spectrum of today’s computing systems where dependability and security concerns can no longer be tackled in isolation, from general IT to internet-of-things and cyber-physical systems and application areas. Authors are invited to submit original papers on the research and practice of creating, validating, deploying, and maintaining dependable and secure systems and networks.

4th International Workshop on Safety and Security of Intelligent Vehicles Co-located with DSN 2018 WORKSHOP DESCRIPTION