[TYPES/announce] CfP: STACS'25: 42nd International Symposium on Theoretical Aspects of Computer Science, March 4-7, Jena (Germany)

[Elaine Pimentel]

STACS'25: Call for Papers


The 42nd International Symposium on Theoretical Aspects of Computer Science
is planned to take place from March 4th to March 7th in Jena, Germany
https://urldefense.com/v3/__https://www.stacs2025.de/__;!!IBzWLUs!T5AC9PyBSc0OgFNdTpdn3RvYtwFOkb6iwM5ePAzEgXH3kS5Efs55v8hCjzIS8IHG8VOZxP1xm4Io146UQajBtHxXBoDe8I7YdkNXT6iw$ .

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.

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:

Track A. Algorithms, Data Structures and Complexity

Design of parallel algorithms
Distributed algorithms
Approximation algorithms
Parameterized algorithms
Randomized algorithms
Analysis of algorithms
Combinatorics of data structures
Computational geometry
Cryptography
Algorithms for machine learning
Algorithmic game theory
Quantum algorithms
Computational and structural complexity theory
Parameterised complexity
Randomness in computation
Track B. Automata, Logic, Semantics and Theory of Programming

Automata theory
Games and multi-agent systems
Algebraic and categorical methods
Models of computation
Concurrency
Timed systems
Finite model theory
Database theory
Semantics
Type systems
Program analysis
Specification and verification
Rewriting and deduction
Learning theory
Logical aspects of computability and complexity


Important Dates

Submission deadline: 26 September 2024, 23:59 AoE
Rebuttal: 15-21 November 2024
Notification: 16 December 2024
Camera ready: mid-January 2025
Conference: 4-7 March 2025


Submissions
Format of submissions

Submissions should be made through EasyChair at
https://urldefense.com/v3/__https://easychair.org/conferences/?conf=stacs2025__;!!IBzWLUs!T5AC9PyBSc0OgFNdTpdn3RvYtwFOkb6iwM5ePAzEgXH3kS5Efs55v8hCjzIS8IHG8VOZxP1xm4Io146UQajBtHxXBoDe8I7YdoyOkjic$ 

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.
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.
Submissions should be made to appropriate tracks. The PCs reserve the right
to reassign a paper to a different track, if deemed necessary.
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.
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.
Double-blind reviewing

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.

-- 
Elaine.
-----------------------------------
Elaine Pimentel
Schools Outreach Lead
Associate Professor in Programming Principles, Logic, and Verification
Department of Computer Science, Office: Room 3.11, 66-72 Gower Street
University College London
URL: https://urldefense.com/v3/__https://sites.google.com/site/elainepimentel/__;!!IBzWLUs!T5AC9PyBSc0OgFNdTpdn3RvYtwFOkb6iwM5ePAzEgXH3kS5Efs55v8hCjzIS8IHG8VOZxP1xm4Io146UQajBtHxXBoDe8I7Ydu4ry9wo$ 

UCL Computer Science is an *Athena Swan Gold award winner for gender
equality
<https://urldefense.com/v3/__https://www.ucl.ac.uk/computer-science/about/equity-diversity-and-inclusion/gender-equality-athena-swan__;!!IBzWLUs!T5AC9PyBSc0OgFNdTpdn3RvYtwFOkb6iwM5ePAzEgXH3kS5Efs55v8hCjzIS8IHG8VOZxP1xm4Io146UQajBtHxXBoDe8I7YdqDWtT9Y$ >*
UCL is ranked among the *top ten in the QS World University Rankings 2024
<https://urldefense.com/v3/__https://www.ucl.ac.uk/news/2023/jun/ucl-ranked-top-10-universities-world-12-years-running__;!!IBzWLUs!T5AC9PyBSc0OgFNdTpdn3RvYtwFOkb6iwM5ePAzEgXH3kS5Efs55v8hCjzIS8IHG8VOZxP1xm4Io146UQajBtHxXBoDe8I7YdlkEPRdd$ >*
and
is winner of *The Times and Sunday Times University of the Year 2024
<https://urldefense.com/v3/__https://www.ucl.ac.uk/news/2023/sep/ucl-named-university-year__;!!IBzWLUs!T5AC9PyBSc0OgFNdTpdn3RvYtwFOkb6iwM5ePAzEgXH3kS5Efs55v8hCjzIS8IHG8VOZxP1xm4Io146UQajBtHxXBoDe8I7YdvJuVOhx$ >*
-----------------------------------
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240919/dd431861/attachment-0001.htm>