<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">***************************************************************************<br><br> JOINT CALL FOR PAPERS<br><br> 28th ETAPS International Joint Conferences<br> On Theory and Practice of Software<br> ETAPS 2025<br><br> Hamilton, Canada, May 3-8, 2025<br><br> <a href="https://urldefense.com/v3/__https://www.google.com/url?q=https:**Aurldefense.com*v3*__https:**Aetaps.org*2025__;!!IBzWLUs!VIRCicd6Nfy_T76zVY94CHzs2Evf2fCTb4DcZHulf82jGdXeYSPn3lbYR6Hr7kExIVxWQwUoLDHr5ap0zkmPTd1BQ2ADLqaema0oc8ts$&source=gmail-imap&ust=1722843270000000&usg=AOvVaw2U7SYyLXvdZxvY0nBRHXoQ__;Ly8vLy8vLw!!IBzWLUs!ULl_j01Xz0NQH_rL0ZvjCNRCrxMO5f4_yXeyW4dbCGQcfNhi4GsZzXTDPgdeUCi0tCMk8sRGsaSNL5fzHwbQ4Fo9AZeU2MYSHwfPXpSk$">https://www.google.com/url?q=https://urldefense.com/v3/__https://etaps.org/2025__;!!IBzWLUs!VIRCicd6Nfy_T76zVY94CHzs2Evf2fCTb4DcZHulf82jGdXeYSPn3lbYR6Hr7kExIVxWQwUoLDHr5ap0zkmPTd1BQ2ADLqaema0oc8ts$&source=gmail-imap&ust=1722843270000000&usg=AOvVaw2U7SYyLXvdZxvY0nBRHXoQ</a><br><br>***************************************************************************<br><br>-- ABOUT ETAPS --<br><br>ETAPS is a primary forum for academic and industrial researchers working<br>on topics relating to software science. ETAPS, established in 1998, is a<br>confederation of four annual conferences accompanied by satellite workshops.<br>ETAPS 2025 is the twenty-eighth event in the series.<br><br><br>-- Why choose ETAPS? --<br><br> * ETAPS is one of the world's leading fora for research on software<br> science, with a history of more than 25 years.<br> * The proceedings of ETAPS appear in gold open access, with no article<br> processing charge for the authors specifically.<br> * All constituent conferences provide artifact evaluation.<br> * In addition to the conference, ETAPS also unites the software science<br> community with activities such as a blog on software science, a PhD<br> workshop, sessions on diversity and inclusion and an ask-me-anything<br> session.<br> * Poster and Tool demo sessions are organized over the week.<br><br><br>-- What is new in 2025? --<br><br> * Two submission rounds for ESOP – see <a href="https://urldefense.com/v3/__https://www.google.com/url?q=https:**Aurldefense.com*v3*__https:**Aetaps.org*2025*esop*__;!!IBzWLUs!VIRCicd6Nfy_T76zVY94CHzs2Evf2fCTb4DcZHulf82jGdXeYSPn3lbYR6Hr7kExIVxWQwUoLDHr5ap0zkmPTd1BQ2ADLqaemXVbKhqL$&source=gmail-imap&ust=1722843270000000&usg=AOvVaw2OeMqzbNkBxK-52WAEhiFI__;Ly8vLy8vLy8v!!IBzWLUs!ULl_j01Xz0NQH_rL0ZvjCNRCrxMO5f4_yXeyW4dbCGQcfNhi4GsZzXTDPgdeUCi0tCMk8sRGsaSNL5fzHwbQ4Fo9AZeU2MYSHyqqScdn$">https://www.google.com/url?q=https://urldefense.com/v3/__https://etaps.org/2025/esop/__;!!IBzWLUs!VIRCicd6Nfy_T76zVY94CHzs2Evf2fCTb4DcZHulf82jGdXeYSPn3lbYR6Hr7kExIVxWQwUoLDHr5ap0zkmPTd1BQ2ADLqaemXVbKhqL$&source=gmail-imap&ust=1722843270000000&usg=AOvVaw2OeMqzbNkBxK-52WAEhiFI</a><br> * ETAPS is organized in North America for the first time!<br><br><br><br>-- MAIN CONFERENCES (May 5–8, 2025) --<br><br> * ESOP: European Symposium on Programming<br> (PC chair: Viktor Vafeiadis, MPI-SWS)<br> * FASE: Fundamental Approaches to Software Engineering<br> (PC chairs: Artur Boronat, University of Leicester,<br> Gordon Fraser, University of Passau)<br> * FoSSaCS: Foundations of Software Science and Computation Structures<br> (PC chairs: Delia Kesner, Université Paris Cité,<br> Parosh Abdulla, Uppsala University)<br> * TACAS: Tools and Algorithms for the Construction and Analysis of Systems<br> (PC chairs: Arie Gurfinkel, University of Waterloo,<br> Marijn Heule, Carnegie Mellon University)<br><br><br>-- INVITED SPEAKERS --<br><br> * Amal Ahmed, Northeastern University<br> * Matt Dwyer, University of Virginia<br> * José Meseguer, University of Illinois, Urbana-Champaign<br> * Ina Schaefer, Karslruhe Institute of Technology<br> * In addition, two more invited tutorial speakers will be announced later.<br><br><br><br>-- IMPORTANT DATES --<br><br> * Submission deadline for ESOP, round 1: May 30, 2024, 23:59 AoE<br> * Rebuttal for ESOP, round 1: July 23–25, 2024<br> * Notification for ESOP, round 1: August 8, 2024<br> * Submission deadline for ESOP round 2: October 10, 2024, 23:59 AoE<br> * Submission deadline for TACAS, FoSSaCS, FASE: October 10, 2024, 23:59 AoE<br> * TACAS mandatory artifact submission deadline: October 24, 2024<br> * Rebuttal (ESOP, FoSSaCS, partially TACAS): December 3–5, 2024<br> * Paper notification and TACAS mandatory artifact notification:<br> December 20, 2024<br> * ESOP, FASE, FoSSaCS artifact, TACAS voluntary artifact submission deadline:<br> January 9, 2025<br> * Artifact notification ESOP, FASE, FoSSaCS, TACAS (voluntary artifacts):<br> February 13, 2025<br><br> * Main Conference: May 5–8, 2025<br><br><br>-- PUBLICATION --<br><br>The proceedings will be published in the Advanced Research in Computing and<br>Software Science (ARCoSS) subline of Springer's LNCS series. The proceedings<br>volumes will appear in gold open access, so the published versions of all<br>papers will be available for everyone to download from the publisher's<br>website freely from the date of online publication, perpetually. The<br>copyright of the papers will remain with the authors.<br><br><br>-- AWARDS --<br><br>The strongest papers from the four conferences will be marked as distinguished<br>papers and highlighted in the conference program. From these distinguished<br>papers, the EAPLS, EASST, and EATCS, and the Best Tool Paper Award committees<br>will select the best ETAPS papers.<br><br>The ETAPS Test-of-Time Award will be granted, recognizing outstanding papers<br>published at ETAPS more than ten years in the past.<br><br>The ETAPS Rance Cleaveland Test-of-Time Tool Award acknowledges the importance<br>of reliable and well-maintained research tools and the significant effort that<br>their creation and maintenance entails.<br><br>The Doctoral Dissertation Award will be granted to promote and recognize<br>an outstanding dissertation in the research areas covered by the four main<br>ETAPS conferences.<br><br>All distinguished papers will be highlighted in the program.<br><br><br>-- SUBMISSION INSTRUCTIONS --<br><br>The four main conferences of ETAPS 2025 solicit contributions of the<br>following types. All page limits are given **excluding the bibliography**.<br><br> * ESOP: regular research papers of max 25 pp, experience reports of max<br> 15 pp, and fresh perspectives providing new insights on programming<br> languages and systems of max 15 pp. For the sake of flexibility, submitted<br> research papers may be formatted in other formats. There is no page limit<br> at the submission time. Please refer to <a href="https://urldefense.com/v3/__https://www.google.com/url?q=https:**Aurldefense.com*v3*__https:**Aetaps.org*2025*esop__;!!IBzWLUs!VIRCicd6Nfy_T76zVY94CHzs2Evf2fCTb4DcZHulf82jGdXeYSPn3lbYR6Hr7kExIVxWQwUoLDHr5ap0zkmPTd1BQ2ADLqaemVPUGyb6$&source=gmail-imap&ust=1722843270000000&usg=AOvVaw2SYq0MNQ1yiBozgKnm05fM__;Ly8vLy8vLy8!!IBzWLUs!ULl_j01Xz0NQH_rL0ZvjCNRCrxMO5f4_yXeyW4dbCGQcfNhi4GsZzXTDPgdeUCi0tCMk8sRGsaSNL5fzHwbQ4Fo9AZeU2MYSH6IdGP94$">https://www.google.com/url?q=https://urldefense.com/v3/__https://etaps.org/2025/esop__;!!IBzWLUs!VIRCicd6Nfy_T76zVY94CHzs2Evf2fCTb4DcZHulf82jGdXeYSPn3lbYR6Hr7kExIVxWQwUoLDHr5ap0zkmPTd1BQ2ADLqaemVPUGyb6$&source=gmail-imap&ust=1722843270000000&usg=AOvVaw2SYq0MNQ1yiBozgKnm05fM</a> for<br> more details.<br> * FASE: regular research papers and empirical evaluation papers of<br> max 18 pp; new ideas and emerging results (NIER) papers of max 8 pp;<br> tool demonstration papers and data showcase papers of max 8 pp <br> (+ optional appendix of max 6 pp),<br> * FoSSaCS: regular research papers of max 18 pp<br> * TACAS: regular research papers, case study papers, and regular tool<br> papers of max 16 pp,<br> tool demonstration papers of max 6 pp<br><br>For definitions of the different paper types and specific instructions,<br>where they are present, see the web pages of the individual conferences.<br><br>All accepted papers will appear in Springer proceedings and have<br>presentations during the conference. A condition of submission is<br>that, if the submission is accepted, one of the authors attends the<br>conference to give the presentation. We plan ETAPS 2025 as an on-site<br>conference.<br><br>Submitted papers must be in English, presenting original research. They<br>must be unpublished and not submitted for publication elsewhere. In<br>particular, simultaneous submission of the same contribution to<br>multiple ETAPS conferences is forbidden.<br><br>Submissions must follow the formatting guidelines of Springer's LNCS<br>(use the llncs.cls class) and be submitted electronically in pdf through<br>the Easychair author interface of the respective conference. Submissions<br>not adhering to the specified format and length may be rejected immediately.<br><br>ESOP, FASE, and TACAS will use double-blind reviewing (in the case of TACAS,<br>only for regular research papers). Authors are asked to omit their names and<br>institutions; refer to prior work in the third person, just as prior work by<br>others; not to include acknowledgments that might identify them.<br><br>ESOP and FoSSaCS will use an **author rebuttal phase**. TACAS will use<br>rebuttal for selected submissions (those in the gray zone).<br><br><br>Artifact submission and evaluation<br><br>Regular tool paper and tool demonstration paper submissions to TACAS<br>must be accompanied by an artifact submitted shortly after the paper. The<br>artifact will be evaluated, and the outcome will be considered in the<br>paper's acceptance decision.<br><br>For research paper and case study paper submissions, pre-paper-acceptance<br>submission of an artifact is optional; if an artifact is submitted at this<br>point, it will be handled as described above.<br><br>Alternatively, authors of papers of these categories may submit an artifact<br>for evaluation after the paper has been accepted. The outcome of the<br>artifact evaluation will then not change the paper acceptance decision.<br><br>ESOP, FASE, and FoSSaCS will accept artifact submissions; however,<br>participation in it is voluntary; the artifact submission deadline is<br>after the paper notification deadline. The outcome will not alter the<br>paper acceptance decision.<br><br>For ESOP, artifacts may be submitted with an accompanying short 5-page<br>experience report (including a 1-page bibliography) that will appear in<br>the conference proceedings.<br><br>For specific instructions regarding artifacts, see the web pages of the<br>individual conferences.<br><br><br><br>-- SATELLITE EVENTS (May 3–4, 2025) --<br><br>Several satellite workshops and other events will take place during the<br>weekend before the main conferences.<br><br><br>-- CITY AND HOST INSTITUTION --<br><br>ETAPS 2025 will take place in Hamilton, Canada and is organized by McMaster<br>University. The Faculty of Engineering at McMaster University has a reputation<br>for innovative programs, cutting-edge research, leading faculty, and aspiring<br>students. It has earned a strong reputation as a center for academic excellence<br>and innovation. The Faculty has approximately 180 faculty members, along with<br>close to 4,500 undergraduate and 1,000 graduate students. The Faculty of<br>Engineering promotes a nurturing and inclusive environment where opportunities<br>are made available for personal growth and professional development. McMaster<br>University beautiful campus is at the north-west end of Hamilton on the western<br>end of Lake Ontario, between the Niagara Escarpment, conservation lands, and<br>the Royal Botanical Gardens. Hamilton, with a population of over 500,000, is<br>a vibrant community with easy access to Toronto and the Niagara region. It is<br>located at the northern tip of an ecological zone commonly called the Carolinian<br>Forest that encompasses the southernmost portion of Ontario but occurs nowhere<br>else in Canada. As a result, Hamilton is home to many unique species of plants<br>and animals that only occur here because the summer climate approaches that of<br>North and South Carolina in the United States. For further information, please<br>refer to <a href="https://urldefense.com/v3/__https://www.google.com/url?q=https:**Aurldefense.com*v3*__https:**Atourismhamilton.com*__;!!IBzWLUs!VIRCicd6Nfy_T76zVY94CHzs2Evf2fCTb4DcZHulf82jGdXeYSPn3lbYR6Hr7kExIVxWQwUoLDHr5ap0zkmPTd1BQ2ADLqaemaHJpY5p$&source=gmail-imap&ust=1722843270000000&usg=AOvVaw1sXZsm5ZVuOm4rWrW2jPqV__;Ly8vLy8vLw!!IBzWLUs!ULl_j01Xz0NQH_rL0ZvjCNRCrxMO5f4_yXeyW4dbCGQcfNhi4GsZzXTDPgdeUCi0tCMk8sRGsaSNL5fzHwbQ4Fo9AZeU2MYSHyvoMAlM$">https://www.google.com/url?q=https://urldefense.com/v3/__https://tourismhamilton.com/__;!!IBzWLUs!VIRCicd6Nfy_T76zVY94CHzs2Evf2fCTb4DcZHulf82jGdXeYSPn3lbYR6Hr7kExIVxWQwUoLDHr5ap0zkmPTd1BQ2ADLqaemaHJpY5p$&source=gmail-imap&ust=1722843270000000&usg=AOvVaw1sXZsm5ZVuOm4rWrW2jPqV</a><br><br>-- ORGANISERS --<br><br>Claudio Menghi – University of Bergamo, Italy, and McMaster University, Canada<br>Mark Lawford – McMaster University, Canada<div><br></div><div><br></div></body></html>