CIFMA 2023
Cognition: Interdisciplinary Foundations, Models and Applications
|
IEEE ICCRE 2024
IEEE--2024 9th International Conference on Control and Robotics Engineering (ICCRE 2024)
|
ABZ 2024
Abstract State Machines, Alloy, B and Z
|
VSTTE 2023
International Conference on Verified Software: Theories, Tools, and Experiments
|
AIAP 2024
11th International Conference on Artificial Intelligence and Applications
|
CGDEIJ 2023
Computer Game Development and Education: An International Journal
|
SOFTFM 2023
2nd International Conference on Software Engineering Advances and Formal Methods
|
AVC 2023
Advances in Vision Computing: An International Journal
|
FMAS 2023
Fifth Workshop on Formal Methods for Autonomous Systems
|
NLP 2023
12th International Conference on Natural Language Processing
|