<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<title>HTML Message</title>
<meta name="generator" content="Advanced HTML parser v4">
<style>
body {
font-size: 14px;
font-family: Helvetica, Arial, Verdana, sans-serif;
color: black;
}
</style>
</head>
<body>
<table style="border: 0px; width: 100%; border-spacing: 0px;">
<tbody>
<tr>
<td style="padding: 0px;">
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 18px; color: #000000;"><b>*** Last Call for Papers ***</b></span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 18px; color: #000000;"><b>19th International Symposium on Theoretical Aspects of Software</b></span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 18px; color: #000000;"><b>Engineering (TASE 2025)</b></span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 18px; color: #000000;"><b>July 14-16, 2025, 5* St. Raphael Resort and Marina, Limassol, Cyprus</b></span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 18px; color: #000000;"><b><a href="https://cyprusconferences.org/tase2025/">https://cyprusconferences.org/tase2025/</a></b></span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 18px; color: #000000;"><b>(*** Proceedings to be published by Springer in LNCS ***)</b></span></div>
<br>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"><b>OVERVIEW</b></span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">TASE 2025 aims to bring together researchers and developers from academia and industry with</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">interest in the theoretical aspects of software engineering. Modern society is increasingly</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">dependent on software systems that are becoming larger and more complex. This poses new</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">challenges to current software engineering methodologies that need to be enhanced using</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">modern results from theoretical computer science. We invite submission of research papers on</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">topics covering all theoretical aspects of software engineering, including those describing</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">applications of theoretical computer science in industrial applications and software engineering</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">methodologies.</span></div>
<br>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"><b>TOPICS OF INTEREST</b></span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">Authors are invited to submit high quality technical papers describing original and unpublished</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">work in all theoretical aspects of software engineering. Topics of interest include, but are not</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">limited to:</span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"><b>Software engineering, including:</b></span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■ Software processes and workflows</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■ Software architectures and design</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■ Software product lines</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■ Requirements engineering</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■ Model-driven software engineering</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■ Software testing and quality assurance</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■ Software safety, security and reliability</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■ Reverse engineering and software maintenance</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■ Component-based software engineering</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■ Feature-oriented programming</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■ Program synthesis</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■ Use of AI and large language models in software engineering</span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"><b>Formal methods and theoretical computer science, including:</b></span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■ Deductive verification</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■ Model checking</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■ Theorem proving, decision procedures, SAT and SMT</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■ Specification languages</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■ Program logics and calculi</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■ Formal languages and automata theory</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■ Run-time verification and monitoring</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■ Integration of formal methods</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■ Formal methods for AI systems, and vice versa</span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"><b>Programming language design and technology, including:</b></span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■ Formal semantics</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■ Abstract interpretation and program analysis</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■ Language paradigms, including object-oriented, functional, declarative, etc.</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■ Type systems and behavioral typing</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■ Compiler design</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■ Domain-specific languages</span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"><b>Tools and application areas, including:</b></span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■ Software tools putting theory into practice</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■ Cyber-physical, embedded, and real-time systems</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■ Distributed and concurrent systems</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■ Semantic web and web services</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■ Service-oriented programming and cloud computing</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■ Quantum circuits and programs</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■ Cryptographic algorithms</span></div>
<br>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"><b>SUBMISSION</b></span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">Submissions to the conference must not have been published or be concurrently considered for</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">publication elsewhere. All submissions will be judged on the basis of originality, contribution to</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">the field, technical and presentation quality, and relevance to the conference. The proceedings</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">will be published in the Springer Lecture Notes in Computer Science series. Papers should be</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">written in English and should not exceed 16 pages (excluding bibliography) for long papers and</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">6 pages (excluding bibliography) for short papers in LNCS format. Submissions should be made</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">through the TASE 2025 submission page, handled by the Easy Chair conference management</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">system.</span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">Submission link:
<a href="https://easychair.org/conferences/?conf=tase2025">https://easychair.org/conferences/?conf=tase2025</a>
</span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">The authors of a selected subset of accepted papers will be invited to submit extended versions</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">of their papers to a special issue in the journal
</span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"><b>Science of Computer Programming</b></span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">(<a href="https://www.sciencedirect.com/journal/science-of-computer-programming).">https://www.sciencedirect.com/journal/science-of-computer-programming).</a></span></div>
<br>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"><b>IMPORTANT DATES</b></span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■
</span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">Abstract Submission: Feb 15, 2025 (AoE)</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■
</span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">Paper Submission: Feb 21, 2025 (AoE)</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■
</span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">Author Notification: April 1, 2025 (AoE)</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■
</span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">Camera-ready Versions and Author Registration: May 1, 2025 (AoE)</span></div>
<br>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"><b>ORGANISATION</b></span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"><u>General Chair</u></span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■</span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"> George A. Papadopoulos, University
of Cyprus, Cyprus</span></div>
<br>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"><u>Program Chairs</u></span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■</span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"> Philipp Rümmer, University of Regensburg,
Germany</span></div>
<div style="text-align: left"><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;">■</span><span style="font-family: Lucida Grande, Arial, Helvetica; font-size: 16px; color: #000000;"> Zhilin Wu, Institute of Software,
Chinese Academy of Sciences, China</span></div>
</td>
</tr>
</tbody>
</table>
</body>
</html>