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

Website | Edit Freely

Category STACS 2013

Deadline: September 21, 2012 | Date: February 27, 2013-March 02, 2013

Venue/Country: Kiel, Germany

Updated: 2012-05-30 23:12:01 (GMT+9)

Call For Papers - CFP

30th International Symposium on Theoretical Aspects of Computer Science

February 27-March 2, 2013, Kiel, Germany

Submission Deadline: Sep 21, 2012

http://www.stacs2013.uni-kiel.de

SCOPE

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.

PROGRAM COMMITTEE

- 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

INVITED SPEAKERS

- Kousha Etessami, University of Edinburgh

- Kurt Mehlhorn, MPI Saarbrücken and Saarland University

- Stéphan Thomassé, ENS Lyon

TUTORIAL

Dániel Marx, MTA SZTAKI, Hungarian Academy of Sciences:

Algorithmic Graph Structure Theory

SUBMISSIONS

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

discretion.

Simultaneous submission to other conferences with published

proceedings is not allowed.

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

http://www.easychair.org/conferences/?conf=stacs2013 .

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.

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 www.stacs-conf.org and on the

conference website, http://www.stacs2013.uni-kiel.de .

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.

IMPORTANT DATES

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 STYLE FILES

LIPIcs homepage: http://www.dagstuhl.de/en/publications/lipics

tar ball: http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz

CONTACT INFORMATION

infostacs2013.uni-kiel.de (for general information)

pc-chairsstacs2013.uni-kiel.de (for information regarding paper submission)