TAP 2024
18th International Conference on Tests and Proofs
|
IEA/AIE 2025
The 37th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
|
ZKDAPPS 2024
1st IEEE International Workshop on Programmable Zero-Knowledge Proofs for Decentralized Applications
|
AREA 2024
4th Workshop on Agents and Robots for reliable Engineered Autonomy
|
SOMET 2025
24th International Conference on Intelligent Software Methodologies Tools and Techniques
|
LANMR 2024
The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
|
LAMAS&SR 2024
International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning
|