| Event | When | Where | Deadline | |
FMAS 2025 |
7th International Workshop on Formal Methods for Autonomous Systems | |
| Nov 17, 2025 - Nov 19, 2025 |
Paris |
Aug 22, 2025 |
| Expired CFPs |
| ISCSIC 2025 |
2025 9th International Symposium on Computer Science and Intelligent Control(ISCSIC 2025) | |
| Sep 26, 2025 - Sep 28, 2025 |
Hangzhou, China |
Mar 27, 2025 (Mar 13, 2025) |
| SafeAutonomy 2025 |
5th International SafeAutonomy Workshop | |
| Apr 8, 2025 - Apr 8, 2025 |
Lisbon |
Jan 31, 2025 |
| COGNITIVE 2025 |
The Seventeenth International Conference on Advanced Cognitive Technologies and Applications | |
| Apr 6, 2025 - Apr 10, 2025 |
Valencia, Spain |
Jan 20, 2025 |
| ASQAP 2025 |
First International Workshop on Autonomous System Quality Assurance and Prediction with Digital Twins | |
| May 4, 2024 - May 4, 2024 |
Hamilton, Canada |
Dec 20, 2024 |
| ICAS 2025 |
The Twenty-First International Conference on Autonomic and Autonomous Systems | |
| Mar 9, 2025 - Mar 13, 2025 |
Lisbon, Portugal |
Nov 5, 2024 |
| ISRITI 2024 |
7th International Seminar on Research of Information Technology and Intelligent Systems | |
| Dec 11, 2024 - Dec 12, 2024 |
Yogyakarta, Indonesia |
Aug 31, 2024 |
| FMAS 2024 |
Sixth International Workshop on Formal Methods for Autonomous Systems | |
| Nov 11, 2024 - Nov 12, 2024 |
Manchester, UK |
Aug 23, 2024 |
| ICAA 2024 |
International Conference on Assured Autonomy | |
| Oct 10, 2024 - Oct 11, 2024 |
Nashville, Tennessee |
Aug 7, 2024 |
| AutonomousCyber 2024 |
1st International Workshop on Autonomous Cybersecurity | |
| Oct 18, 2024 - Oct 18, 2024 |
Salt Lake City, U.S.A |
Jul 8, 2024 |
| AFMAS 2024 |
Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems | |
| N/A |
N/A |
Jun 7, 2024 |
| 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 |
|
