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

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

FacebookTwitterLinkedInGoogle


Conference Series : Symposium on Theoretical Aspects of Computer Science
 
Link: http://www.stacs2013.uni-kiel.de
 
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

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

STACS 2013 CALL FOR PAPERS

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
*******************
info@stacs2013.uni-kiel.de (for general information)
pc-chairs@stacs2013.uni-kiel.de (for information regarding paper submission)

Related Resources

OpenSuCo @ ISC HPC 2017   2017 International Workshop on Open Source Supercomputing
FoIKS 2018   10th International Symposium on Foundations of Information and Knowledge Systems
ACMC 2017   Australasian Computer Music Conference
LICS 2018   Logic in Computer Science
STACS 2018   Symposium on Theoretical Aspects of Computer Science
IJESA 2017   International Journal of Embedded Systems and Applications
CONCUR 2018   29th International Conference on Concurrency Theory
STACS 2017   34th International Symposium on Theoretical Aspects of Computer Science
IJCAR 2018   9th International Joint Conference on Automated Reasoning
ACIIDS 2018   10th Asian Conference on Intelligent Information and Database Systems