posted by user: gauwin || 6238 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

STACS 2018   Symposium on Theoretical Aspects of Computer Science
CONCUR 2018   29th International Conference on Concurrency Theory
icaase 2018   International Conference on Advanced Aspects of Software Engineering
IJESA 2018   International Journal of Embedded Systems and Applications
ACIIDS 2018   10th Asian Conference on Intelligent Information and Database Systems
CIAA 2018   23rd International Conference on Implementation and Application of Automata
DISC 2018   Special Issue on Data Intelligence in Sustainable Computing, Journal of Sustainable Computing: Informatics and Systems
LearnAut 2018   Learning and Automata (LearnAut) -- FLoC 2018 Workshop
ICSTR 2018   ICSTR Bangkok – International Conference on Science & Technology Research, 21-22 December, 2018
ICRST 2018   ICRST (2018) XIXth International Conference on Researches in Science & Technology, 26-27 October 2018, Colombo