Monday, September 9, 2024

[DMANET] STACS 2025: Second Call for Papers

This is the second announcement of the Call for Papers for STACS 2025.
The submission deadline is September 26th!

=== 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://www.stacs2025.de/.

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 ==

Submissions should be made through EasyChair at
https://easychair.org/conferences/?conf=stacs2025

For more information on submission format, conflicts of interest,
rebuttal, etc., see https://www.stacs2025.de/ .
**********************************************************
*
* 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/
*
**********************************************************