LIPIcs

LIPIcs
Name	LIPIcs
Discipline	Theoretical Computer Science
Abbreviation	LIPIcs
Publisher	Schloss Dagstuhl — Leibniz-Zentrum für Informatik
Country	Germany
History	2008–present
Frequency	Conference proceedings

LIPIcs is a series of high-quality conference proceedings in theoretical computer science published by Schloss Dagstuhl — Leibniz-Zentrum für Informatik. It serves communities around algorithms, complexity, logic, combinatorics, cryptography, formal methods, and distributed computing, hosting proceedings for conferences such as STOC, FOCS, ICALP, LICS, ICALP, and SODA. The series is associated with international gatherings including ACM SIGACT, European Association for Theoretical Computer Science, International Colloquium on Automata, Languages and Programming, and national societies like Deutsche Forschungsgemeinschaft and EPSRC.

Overview

LIPIcs publishes proceedings spanning topics covered at events like Symposium on Theory of Computing, IEEE Symposium on Foundations of Computer Science, International Conference on Functional Programming, International Conference on Logic Programming, Conference on Computational Complexity, ACM Symposium on Principles of Distributed Computing, and Conference on Computer and Communications Security. Contributors include researchers affiliated with institutions such as MIT, Stanford University, University of Cambridge, Princeton University, Harvard University, University of Oxford, ETH Zurich, Max Planck Society, and CNRS. Editorial oversight involves organizations like Association for Computing Machinery, IEEE Computer Society, European Research Council, Simons Foundation, and regional groups such as INRIA. Proceedings are indexed alongside works from venues including NeurIPS, ICML, SIGGRAPH, CHI, and KDD in library catalogues and citation indices.

History and development

The series originated through collaborations between Schloss Dagstuhl, organizers of events like Dagstuhl Seminars, and communities tied to conferences such as ICALP and ESA. Early development involved participants from University of Bonn, Technical University of Munich, RWTH Aachen University, Karlsruhe Institute of Technology, and international partners at University of California, Berkeley, Cornell University, University of Tokyo, and Tsinghua University. Influential figures in the field include researchers associated with awards like the Turing Award, Gödel Prize, ACM Prize in Computing, and Knuth Prize. LIPIcs grew in parallel with infrastructure efforts seen in projects by CrossRef, ORCID, SHERPA/RoMEO, and repositories like arXiv and HAL. The evolution reflects policy dialogues involving European Commission, Horizon 2020, Plan S, and national funders such as NWO and Swiss National Science Foundation.

Publication model and indexing

The publication model emphasizes rapid dissemination similar to practices at ACM and IEEE, while aligning with indexing services such as Scopus, Web of Science, Google Scholar, DBLP, and library systems run by Library of Congress and Deutsche Nationalbibliothek. Metadata practices coordinate with standards from CrossRef, DataCite, and identifiers like ORCID for authors. Proceedings are available in formats compatible with aggregators used by JSTOR, Project MUSE, and institutional repositories at universities including Yale University, University of Chicago, Columbia University, and University of Toronto. The platform interoperates with submission and review tools similar to those used at EasyChair, OpenReview, and editorial workflows in journals like Journal of the ACM and SIAM Journal on Computing.

Editorial and submission process

Conference program committees drawn from communities represented by organizations such as SIGPLAN, SIGACT, SIGCOMM, SIGMETRICS, and SIGMOD manage peer review and acceptance decisions. Review practices mirror standards used at venues like PODS, ICALP, ESA, ESA, and STOC, often employing double-blind or single-blind review per conference policy. Editors and chairs commonly come from departments at Imperial College London, ETH Zurich, University of Edinburgh, Princeton University, Brown University, New York University, University of California, San Diego, and University of Illinois Urbana-Champaign. Accepted manuscripts undergo copyediting and typesetting comparable to processes at Cambridge University Press and Oxford University Press and are catalogued with persistent identifiers used by CrossRef.

Notable conferences and proceedings

The series includes proceedings for flagship conferences and workshops allied with events such as STOC, FOCS, ICALP, LICS, SODA, ESA, ICALP, CONCUR, CAV, POPL, and PODC. Proceedings capture seminal papers from authors affiliated with labs like Microsoft Research, Google Research, IBM Research, Bell Labs, Facebook AI Research, and institutions behind projects such as Coq, Isabelle, Z3, TensorFlow, and PyTorch. Influential contributions published in proceedings have been cited alongside landmark works recognized by awards including the Gödel Prize and the Turing Award.

Licensing and open access policies

LIPIcs adopts open-access principles consistent with mandates from funders like European Commission under Horizon Europe, initiatives such as Plan S, and policies from agencies including National Institutes of Health and Wellcome Trust. Licensing practices often use Creative Commons standards widely adopted in academic publishing and preferred by repositories like Zenodo and Figshare. The series' policies interact with institutional open-access policies at universities including UCL, King's College London, Delft University of Technology, and KU Leuven and align with archiving policies discussed in meetings of organizations like SPARC and COAR.

Category:Theoretical computer science conferences