Logic List Mailing Archive

3rd CfP STACS 2013

27 Feb - 2 Mar 2013
Kiel, Germany

************************************************************************

STACS 2013 CALL FOR PAPERS (3rd call)

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é, Ecole Normale Supérieure de 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 (including references). 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 opened 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 deadline:       Sep 21, 2012
                             website open through 23:59 UTC-12:00
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
*******************
info@stacs2013.uni-kiel.de (for general information)
pc-chairs@stacs2013.uni-kiel.de (for information regarding paper submission)