External links
- Official website
. - STACS proceedings from 1984 to 2007 at Springer Link.
- STACS at DBLP.
- STACS proceedings.
- Leibniz International Proceedings in Informatics home page
Authority control  |
|
|---|
| Symposium on Theoretical Aspects of Computer Science | |
|---|---|
| Abbreviation | STACS |
| Discipline | Theoretical computer science |
| Publication details | |
| Publisher | Leibniz Center for Informatics |
| History | 1984– |
| Frequency | annual |
| yes | |
The Symposium on Theoretical Aspects of Computer Science (STACS) is an academic conference in the field of computer science. 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 in the Lecture Notes in Computer Science series. The proceedings since 2008 are published by the Leibniz Center for Informatics in the open access series Leibniz International Proceedings in Informatics. The proceedings since are freely available from the conference portal, as well as from DROPS, the Dagstuhl Research Online Publication Server, and from Hyper Articles en Ligne.
The conference is indexed by several bibliographic databases, including the DBLP, Google Scholar and The Collection of Computer Science Bibliographies.
.| Authority control |
|
|---|
The International Association for Cryptologic Research (IACR) is a non-profit scientific organization that furthers research in cryptology and related fields. The IACR was organized at the initiative of David Chaum at the CRYPTO '82 conference.
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 November 2018, DBLP is a branch of Schloss Dagstuhl – Leibniz-Zentrum für Informatik (LZI). DBLP listed more than 5.4 million journal articles, conference papers, and other publications on computer science in December 2020, up from about 14,000 in 1995 and 3.66 million in July 2016. All important journals on computer science are tracked. Proceedings papers of many conferences are also tracked. It is mirrored at three sites across the Internet.
Dagstuhl is a computer science research center in Germany, located in and named after a district of the town of Wadern, Merzig-Wadern, Saarland.
Professor Dines Bjørner is a Danish computer scientist.
ICALP, the International Colloquium on Automata, Languages, and Programming is an academic conference organized annually by the European Association for Theoretical Computer Science and held in different locations around Europe. Like most theoretical computer science conferences its contributions are strongly peer-reviewed. The articles have appeared in proceedings published by Springer in their Lecture Notes in Computer Science, but beginning in 2016 they are instead published by the Leibniz International Proceedings in Informatics.
The International Symposium on Graph Drawing (GD) is an annual academic conference in which researchers present peer reviewed papers on graph drawing, information visualization of network information, geometric graph theory, and related topics.
The International Conference on Software Engineering and Formal Methods (SEFM) is an international academic conference in the field of software engineering.
The Symposium on Principles of Distributed Computing (PODC) is an academic conference in the field of distributed computing organised annually by the Association for Computing Machinery.
WADS, the Algorithms and Data Structures Symposium, is an international academic conference in the field of computer science, focusing on algorithms and data structures. WADS is held every second year, usually in Canada and always in North America. It is held in alternation with its sister conference, the Scandinavian Symposium and Workshops on Algorithm Theory (SWAT), which is usually held in Scandinavia and always in Northern Europe. Historically, the proceedings of both conferences were published by Springer Verlag through their Lecture Notes in Computer Science series. Springer continues to publish WADS proceedings, but starting in 2016, SWAT proceedings are now published by Dagstuhl through their Leibniz International Proceedings in Informatics.
The IEEE Annual Symposium on Foundations of Computer Science (FOCS) is an academic conference in the field of theoretical computer science. FOCS is sponsored by the IEEE Computer Society.
Jacobus Nicolaas (Sjaak) Brinkkemper is a Dutch computer scientist, and Full Professor of organisation and information at the Department of Information and Computing Sciences of Utrecht University.
Professor Martin C. Henson FBCS FRSA is an English computer scientist based at the University of Essex. He is Dean for International Affairs and is affiliated to the School of Computer Science & Electronic Engineering. Henson was Head of the Department of Computer Science from 2000–2006.
The International Symposium on Computational Geometry (SoCG) is an academic conference in computational geometry. It was founded in 1985, and was originally sponsored by the SIGACT and SIGGRAPH Special Interest Groups of the Association for Computing Machinery (ACM). It dissociated from the ACM in 2014, motivated by the difficulties of organizing ACM conferences outside the United States and by the possibility of turning to an open-access system of publication. Since 2015 the conference proceedings have published by the Leibniz International Proceedings in Informatics instead of by the ACM. Since 2019 the conference has been organized under the auspices of the newly-formed Society for Computational Geometry.
The German Informatics Society (GI) is a German professional society for computer science, with around 20,000 personal and 250 corporate members. It is the biggest organized representation of its kind in the German-speaking world.
Text, Speech and Dialogue (TSD) is an annual conference involving topics on natural language processing and computational linguistics. The meeting is held every September alternating in Brno and Pilsen, Czech Republic.
Peter Ružička was a Slovak computer scientist and mathematician who worked in the fields of distributed computing and computer networks. He was a Professor at the Comenius University, Faculty of Mathematics, Physics and Informatics working in several research areas of theoretical computer science throughout his long career.
The International Conference on Theory and Applications of Models of Computation (TAMC) is an academic conference in the field of theoretical computer science. TAMC has been organized annually since 2004. Previous editors of the TAMC conference proceedings include Manindra Agrawal and Petr Kolman. The conference proceedings are published in the Lecture Notes in Computer Science (LNCS) series by Springer.
Willy (Wim) Van Grembergen is a Belgian organizational theorist and Professor of Information Systems Management at the University of Antwerp, and Academic Director of the IT Alignment and Governance Research Institute., known for his work on IT governance. His recent book on IT Governance: "Enterprise governance of information technology: Achieving strategic alignment and value", Springer, 2009.
MFCS, the International Symposium on Mathematical Foundations of Computer Science is an academic conference organized annually since 1972. The topics of the conference cover the entire field of theoretical computer science. Up to 2012, the conference was held in different locations in Poland, Czech Republic and Slovakia, but since MFCS 2013, it travels around Europe. All contributions are strongly peer-reviewed. In 1974–2015, the articles appeared in proceedings published by Springer in the Lecture Notes in Computer Science series. Beginning in 2016, the proceedings are instead published by the Leibniz International Proceedings in Informatics.
The International Conference on Concurrency Theory (CONCUR) is an academic conference in the field of computer science, with focus on the theory of concurrency and its applications. It is the flagship conference for concurrency theory according to the International Federation for Information Processing Working Group on Concurrency Theory. The conference is organised annually since 1988. Since 2015, papers presented at CONCUR are published in the LIPIcs–Leibniz International Proceedings in Informatics, a "series of high-quality conference proceedings across all fields in informatics established in cooperation with Schloss Dagstuhl –Leibniz Center for Informatics". Before, CONCUR papers were published in the series Lecture Notes in Computer Science.