FDL 2024
Forum on specification and Design Languages
|
IEA/AIE 2025
The 37th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
|
LANMR 2024
The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
|
TRS 2025
Transportation Research Symposium
|
Social Sustainability 2025
Twenty-first International Conference on Environmental, Cultural, Economic & Social Sustainability
|
ASPLOS 2025
The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
|
ISCMI 2024
2024 11th International Conference on Soft Computing & Machine Intelligence (ISCMI 2024)
|
SOMET 2025
24th International Conference on Intelligent Software Methodologies Tools and Techniques
|
CAV 2024
36th International Conference on Computer Aided Verification
|
OOPSLA 2024
The Object-Oriented Programming, Systems, Languages, and Applications 2024 (R2)
|