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.
For the second time, STACS 2024 will consist of two tracks, A and B, to facilitate the work of the program committee(s).
Track A focuses on algorithms, data structures and complexity.
Track B focuses on automata, logic, semantics, and theory of programming.
LISTS OF TOPICS
Authors are invited to submit papers presenting original and unpublished research on theoretical aspects of computer science. Typical areas include:
Track A:
* Algorithms and data structures, including: design of parallel, distributed, approximation, parameterised and randomised algorithms; analysis of algorithms and
combinatorics of data structures; computational geometry, cryptography, algorithms for machine learning, algorithmic game theory, quantum algorithms
* Complexity, including: computational and structural complexity theory, parameterised complexity, randomness in computation
Track B:
* automata and formal languages, including: automata theory, games and multi-agent systems, algebraic and categorical methods, models of computation,
concurrency, timed systems.
* logic in computer science, including: finite model theory, database theory, semantics, type systems, program analysis, specification and verification,
rewriting and deduction, learning theory, logical aspects of computability and complexity.
These lists are not exhaustive. In particular, both tracks also welcome submissions about current challenges.
PROGRAM COMMITTEE CHAIRS
Track A:
- Mamadou Moustapha Kanté (Université Clermont Auvergne, France)
- Daniel Lokshtanov (University of California, Santa Barbara, USA)
Track B:
- Olaf Beyersdorff (Friedrich Schiller University Jena, Germany)
- Orna Kupferman (Hebrew University, Israel)
SUBMISSIONS
Submission will be through EasyChair.
Authors are invited to submit an extended abstract or full paper with at most 12 pages (excluding a title page and the references section) to the appropriate
track. The title page consists of the title of the paper and the abstract, but *no* author information. The first section of the paper should start on the next
page. The PCs reserve the right to reassign a paper to a different track. The usage of the LIPIcs style file (see http://www.dagstuhl.de/en/publications/lipics <http://www.dagstuhl.de/en/publications/lipics>)
is mandatory; no changes to font size, page geometry, etc. are permitted. Submissions not in the correct format or submitted after the deadline will not be
considered.
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.
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.
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:
1. Family member or close friend.
2. Ph.D. advisor or advisee (no time limit), or postdoctoral or undergraduate mentor or mentee within the past five years.
3. Person with the same affiliation.
4. Involved in an alleged incident of harassment. (It is not required that the incident be reported.)
5. Reviewer owes author a favour (e.g., recently requested a reference letter).
6. Frequent or recent collaborator (within last 5 years) cannot objectively review your work.
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 he or she can contact PC chairs. Falsely declared conflicts (i.e., do not satisfy one of the listed reasons) risk
rejection without consideration of merit. If authors are uncertain, they are encouraged to email PC chairs. Authors will be asked to declare conflicts with PC
members during submission, but an author can contact PC chairs directly if he or she has a conflict with an individual who is likely to be asked to serve as a
sub-reviewer for the paper.
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.
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.
PROCEEDINGS
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. 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.
STACS CODE OF CONDUCT
STACS 2024 intends to join http://safetoc.org <http://safetoc.org/>. Registering for STACS 2024 thus will likely require that you agree to follow the Code of Conduct described
below.
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.
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:
• Consult with the SafeToC counsellors of STACS (to be named before the conference).
• Report to the conference chair, the PC chairs or the Steering Committee chair. 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.
IMPORTANT DATES
*Submission: September 28, 2023
*Rebuttal: November 21-23, 2023
*Acceptance: December 13, 2023
*Final Version : January 18, 2024
*Stacs 2024 : March, 12-14
CONTACT INFORMATION
Web: www.stacs-conf.org <http://www.stacs-conf.org/>
Email: mamadou.kante@uca.fr <mailto:mamadou.kante@uca.fr>
— —
Amitiés
Mamadou Kanté mamadou.kante@uca.fr
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
