December 1-2, 2022, Houston, TX, http://www.cphs2022.org IMPORTANT DATES: Initial submission, May 20, 2022

This paper studies the synthesis of controllers for cyber-physical systems (CPSs) that are required to carry out complex tasks that are time-sensitive, in the presence of an adversary. The task is specified as a formula in metric interval temporal logic (MITL). The adversary is assumed to have the ability to tamper with the control input to the CPS and also manipulate timing information perceived by the CPS. In order to model the interaction between the CPS and the adversary, and

6th International Workshop on Applied veRification for Continuous and Hybrid Systems (ARCH19) This workshop aims at bringing together researchers and practitioners, and to establish a curated set of benchmarks submitted by academia and industry.

7th International Workshop on Applied veRification for Continuous and Hybrid Systems (ARCH) While progress in the verification of continuous and hybrid systems has lead to academic tools and algorithms that can handle systems of considerable complexity, the transition to industrial applications is challenging. The goal of the workshop is to bring together people from industry with researchers and tool developers interested in applying verification to continuous and hybrid systems.

26th Annual International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT 2020) Asiacrypt 2020, the 26th Annual International Conference on the Theory and Application of Cryptology and Information Security, will take place in Daejeon Convention Center, Daejeon, Korea on December 6-10, 2020. Asiacrypt 2020 is organized by the International Association for Cryptologic Research (IACR).

Annual Computer Security Applications Conference (ACSAC) The Annual Computer Security Applications Conference (ACSAC) brings together cutting-edge researchers, with a broad cross-section of security professionals drawn from academia, industry, and government, gathered to present and discuss the latest security results and topics.

IEEE 32nd International Conference on Microelectronics (IEEE ICM 2020) The International Conference on Microelectronics has already been held numerous times in different countries across the MiddleEast, Southern Europe, and Asia for the past 31 years. The 32nd edition of the conference will take place in Aqaba-Jordan. Jordan is home to one of the world’s 7 wonders; Petra. Aqaba is a coastal harbor which serves as a launch point for visitors to Petra and Wadi Rum.

41st IEEE Real-Time Systems Symposium (RTSS 2020)  The safety and well-being of all conference participants is our top priority. After studying and evaluating the announcements, guidance, and news released by relevant national departments, we are announcing that the IEEE RTSS 2020, scheduled to be held in-person in Houston, TX will now be converted into an all-digital conference experience. The dates of the conference will remain the same. We apologize for any inconvenience this may have caused.

26th IEEE International Conference on Parallel and Distributed Systems (ICPADS 2020) The 26th IEEE International Conference on Parallel and Distributed Systems (ICPADS 2020) will be held in Hong Kong in December 2020. The conference provides an international forum for scientists, engineers and users to exchange and share their experiences, new ideas, and latest research results on all aspects of parallel and distributed systems. Contributions are solicited in all areas of parallel and distributed systems research and applications.