<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;">
    <div class="moz-forward-container">
      <div dir="auto" style="overflow-wrap: break-word;
        -webkit-nbsp-mode: space; line-break: after-white-space;">FYI
        <div><br>
        </div>
        STACS 2024 CALL FOR PAPERS
        <div><br>
        </div>
        <div>
          <div><br>
          </div>
          <div><br>
          </div>
          <div>The 41st International Symposium on Theoretical Aspects
            of Computer Science is planned to take place from 12th March
            to 14th March 2024 in Clermont-Ferrand, France.</div>
          <div><br>
          </div>
          <div>For the second time, STACS 2024 will consist of two
            tracks, A and B, to facilitate the work of the program
            committee(s).</div>
          <div><br>
          </div>
          <div>Track A focuses on algorithms, data structures and
            complexity.</div>
          <div>Track B focuses on automata, logic, semantics, and theory
            of programming.</div>
          <div><br>
          </div>
          <div>Authors are invited to submit papers presenting original
            and unpublished research on theoretical aspects of computer
            science. Typical areas include:</div>
          <div><br>
          </div>
          <div>Track A. Algorithms, Data Structures and Complexity</div>
          <div>Design of parallel algorithms</div>
          <div>Distributed algorithm</div>
          <div>Approximation algorithms</div>
          <div>Parameterised algorithms</div>
          <div>Randomised algorithms</div>
          <div>Analysis of algorithms</div>
          <div>Combinatorics of data structures</div>
          <div>Computational geometry</div>
          <div>Cryptography</div>
          <div>Algorithms for machine learning</div>
          <div>Algorithmic game theory</div>
          <div>Quantum algorithms</div>
          <div>Computational and structural complexity theory</div>
          <div>Parameterised complexity</div>
          <div>Randomness in computation</div>
          <div><br>
          </div>
          <div>Track B. Automata, Logic, Semantics and Theory of
            Programming</div>
          <div>Automata theory</div>
          <div>Games and multi-agent systems</div>
          <div>Algebraic and categorical methods</div>
          <div>Models of computation</div>
          <div>Concurrency</div>
          <div>Timed systems</div>
          <div>Finite model theory</div>
          <div>Database theory</div>
          <div>Semantics</div>
          <div>Type systems</div>
          <div>Program analysis</div>
          <div>Specification and verification</div>
          <div>Rewriting and deduction</div>
          <div>Learning theory</div>
          <div>Logical aspects of computability and complexity</div>
          <div><br>
          </div>
          <div>** These lists are not exhaustive. In particular, both
            tracks also welcome submissions about current challenges.</div>
          <div><br>
          </div>
          <div>IMPORTANT DATES</div>
          <div>Submission<span class="Apple-tab-span" style="white-space:pre">  </span>September
            28, 2023 (11:59 PM AoE)</div>
          <div>Rebuttal<span class="Apple-tab-span" style="white-space:pre">    </span>November
            21-23, 2023</div>
          <div>Acceptance<span class="Apple-tab-span" style="white-space:pre">  </span>December
            13, 2023</div>
          <div>Final version<span class="Apple-tab-span" style="white-space:pre">       </span>January
            18, 2024</div>
          <div>STACS 2024<span class="Apple-tab-span" style="white-space:pre">  </span>March
            12-14, 2024</div>
          <div><br>
          </div>
          <div><br>
          </div>
          <div>PROGRAM COMMITTEE MEMBERS</div>
          <div><br>
          </div>
          <div>TRACK A.</div>
          <div><br>
          </div>
          <div>Mamadou Moustapha Kanté, Co-Chair (Université Clermont
            Auvergne, France)</div>
          <div>Daniel Lokshtanov, Co-Chair (University of California,
            Santa Barbara, USA)</div>
          <div>Prabhanjan Ananth (University of California, Santa
            Barbara)</div>
          <div>Edouard Bonnet (ENS Lyon)</div>
          <div>Zongchen Chen (MIT)</div>
          <div>Alex Conway (VMWare Research Lab)</div>
          <div>Fabien Dufoulon (University of Houston)</div>
          <div>Christoph Durr (CNRS, Université Paris Sorbonne)</div>
          <div>Sebastian Forster (University of Salzburg)</div>
          <div>Elena Grigorescu (Purdue University)</div>
          <div>Jacob Holm (University of Copenhagen)</div>
          <div>Tony Huynh (Sapienza Università di Roma)</div>
          <div>Nutan Limaye (IT University of Copenhagen)</div>
          <div>Or Meir (University of Haifa)</div>
          <div>Florin Manea (University of Göttingen)</div>
          <div>Benjamin Moseley (Carnegie Mellon University)</div>
          <div>Alanta Newman (CNRS, Université Grenoble-Alpes)</div>
          <div>Kim Thang Nguyen (Grenoble INP, Université
            Grenoble-Alpes)</div>
          <div>Pan Peng (University of Science and Technology of China)</div>
          <div>Stephen Piddock (Royal Holloway University of London)</div>
          <div>Saket Saurabh (Institute of Mathematical Sciences,
            Chennai)</div>
          <div>Sebastian Siebertz (University of Bremen)</div>
          <div>Nodari Sitchinava (University of Hawai)</div>
          <div>Sophie Spirkl (University of Waterloo)</div>
          <div>Jie Xue (New York University of Shangai)</div>
          <div>Hang Zhou (Ecole Polytechnique)</div>
          <div><br>
          </div>
          <div>TRACK B.</div>
          <div><br>
          </div>
          <div>Olaf Beyersdorff, Co-Chair (Friedrich Schiller University
            of Jena)</div>
          <div>Orna Kupferman, Co-Chair (The Hebrew University of
            Jerusalem)</div>
          <div>Paul Bell (Keele University)</div>
          <div>Ilario Bonacina (UPC Barcelona)</div>
          <div>Andrea Calì (University of London, Birkbeck)</div>
          <div>Joel Day (Loughborough University)</div>
          <div>Hadar Frenkel (CISPA)</div>
          <div>Manfred Kufleitner (University of Stuttgart)</div>
          <div>Markus Lohrey (University of Siegen)</div>
          <div>Sebastian Maneth (University of Bremen)</div>
          <div>Paige Randall North (Utrecht University)</div>
          <div>Henning Schnoor (University of Kiel)</div>
          <div>Ana Sokolova (University of Salzburg)</div>
          <div>Anthony Widjaja Lin (University of Kaiserslautern and
            Max-Planck Institute for Software Systems)</div>
          <div><br>
          </div>
          <div>SUBMISSIONS</div>
          <div>Submissions will be through EasyChair <a
              href="https://easychair.org/my/conference?conf=stacs2024#"
              moz-do-not-send="true" class="moz-txt-link-freetext">https://easychair.org/my/conference?conf=stacs2024#</a></div>
          <div><br>
          </div>
          <div>Authors are invited to submit an extended abstract or
            full paper with at most 12-15 pages, excluding a title page,
            the references section and a possible appendix, to the
            appropriate track. The title page consists, for instance, of
            the title of the paper, the abstract, and keywords, 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. The PCs
            reserve the right to reassign a paper to a different track.
            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 <a
              href="https://www.dagstuhl.de/en/publishing/series/details/LIPIcs"
              moz-do-not-send="true" class="moz-txt-link-freetext">https://www.dagstuhl.de/en/publishing/series/details/LIPIcs</a>;
            Submissions not in the correct format or submitted after the
            deadline will not be considered.</div>
          <div><br>
          </div>
          <div>The paper should contain a succinct statement of the
            issues and of their motivation, a summary of the main
            results, and a brief explanation of their significance,
            accessible to non-specialist readers. Proofs omitted due to
            space constraints should be put into an appendix, to be read
            by the program committee members at their discretion. An
            appendix consisting of a full version of the paper is
            encouraged. Simultaneous submission to other conferences
            with published proceedings or to journals is not allowed. PC
            members are excluded from submitting to their own track.</div>
          <div><br>
          </div>
          <div>As in the previous years, STACS 2024 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.</div>
          <div><br>
          </div>
          <div>Authors will be invited to give a list of persons with a
            Conflict of Interest (COI). A Conflict of Interest is
            limited to the following categories:</div>
          <div><br>
          </div>
          <div>- Family member or close friend.</div>
          <div>- Ph.D. advisor or advisee (no time limit), or
            postdoctoral or undergraduate mentor or mentee within the
            past five years.</div>
          <div>- Person with the same affiliation.</div>
          <div>- Involved in an alleged incident of harassment. (It is
            not required that the incident be reported.)</div>
          <div>- Reviewer owes author a favour (e.g., recently requested
            a reference letter).</div>
          <div>- Frequent or recent collaborator (within last 5 years)
            cannot objectively review your work.</div>
          <div><br>
          </div>
          <div>If you are unsure about a conflict in which a reviewer
            may have positive bias towards your paper, we recommend
            erring on the side of not declaring it since PC members and
            sub-reviewers will be also asked if they feel that they can
            fairly evaluate your paper. If an author believes that they
            have a valid reason for a Conflict of Interest not listed
            above, then she or he can contact PC chairs. Falsely
            declared conflicts (i.e., do not satisfy one of the listed
            reasons) risk rejection without consideration of merit. When
            PC chairs have doubt about claimed Conflict of Interest,
            they may request that STACS advocates confidentially verify
            the conflict. If authors are uncertain, they are encouraged
            to email PC chairs or STACS advocates. Authors will be asked
            to declare conflicts with PC members during submission, but
            an author can contact PC chairs directly if she or he has a
            conflict with an individual who is likely to be asked to
            serve as a sub-reviewer for the paper.</div>
          <div><br>
          </div>
          <div>There will be a rebuttal period for authors, see below
            for the dates. Authors will receive the reviews of their
            submissions (via EasyChair) and have three days to submit
            rebuttals (via EasyChair). These rebuttals become part of
            the PC discussions, but entail no specific responses.</div>
          <div><br>
          </div>
          <div>At least one author of each accepted paper is expected to
            register at the conference. For authors who cannot present
            their paper in person a possibility for remote presentation
            will be offered.</div>
          <div><br>
          </div>
          <div>PROCEEDINGS</div>
          <div>Accepted papers will be published in the proceedings of
            the symposium. As usual, these proceedings will appear in
            the Leibniz International Proceedings in Informatics
            (LIPIcs) series, based at Schloss Dagstuhl (<a
              href="https://submission.dagstuhl.de/series/details/LIPIcs"
              moz-do-not-send="true" class="moz-txt-link-freetext">https://submission.dagstuhl.de/series/details/LIPIcs</a>).
            This guarantees perennial, free and easy electronic access,
            while the authors retain the rights over their work. With
            their submission, authors consent to sign a license
            authorising the program committee chairs to organise the
            electronic publication of their paper, provided the paper is
            accepted.</div>
          <div><br>
          </div>
          <div>The final camera-ready of each accepted paper should be
            formatted in accordance with the LIPIcs guidelines <a
              href="https://submission.dagstuhl.de/series/details/LIPIcs"
              moz-do-not-send="true" class="moz-txt-link-freetext">https://submission.dagstuhl.de/series/details/LIPIcs</a> and
            taking reviewer comments into account. General instructions
            regarding the preparation of the camera-ready version and
            the style can be found at LIPIcs author instructions  <a
              href="https://www.dagstuhl.de/en/publishing/series/details/LIPIcs"
              moz-do-not-send="true" class="moz-txt-link-freetext">https://www.dagstuhl.de/en/publishing/series/details/LIPIcs</a>. 
            Notice that there is a limit of 15 pages for the main body
            of the final camera-ready, excluding the bibliography, the
            front page(s) (authors, affiliation, keywords, abstract,
            ...) and a brief appendix (of up to 5 pages) from this page
            limit. Any appendices to the initial submission were
            officially not under review and thus should not be included
            in the proceedings. In general, major new content can be
            added only if suggested by the reviewers. You are however
            more than welcome to have the proceedings paper link to an
            extended version published elsewhere (e.g., on arXiv) – the
            precise link to such an extended version may even be
            provided later, during author approval period (expected in
            February).</div>
          <div><br>
          </div>
          <div>STACS CODE OF CONDUCT</div>
          <div>STACS 2024 intends to join <a class="moz-txt-link-freetext" href="http://safetoc.org">http://safetoc.org</a>.
            Registering for STACS 2024 thus will likely require that you
            agree to follow the Code of Conduct described below.</div>
          <div><br>
          </div>
          <div>STACS is committed to be a respectful forum for its
            participants, free from any violence, discrimination or
            harassment of any nature. All STACS attendees are expected
            to behave accordingly.</div>
          <div><br>
          </div>
          <div>If you experience or witness violence, discrimination,
            harassment or other unethical behaviour at the conference,
            we encourage you to seek advice and remedy through one or
            more of the following options:</div>
          <div><br>
          </div>
          <div>• Consult with the SafeToC advocates of STACS (to be
            named before the conference).</div>
          <div>• Report to the conference chair, the PC chairs or the
            Steering Committee chair.</div>
          <div>The chairs are entitled to remove registered participants
            from the conference (without refunding the conference fees)
            if they are deemed to pose an ethical risk to other
            participants. The conference chair may contact the local
            university committee dedicated to address violence,
            unethical behaviour or harassment of any kind. Besides
            having an appointment with the victim, this committee can
            assist with medical support and with taking legal action.</div>
          <div><br>
          </div>
          <div>CONTACT INFORMATION</div>
          <div>Web: <a class="moz-txt-link-freetext" href="http://www.stacs-conf.org">http://www.stacs-conf.org</a></div>
          <div>Email: <a class="moz-txt-link-abbreviated" href="mailto:stacs2024@easychair.org">stacs2024@easychair.org</a></div>
        </div>
      </div>
    </div>
    <pre class="moz-signature" cols="72">-- 
Eric RIVALS (PhD) - <a class="moz-txt-link-abbreviated" href="mailto:rivals@lirmm.fr">rivals@lirmm.fr</a> - <a class="moz-txt-link-abbreviated" href="http://www.lirmm.fr/~rivals">www.lirmm.fr/~rivals</a>
@EricRivals
CNRS Research Director 
LIRMM - UMR 5506 CNRS & Univ Montpellier  
CC 05016
860 rue de St Priest - 34095 Montpellier cedex 5 FRANCE
Tel. (33 or 0 from France) 4 67 41 86 64</pre>
  </body>
</html>