|
FACS 2024
20th International Conference on Formal Aspects of Component Software
|
|
SOMET 2025
24th International Conference on Intelligent Software Methodologies Tools and Techniques
|
|
IEA/AIE 2025
The 37th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
|
|
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)
|
