posted by user: gauwin || 6571 views || tracked by 24 users: [display]

STACS 2013 : 30th International Symposium on Theoretical Aspects of Computer Science


Conference Series : Symposium on Theoretical Aspects of Computer Science
When Feb 27, 2013 - Mar 2, 2013
Where Kiel, Germany
Submission Deadline Sep 21, 2012
Notification Due Dec 7, 2012
Final Version Due Jan 9, 2013
Categories    theoretical computer science   logic   computation theory   automata theory

Call For Papers



30th International Symposium on Theoretical Aspects of Computer Science

February 27-March 2, 2013, Kiel, Germany

Submission Deadline: Sep 21, 2012


Authors are invited to submit papers presenting original and
unpublished research on theoretical aspects of computer
science. Typical areas include (but are not limited to):

* algorithms and data structures, including: parallel, distributed,
approximation, and randomized algorithms, computational geometry,
cryptography, algorithmic learning theory, analysis of algorithms;
* automata and formal languages, games;
* computational complexity, randomness in computation;
* logic in computer science, including: semantics, specification and
verification, rewriting and deduction;
* current challenges, for example: natural computing, quantum
computing, mobile and net computing.

- Eric Allender, Rutgers U.
- Pablo Barceló, U. de Chile
- Frédérique Bassino, U. Paris 13
- Artur Czumaj, U. of Warwick
- Hervé Fournier, U. Paris Diderot
- Edward A. Hirsch, Steklov Institute, St. Petersburg
- Iordanis Kerenidis, U. Paris Diderot
- Michal Koucký, Czech Academy of Sciences
- Dieter Kratsch, U. de Lorraine
- Andrei Krokhin, Durham U.
- Antonín Kučera, Masaryk U.
- Markus Lohrey, U. of Leipzig
- Katarzyna Paluch, U. of Wroclaw
- Natacha Portier, ENS Lyon, co-chair
- Kirk Pruhs, U. of Pittsburgh
- Peter Rossmanith, RWTH Aachen
- Günter Rote, Freie Universität Berlin
- Thomas Sauerwald, MPI Saarbrücken
- Sandeep Sen, IIT Delhi
- Subhash Suri, UC Santa Barbara
- Jacobo Toran, Ulm U.
- Jouko Väänänen, U. of Helsinki and U. of Amsterdam
- Thomas Wilke, Kiel U., co-chair
- Carsten Witt, Technical U. of Denmark
- Gerhard J. Woeginger, TU Eindhoven
- Marc Zeitoun, U. Bordeaux 1

- Kousha Etessami, University of Edinburgh
- Kurt Mehlhorn, MPI Saarbrücken and Saarland University
- Stéphan Thomassé, ENS Lyon

Dániel Marx, MTA SZTAKI, Hungarian Academy of Sciences:
Algorithmic Graph Structure Theory

Authors are invited to submit a draft of a full paper with at most 12
pages. The usage of pdflatex and the LIPIcs style file (see below) are
mandatory; no changes to font size, page geometry etc. are permitted.

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 must be put into an
appendix to be read by the program committee members at their

Simultaneous submission to other conferences with published
proceedings is not allowed.

The submission site, which opens on June 1, 2012, is .

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.

In addition, the proceedings will also be available as archives in the
open access electronic repository HAL.

With their submission, authors consent to sign a license authorizing
the program committee chairs to organize the electronic publication of
their paper, provided the paper is accepted.

Further details are available on and on the
conference website, .

Each participant of the conference will receive a USB flash drive with
an electronic version of the proceedings. It is also planned to publish
selcted papers in a journal.

Submission website opens: Jun 1, 2012
Submission deadline: Sep 21, 2012
Notification: Dec 7, 2012
Final version due: Jan 9, 2013
Symposium: Feb 27-Mar 2, 2013

LIPIcs homepage:
tar ball:

******************* (for general information) (for information regarding paper submission)

Related Resources

STACS 2018   Symposium on Theoretical Aspects of Computer Science
SBMF 2018   21st Brazilian Symposium on Formal Methods
SSCI 2019   The 2019 IEEE Symposium Series on Computational Intelligence
DL 2018   31st International Workshop on Description Logics
ICDMML 2019   2019 International Conference on Data Mining and Machine Learning
LOGLEG 2018   Logic, Law and Legal Reasoning
CALDAM 2019   5th Annual International Conference on Algorithms and Discrete Applied Mathematics
NCMA 2018   Non-Classical Models of Automata and Applications
ETRIJ Cyber Security & AI 2019   ETRI Journal Special issue on Cyber Security and AI
ENTER 2019   ENTER 2019: The 26th Annual eTourism Conference