TASE 2025 : 19th International Symposium on Theoretical Aspects of Software Engineering | Jul 14, 2025 - Jul 16, 2025 | 5* St. Raphael Resort and Marina, Limass |
NCMA 2025 : Non-Classical Models for Automata and Applications | Jul 21, 2025 - Jul 22, 2025 | Loughborough University |
DCFS 2025 : Descriptional Complexity of Formal Systems | Jul 22, 2025 - Jul 24, 2025 | Loughborough University |
DLT 2025 : The 29th International Conference on Developments in Language Theory | Aug 19, 2025 - Aug 22, 2025 | Seoul, South Korea |
FoIKS 2025 : International Symposium on Foundations of Information and Knowledge Systems | Mar 23, 2026 - Mar 26, 2026 | Hannover, Germany |