<div dir="ltr">STACS'25: Call for Papers<br><br><br>The 42nd International Symposium on Theoretical Aspects of Computer Science is planned to take place from March 4th to March 7th in Jena, Germany <a href="https://urldefense.com/v3/__https://www.stacs2025.de/__;!!IBzWLUs!T5AC9PyBSc0OgFNdTpdn3RvYtwFOkb6iwM5ePAzEgXH3kS5Efs55v8hCjzIS8IHG8VOZxP1xm4Io146UQajBtHxXBoDe8I7YdkNXT6iw$" rel="noreferrer" target="_blank">https://www.stacs2025.de/</a>.<br><br>STACS 2025 will consist of two tracks, A and B. Track A focuses on algorithms, data structures and complexity, while track B focuses on automata, logic, semantics, and theory of programming.<br><br>Authors are invited to submit papers presenting original and unpublished research on theoretical aspects of computer science. Topics covered by the tracks include, but are not limited to the following:<br><br>Track A. Algorithms, Data Structures and Complexity<br><br>Design of parallel algorithms<br>Distributed algorithms<br>Approximation algorithms<br>Parameterized algorithms<br>Randomized algorithms<br>Analysis of algorithms<br>Combinatorics of data structures<br>Computational geometry<br>Cryptography<br>Algorithms for machine learning<br>Algorithmic game theory<br>Quantum algorithms<br>Computational and structural complexity theory<br>Parameterised complexity<br>Randomness in computation<br>Track B. Automata, Logic, Semantics and Theory of Programming<br><br>Automata theory<br>Games and multi-agent systems<br>Algebraic and categorical methods<br>Models of computation<br>Concurrency<br>Timed systems<br>Finite model theory<br>Database theory<br>Semantics<br>Type systems<br>Program analysis<br>Specification and verification<br>Rewriting and deduction<br>Learning theory<br>Logical aspects of computability and complexity<br><br><br>Important Dates<br><br>Submission deadline: 26 September 2024, 23:59 AoE<br>Rebuttal: 15-21 November 2024<br>Notification: 16 December 2024<br>Camera ready: mid-January 2025<br>Conference: 4-7 March 2025<br><br><br>Submissions<br>Format of submissions<br><br>Submissions should be made through EasyChair at <a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=stacs2025__;!!IBzWLUs!T5AC9PyBSc0OgFNdTpdn3RvYtwFOkb6iwM5ePAzEgXH3kS5Efs55v8hCjzIS8IHG8VOZxP1xm4Io146UQajBtHxXBoDe8I7YdoyOkjic$" rel="noreferrer" target="_blank">https://easychair.org/conferences/?conf=stacs2025</a><br><br>Authors are invited to submit an extended abstract or a full paper with at most 15 pages; this page limit excludes the title page, the references section, and a possible appendix. The title page should contain the title of the paper and the abstract, but no author information. The first section of the paper should start on the next page, and the appendix, if any, should also start on the next page after the bibliography.<br>In preparation of submissions, the usage of the LIPIcs style file is mandatory; no changes to font size, page geometry, etc. are permitted. Please refer to LIPIcs author instructions. Submissions submitted after the deadline will not be considered, and submissions not adhering to the expected format risk rejection without consideration of the content.<br>Submissions should be made to appropriate tracks. The PCs reserve the right to reassign a paper to a different track, if deemed necessary.<br>The extended abstract should contain a succinct statement of the considered issues and of their motivation, a summary of the main results, and a brief explanation of their significance, accessible to non-specialist readers. This should be followed by a rigorous derivation of the claimed results. Proofs omitted due to space constraints should be put into an appendix, to be read by the program committee members at their discretion. It is allowed and encouraged to provide the full version of the paper as the appendix.<br>Simultaneous submission to other conferences with published proceedings or to journals is not allowed. PC members are allowed to submit their works as well, except for PC chairs.<br>Double-blind reviewing<br><br>As in the previous years, STACS 2025 will employ a lightweight double-blind reviewing process: submissions should not reveal the identity of the authors in any way. The purpose of the double-blind reviewing is to help PC members and external reviewers come to an initial judgment about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult. In particular, important references should not be omitted or anonymised. In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For example, authors may post drafts of their papers on the web, submit them to arXiv, and give talks on their research ideas.<br clear="all"><div><br></div><span class="gmail_signature_prefix">-- </span><br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:inherit"><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:9.75pt;line-height:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(80,0,80);direction:ltr"><div style="border:0px;font-stretch:inherit;font-size:9.75pt;line-height:inherit;margin:0px;padding:0px;vertical-align:baseline"><span style="font-size:9.75pt;font-style:inherit;font-weight:inherit">Elaine. </span><br></div><div style="border:0px;font-stretch:inherit;font-size:medium;line-height:inherit;font-family:"Segoe UI Web (West European)","Segoe UI",-apple-system,"system-ui",Roboto,"Helvetica Neue",sans-serif;margin:0px;padding:0px;vertical-align:baseline;color:rgb(0,0,0)"><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:9.75pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0px;padding:0px;vertical-align:baseline;color:rgb(80,0,80);direction:ltr">-----------------------------------</div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0px;padding:0px;vertical-align:baseline;direction:ltr">Elaine Pimentel</div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0px;padding:0px;vertical-align:baseline;direction:ltr">Schools Outreach Lead</div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0px;padding:0px;vertical-align:baseline;direction:ltr">Associate Professor in Programming Principles, Logic, and Verification </div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0px;padding:0px;vertical-align:baseline;direction:ltr">Department of Computer Science, Office: Room 3.11, 66-72 Gower Street</div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0px;padding:0px;vertical-align:baseline;direction:ltr">University College London</div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0px;padding:0px;vertical-align:baseline;direction:ltr">URL: <span style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(12,100,192)"><a href="https://urldefense.com/v3/__https://sites.google.com/site/elainepimentel/__;!!IBzWLUs!T5AC9PyBSc0OgFNdTpdn3RvYtwFOkb6iwM5ePAzEgXH3kS5Efs55v8hCjzIS8IHG8VOZxP1xm4Io146UQajBtHxXBoDe8I7Ydu4ry9wo$" style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(12,100,192)" target="_blank">https://sites.google.com/site/elainepimentel/</a></span></div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0cm;padding:0px;vertical-align:baseline;direction:ltr"><br></div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0cm;padding:0px;vertical-align:baseline">UCL Computer Science is an <span style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(70,120,134)"><u><a href="https://urldefense.com/v3/__https://www.ucl.ac.uk/computer-science/about/equity-diversity-and-inclusion/gender-equality-athena-swan__;!!IBzWLUs!T5AC9PyBSc0OgFNdTpdn3RvYtwFOkb6iwM5ePAzEgXH3kS5Efs55v8hCjzIS8IHG8VOZxP1xm4Io146UQajBtHxXBoDe8I7YdqDWtT9Y$" rel="noopener noreferrer" style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(70,120,134)" target="_blank">Athena Swan Gold award winner for gender equality</a></u></span></div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:10pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0cm;padding:0px;vertical-align:baseline">UCL is ranked among the <span style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(51,102,204)"><u><a href="https://urldefense.com/v3/__https://www.ucl.ac.uk/news/2023/jun/ucl-ranked-top-10-universities-world-12-years-running__;!!IBzWLUs!T5AC9PyBSc0OgFNdTpdn3RvYtwFOkb6iwM5ePAzEgXH3kS5Efs55v8hCjzIS8IHG8VOZxP1xm4Io146UQajBtHxXBoDe8I7YdlkEPRdd$" rel="noopener noreferrer" style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(51,102,204)" target="_blank">top ten in the QS World University Rankings 2024</a></u></span> and is winner of <span style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(51,102,204)"><u><a href="https://urldefense.com/v3/__https://www.ucl.ac.uk/news/2023/sep/ucl-named-university-year__;!!IBzWLUs!T5AC9PyBSc0OgFNdTpdn3RvYtwFOkb6iwM5ePAzEgXH3kS5Efs55v8hCjzIS8IHG8VOZxP1xm4Io146UQajBtHxXBoDe8I7YdvJuVOhx$" rel="noopener noreferrer" style="border:0px;font:inherit;margin:0px;padding:0px;vertical-align:baseline;color:rgb(51,102,204)" target="_blank">The Times and Sunday Times University of the Year 2024</a></u></span></div><div style="border:0px;font-style:inherit;font-variant:inherit;font-weight:inherit;font-stretch:inherit;font-size:9.75pt;line-height:inherit;font-family:Arial,Helvetica,sans-serif;margin:0px;padding:0px;vertical-align:baseline;color:rgb(34,34,34);direction:ltr">-----------------------------------</div></div></div></div></div></div></div></div></div></div>