|
FACS 2024
20th International Conference on Formal Aspects of Component Software
|
|
LAMAS&SR 2024
International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning
|
|
VSTTE 2024
Verified Software: Theories, Tools, Experiments
|
|
TASE 2024
18th Theoretical Aspects of Software Engineering Conference
|
|
ISORC 2024
International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
|
|
FM 2024
Formal Methods
|
|
ITNG 2024
The 21st Int'l Conf. on Information Technology: New Generations ITNG 2024
|
|
ICSE 2025
The 47th International Conference on Software Engineering (Second Cycle)
|
|
ISCMI 2024
2024 11th International Conference on Soft Computing & Machine Intelligence (ISCMI 2024)
|
|
ACIE 2024
CPS--2024 4th Asia Conference on Information Engineering (ACIE 2024)
|
