Last Call for TASE 2025 Submissions
The 19th International Symposium on Theoretical Aspects of Software Engineering (TASE 2025) is now accepting final submissions. Submit your research by March 8, 2025.
The 19th International Symposium on Theoretical Aspects of Software Engineering (TASE 2025) is now in its final submission phase. The event will take place from July 14-16, 2025, at the 5th St. Raphael Resort and Marina in Limassol, Cyprus. Proceedings will be published by Springer in the Lecture Notes in Computer Science (LNCS) series.
Overview:
TASE 2025 aims to gather researchers and developers from academia and industry to discuss the theoretical aspects of software engineering. The symposium focuses on enhancing current methodologies using modern results from theoretical computer science, addressing the growing complexity of software systems.
Topics of Interest:
- Software engineering, including software processes, architectures, and design
- Formal methods and theoretical computer science, such as deductive verification and model checking
- Programming language design and technology, including formal semantics and type systems
- Tools and application areas, such as software tools and cyber-physical systems
Submission Guidelines:
Submissions must be original, unpublished, and not under consideration elsewhere. Papers should be written in English and adhere to the LNCS format. Long papers should not exceed 16 pages (excluding bibliography), and short papers should not exceed 6 pages (excluding bibliography). Submit your papers through the TASE 2025 submission page.
Important Dates:
- Abstract Submission: Mar 1, 2025 (AoE)
- Paper Submission: Mar 8, 2025 (AoE)
- Author Notification: April 5, 2025 (AoE)
- Camera-ready Versions and Author Registration: May 1, 2025 (AoE)
Organization:
- General Chair: George A. Papadopoulos, University of Cyprus, Cyprus
- Program Chairs: Philipp Rümmer, University of Regensburg, Germany; Zhilin Wu, Institute of Software, Chinese Academy of Sciences, China
Tags: TASE 2025, Software Engineering, Theoretical Aspects, Cyprus, Springer LNCS, Submission