26th Static Analysis Symposium Part of the 3rd World Congress on Formal Methods

22nd Euromicro Conference on Digital System Design (DSD 2019) The Euromicro Conference on Digital System Design (DSD) addresses all aspects of (embedded, pervasive and high-performance) digital and mixed HW/SW system engineering, covering the whole design trajectory from specification down to micro-architectures, digital circuits and VLSI implementations. It is a forum for researchers and engineers from academia and industry working on advanced investigations, developments and applications.

The 14th International Conference on Future Networks and Communications (FNC 2019) Future Networks and Communications (FNC) research effort will help achieving a major promise of the emerging technologies such as, ubiquitous access to broadband, supporting vital applications in our daily lives such as health, energy consumption, environment transport, entertainment or education.

16th International Conference on Informatics in Control, Automation and Robotics (ICINCO) The purpose of the 16th International Conference on Informatics in Control, Automation and Robotics (ICINCO) is to bring together researchers, engineers and practitioners interested in the application of informatics to Control, Automation and Robotics. Four simultaneous tracks will be held, covering Intelligent Control Systems, Optimization, Robotics, Automation, Signal Processing, Sensors, Systems Modelling and Control, and Industrial Informatics.

9th International Conference on Pervasive and Embedded Computing and Communication Systems (PECCS 2019) Pervasive and embedded computing and communication is a paradigm that aims at providing trustworthy computing solutions and communication services all the time and everywhere. This entails the need for an interdisciplinary field of R&D that combines signal processing with computer hardware and software technologies, and utilizes and integrates pervasive, wireless, embedded, wearable and/or mobile systems.

International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIX) SAMOS is a unique conference. It deals with embedded systems (sort of) but that is not what makes it different. It brings together every year researchers from both academia and industry on the quiet and inspiring northern mountainside of the Mediterranean island of Samos, which in itself is different. But more importantly, it really fosters collaboration rather than competition.

32nd International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems The 32nd International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems will continue the tradition of emphasizing on applications of intelligent systems to solve real-life problems in all areas. These areas include engineering, science, industry, automation & robotics, business & finance, medicine and biomedicine, bioinformatics, cyberspace, and human-machine interactions.

PErvasive Technologies Related to Assistive Environments (PETRA)  The PErvasive Technologies Related to Assistive Environments (PETRA) conference is a highly interdisciplinary conference that focuses on computational and engineering approaches to improve the quality of life and enhance human performance in a wide range of settings, in the workplace, at home, in public spaces, urban environments, and other.

Pre-registration is now open! 4th F1/10 International Autonomous Racing Competition @ CPS-IoT Week 2019 F1/10 is an international competition which exposes you to the foundations of perception, planning and control in a fun, and challenging environment. Participating teams race vehicles with similar hardware specification and try to outsmart, and outpace each other in a battle of algorithms.  This year, we will have two different racing classifications:

1st International Workshop on Next-Generation Operating Systems for Cyber-Physical Systems (NGOSCPS): On Beyond POSIX at CPS-IoT Week 2019, in Montreal, Canada Overview