TACAS 2024
Tools and Algorithms for Construction and Analysis of Systems
|
AREA 2024
4th Workshop on Agents and Robots for reliable Engineered Autonomy
|
DSIT 2024
2024 7th International Conference on Data Science and Information Technology (DSIT 2024)
|
LANMR 2024
The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
|
PCDS 2024
The 1st International Symposium on Parallel Computing and Distributed Systems
|
CCBDIOT 2024
2024 3rd International Conference on Computing, Big Data and Internet of Things (CCBDIOT 2024)
|
ICTAI 2024
36th International Conference on Tools with Artificial Intelligence
|
ASPLOS 2025
The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
|
NLE Special Issue 2024
Natural Language Engineering- Special issue on NLP Approaches for Computational Analysis of Social Media Texts for Online Well-being and Social Order
|
ISSTA 2024
The ACM SIGSOFT International Symposium on Software Testing and Analysis (Round 2)
|