ICSE 2024
The IEEE/ACM International Conference on Software Engineering (Second Round)
|
ATVA 2023
Automated Technology for Verification and Analysis
|
TACC 2023
3rd Tunisian-Algerian Conference on Applied Computing
|
ICAAI 2023
ACM--2023 The 7th International Conference on Advances in Artificial Intelligence (ICAAI 2023)
|
ISCMI--SCIE 2023
IEEE--2023 10th International Conference on Soft Computing & Machine Intelligence (ISCMI 2023)--SCIE
|
ICITA 2023
17th International Conference on Information Technology and Applications (ICITA)
|
SOMET 2023
SOMET 2023 : The 22nd International Conference on Intelligent Software Methodologies, Tools, and Techniques
|
ICAPS 2023
International Conference on Automated Planning and Scheduling
|
MVSCIT 2023
International Conference on Managing Value, Supply Chains and Public Sector Information Technology
|
VMCAI 2023
International Conference on Verification, Model Checking, and Abstract Interpretation 2023, 15-17 January, Boston, Call for Papers
|