| Event | When | Where | Deadline | |
| ISCSIC 2024 |
2024 8th International Symposium on Computer Science and Intelligent Control(ISCSIC 2024) | |
| Sep 6, 2024 - Sep 8, 2024 |
Shenyang, China |
Jun 6, 2024 |
| AFMAS 2024 |
Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems | |
| N/A |
N/A |
Jun 7, 2024 |
| Expired CFPs |
| CASE 2024 |
2024 IEEE 20th International Conference on Automation Science and Engineering | |
| Aug 28, 2024 - Sep 1, 2024 |
Bari, Italy |
Mar 1, 2024 |
| SafeAutonomy 2024 |
EDCC 2024: 1st International Workshop on Safe Autonomous Systems | |
| Apr 8, 2024 - Apr 8, 2024 |
Leuven (Belgium) |
Dec 18, 2023 |
| DAC 2024 |
Design Automation Conference | |
| Jun 23, 2024 - Jun 27, 2024 |
Moscone Center West in San Francisco, CA |
Nov 20, 2023 (Nov 13, 2023) |
| FMAS 2023 |
Fifth Workshop on Formal Methods for Autonomous Systems | |
| Nov 15, 2023 - Nov 16, 2023 |
Leiden, The Netherlands |
Aug 31, 2023 |
| IEEE DASC 2023 |
The 21st IEEE International Conference on Dependable, Autonomic & Secure Computing | |
| Nov 14, 2023 - Nov 17, 2023 |
Abu Dhabi, UAE |
Aug 21, 2023 |
| IEEE DASC/PiCOM/CBDCom/CyberSciTech 2023 |
IEEE Joint Conferences DASC/PICom/CBDCom/CyberSciTech 2023 | |
| Nov 14, 2023 - Nov 17, 2023 |
Abu Dhabi, UAE |
Aug 21, 2023 |
| ICIST 2023 |
13th International Conference on Information Science and Technology | |
| Dec 8, 2023 - Dec 14, 2023 |
Cairo, Egypt |
Aug 1, 2023 |
| FAACS 2023 |
The 7th International Workshop on Formal Approaches for Advanced Computing Systems | |
| Sep 18, 2023 - Sep 19, 2023 |
Istanbul |
Jun 30, 2023 |
| IEEE ICCI*CC 2023 |
IEEE ICCI*CC’23 Invitation at Stanford University during Aug. 19-21, 2023 | |
| Aug 19, 2023 - Aug 21, 2023 |
Stanford University |
May 22, 2023 |
| EMAS 2023 |
11th International Workshop on Engineering Multi-Agent Systems | |
| May 29, 2023 - May 30, 2023 |
London, UK |
Mar 5, 2023 |
| CyPhySS 2022 |
6th Cyber-Physical Systems Symposium (CyPhySS) | |
| Jul 28, 2022 - Jul 30, 2022 |
Bangalore, India |
Jul 4, 2022 |
| DREAMS 2022 |
Dynamic risk management for autonomous systems | |
| Sep 12, 2022 - Sep 12, 2022 |
Zaragoza, Spain |
Jun 6, 2022 |
| AREA 2022 |
Second Workshop on Agents and Robots for reliable Engineered Autonomy (AREA) | |
| Jul 23, 2022 - Jul 25, 2022 |
Vienna |
May 13, 2022 |
| TAROS 2022 |
Towards Autonomous Robotic Systems | |
| Sep 7, 2022 - Sep 9, 2022 |
Culham Science Centre |
May 6, 2022 |
| AREA 2022 |
Second Workshop on Agents and Robots for reliable Engineered Autonomy | |
| Jul 23, 2022 - Jul 25, 2022 |
Vienna |
May 6, 2022 (Apr 29, 2022) |
| IAS-17 |
17th International Conference on Intelligent Autonomous Systems | |
| Jun 13, 2022 - Jun 16, 2022 |
Zagreb, Croatia |
Feb 14, 2022 |
| EAI ROSENET 2021 |
5th EAI International Conference on Robotics and Networks | |
| Nov 6, 2021 - Nov 8, 2021 |
Shenzhen, People's Republic of China |
Sep 9, 2021 |
| EAI ICCASA 2021 |
10th EAI International Conference on Context-Aware Systems and Applications (Springer, Scopus, ISI, Ei, more) | |
| Oct 28, 2021 - Oct 29, 2021 |
Ho Chi Minh City, Vietnam |
Aug 1, 2021 |
|
