IEA/AIE 2025
The 37th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
|
ITCCMA 2024
11th International Conference on Information Technology, Control, Chaos, Modeling and Applications
|
ATVA 2024
22nd International Symposium on Automated Technology for Verification and Analysis
|
VLSIE 2024
5th International Conference on VLSI & Embedded Systems
|
LANMR 2024
The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
|
ICFEM 2024
International Conference on Formal Engineering Methods
|
ICAPS 2024
The 34th International Conference on Automated Planning and Scheduling
|
TAP 2024
18th International Conference on Tests and Proofs
|
PCDS 2024
The 1st International Symposium on Parallel Computing and Distributed Systems
|
SBMF 2024
27th Brazilian Symposium on Formal Methods
|