|
FDL 2024
Forum on specification and Design Languages
|
|
SIGCOMM 2025
ACM Special Interest Group on Data Communication
|
|
IEA/AIE 2025
The 37th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
|
|
Prague-CMRAI 2025
2025 International Conference on Medical Robotics and Artificial Intelligence (CMRAI 2025)
|
|
MBMV 2025
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
|
|
SEED 2025
Synthetic Biology: Engineering, Evolution, & Design (SEED)
|
|
DOLAP 2025
27th International Workshop on Design, Optimization, Languages and Analytical Processing of Big Data
|
|
PSSV 2024
Workshop Program Semantics, Specification and Verification
|
|
ASPLOS 2025
The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
|
|
HUSO 2025
7th Canadian International Conference on Humanities & Social Sciences 2025
|
