|
FDL 2024
Forum on specification and Design Languages
|
|
IEA/AIE 2025
The 37th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
|
|
PSSV 2024
Workshop Program Semantics, Specification and Verification
|
|
SMART & SUSTAINABLE MANUFACTURING 2024
Call for Papers: Special Issue on Sustainable Bioinspired Design and Manufacturing in SMART AND SUSTAINABLE MANUFACTURING SYSTEMS
|
|
LANMR 2024
The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
|
|
ASPLOS 2025
The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
|
|
TRS 2025
Transportation Research Symposium
|
|
IMCOM 2025
19th International Conference on Ubiquitous Information Management and Communication
|
|
AP-EduTeach 2025
7th Asia-Pacific Conference on Education, Teaching & Technology 2025
|
|
OOPSLA 2025 Round 2 2025
Conference on Object-Oriented Programming Systems, Languages, and Applications (Round 2)
|
