The Symposium on Theoretical Aspects of Computer Science (STACS) is an

academic conference An academic conference or scientific conference (also congress, symposium, workshop, or meeting) is an event for researchers (not necessarily academics) to present and discuss their scholarly work. Together with academic or scientific journal ...

in the field of

computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical discipli ...

. It is held each year, alternately in Germany and France, since 1984. Typical themes of the conference include algorithms, computational and structural complexity, automata, formal languages and logic.
STACS proceedings from 1984 to 2007
have been published by

Springer Science+Business Media Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 ...

in the

Lecture Notes in Computer Science ''Lecture Notes in Computer Science'' is a series of computer science books published by Springer Science+Business Media since 1973. Overview The series contains proceedings, post-proceedings, monographs, and Festschrifts. In addition, tutorial ...

series. The proceedings since 2008 are published by the Leibniz Center for Informatics in the

open access Open access (OA) is a set of principles and a range of practices through which research outputs are distributed online, free of access charges or other barriers. With open access strictly defined (according to the 2001 definition), or libre op ...

series Leibniz International Proceedings in Informatics. The proceedings since are freely available from the conference portal, as well as fro
DROPS
the

Dagstuhl Dagstuhl is a computer science research center in Germany, located in and named after a district of the town of Wadern, Merzig-Wadern, Saarland. Location Following the model of the mathematical center at Oberwolfach, the center is installed i ...

Research Online Publication Server, and from

Hyper Articles en Ligne HAL (short for ''Hyper Articles en Ligne'') is an open archive where authors can deposit scholarly documents from all academic fields. It has a very good position in the international web repository ranking. History HAL was started in 2001 b ...

. The conference is indexed by several bibliographic databases, including the

DBLP DBLP is a computer science bibliography website. Starting in 1993 at Universität Trier in Germany, it grew from a small collection of HTML files and became an organization hosting a database and logic programming bibliography site. Since Novem ...

Google Scholar Google Scholar is a freely accessible web search engine that indexes the full text or metadata of scholarly literature across an array of publishing formats and disciplines. Released in beta in November 2004, the Google Scholar index includes ...

and The Collection of Computer Science Bibliographies.

External links

* .
STACS proceedings from 1984 to 2007
at

Springer Link Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in ...

.
STACS
at

.
STACS proceedings

Leibniz International Proceedings in Informatics home page
Theoretical computer science conferences {{comp-sci-theory-stub

See also

External links