Title: 31st International Symposium on Theoretical Aspects of Computer
Science (STACS'14)
Editors: Ernst W. Mayr, Natacha Portier
Series: LIPIcs (Leibniz International Proceedings in Informatics)
Volume: 25
Publisher: Schloss Dagstuhl - Dagstuhl Publishing
ISBN: 978-3-939897-65-1
== Access ==
Open access (online & free of charge) at
http://www.dagstuhl.de/dagpub/978-3-939897-65-1
You may also check the dblp page at
http://www.dblp.org/db/conf/stacs/stacs2014.html
== About the Proceedings ==
The Symposium on Theoretical Aspects of Computer Science (STACS)
conference series is an international forum for original research on
theoretical aspects of computer science. This year's conference (taking
place March 5–8 in Lyon) is the 31st in the series.
The interest in STACS has remained at a high level over the past years.
The STACS 2014 call for papers led to 210 submissions with authors from
35 countries. Each paper was assigned to three program committee
members who, at their discretion, asked external reviewers for reports.
The committee selected 54 papers during a three-week electronic meeting
held in November/December. As co-chairs of the program committee, we
would like to sincerely thank all its members and the many external
referees for their valuable work. In particular, there were intense and
interesting discussions. The overall very high quality of the
submissions made the selection a difficult task.
See also:
* Frontmatter incl. table of contents and preface:
http://dx.doi.org/10.4230/LIPIcs.STACS.2014.i
* http://stacs2014.sciencesconf.org/
== About the STACS Symposium ==
The "Symposium on Theoretical Aspects of Computer Science" (STACS) takes
place each year since 1984, alternately in Germany and France. Typical
topics of the conference include:
* 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, parameterized 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
See also:
* http://www.stacs-conf.org/
== About the LIPIcs Series ==
"LIPIcs: Leibniz International Proceedings in Informatics" is a series
of high-quality conference proceedings across all fields in informatics
established in cooperation with "Schloss Dagstuhl--Leibniz Center of
Informatics". LIPIcs volumes are published according to the principle
of OpenAccess, i.e., they are available online and free of charge for
the reader.
See also:
* http://www.dagstuhl.de/lipics/
--
Dr. Marc Herbstritt
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
\\\/ Dagstuhl Publishing | LIPIcs Editorial Office
Email: publishing@dagstuhl.de
http://www.dagstuhl.de/lipics
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
