DCFS 2024
Descriptional Complexity of Formal Systems
|
IEA/AIE 2025
The 37th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
|
SIMULTECH 2024
14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
|
FOCS 2024
Foundations of Computer Science
|
FM 2024
Formal Methods
|
BS LAB 2025
9th Business Systems Laboratory International Symposium TECHNOLOGY AND SOCIETY: Boon or Bane?
|
ASPLOS 2025
The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
|
CCCIS 2025
IEEE--2025 5th International Conference on Computer Communication and Information Systems (CCCIS 2025)
|
NC2EAIS 2024
NATIONAL CONFERENCE ON COMPUTATIONAL ENGINEERING, ARTIFICIAL INTELLIGENCE AND SMART SYSTEMS
|
SOMET 2025
24th International Conference on Intelligent Software Methodologies Tools and Techniques
|