TASE 2025
TASE 2025: International Symposium on Theoretical Aspects of Software Engineering
The 19th International Symposium on Theoretical Aspects of Software Engineering (TASE 2025) will take place from July 14-16, 2025, at the 5* St. Raphael Resort and Marina, Limassol, Cyprus. Visit the conference website for more information.
Key topics of interest include:
- Software engineering
- Formal methods and theoretical computer science
- Programming language design and technology
- Tools and application areas
To submit a paper, please use the Easy Chair conference management system. Selected papers will be invited to submit extended versions to a special issue in the journal Science of Computer Programming.
Tags: TASE 2025, Software Engineering, Theoretical Computer Science, Formal Methods, Programming Language Design, Conference, Call for Papers