LIPIcs, Volume 283
ISAAC 2023, December 3-6, 2023, Kyoto, Japan
Editors: Satoru Iwata and Naonori Kakimura
LIPIcs, Volume 282
AFT 2023, October 23-25, 2023, Princeton, NJ, USA
Editors: Joseph Bonneau and S. Matthew Weinberg
LIPIcs, Volume 281
DISC 2023, October 10-12, 2023, L'Aquila, Italy
Editors: Rotem Oshman
LIPIcs, Volume 280
CP 2023, August 27-31, 2023, Toronto, Canada
Editors: Roland H. C. Yap
LIPIcs, Volume 279
CONCUR 2023, September 18-23, 2023, Antwerp, Belgium
Editors: Guillermo A. Pérez and Jean-François Raskin
LIPIcs, Volume 278
TIME 2023, September 25-26, 2023, NCSR Demokritos, Athens, Greece
Editors: Alexander Artikis, Florian Bruse, and Luke Hunsberger
LIPIcs, Volume 277
GIScience 2023, September 12-15, 2023, Leeds, UK
Editors: Roger Beecham, Jed A. Long, Dianna Smith, Qunshan Zhao, and Sarah Wise
LIPIcs, Volume 276
DNA 29, September 11-15, 2023, Tohoku University, Sendai, Japan
Editors: Ho-Lin Chen and Constantine G. Evans
LIPIcs, Volume 275
APPROX/RANDOM 2023, September 11-13, 2023, Atlanta, Georgia, USA
Editors: Nicole Megow and Adam Smith
LIPIcs, Volume 274
ESA 2023, September 4-6, 2023, Amsterdam, The Netherlands
Editors: Inge Li Gørtz, Martin Farach-Colton, Simon J. Puglisi, and Grzegorz Herman
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 for Informatics.
Total cost(entire volume) = max(n,floor(P/20)) * APC (net).
The Scientific Advisory Board of Schloss Dagstuhl serves as a monitoring board for the Editorial Board.
In its initial configuration, the Editorial Board has 7 members, reflecting the setup of the two conferences that launched the LIPIcs series [1]: 6 belong to the main communities associated with these conferences, namely algorithms, automata, languages, combinatorics, logic and complexity. The 7-th member is the Scientific Director of Schloss Dagstuhl or his/her representative.
The Editorial Board elects its chairperson for a 2-year mandate, renewable twice. It is the chairperson’s responsibility to organize the Board’s deliberations in a timely fashion, and to record its decisions. An archive of the Editorial Board’s decisions is maintained by Schloss Dagstuhl.
Apart from the Scientific Director of Schloss Dagstuhl or his/her representative, the Editorial Board members have a 4-year mandate, renewable once. As an exception, three of the initial six members of the Editorial Board have a 6-year mandate, in order to ensure that the renewal of the Editorial Board is gradual. Former members may be nominated again, after a gap of at least 4 years.
New Editorial Board members must be selected when the mandate of current members terminates or when the Editorial Board needs to be expanded to include experts of branches of computer science not yet covered. In either case, new members are nominated and chosen by the current members of the Editorial Board, who will consult in the process Schloss Dagstuhl’s Scientific Advisory Board and relevant scientific associations. In the deliberation on the co-optation of new members of the Board, such considerations as nationality (or rather in which country one is professionally based) and gender shall also be taken into account, in order to avoid uniformity of any kind.
The Editorial Board functions as a whole and it is not its members’ mission to represent or defend a particular community. The Board’s deliberations are confidential and its decisions are reached by votes. The votes on selecting a new Board member or accepting a new conference in the LIPIcs series must be obtained with a 2/3 majority.
[1] FST&TCS (Foundations of Software Technology & Theoretical Computer Science) and STACS (Symposium on Theoretical Aspects of Computer Science)
The LIPIcs series will publish only high-quality conference proceedings, and the selection of these conferences is entrusted to the Editorial Board. The LIPIcs series is meant for recurring conferences, but isolated conferences of exceptional value may also be considered. In making its selection decisions, the Board will pay particular attention to the following criteria:
If the steering committee of a conference series is interested in publishing their proceedings as LIPIcs, please apply to LIPIcs Editorial Office at Dagstuhl.
An application is assumed to cover a 5-year period and should provide information related to the above mentioned criteria of the LIPIcs Editorial Policy. In particular, an application must give sufficient background on the conference, including:
If the conference is part of a series, then the application should include those same elements of information on at least the three preceding editions of the conference, as well as links to the relevant websites and access to the proceedings of these past conferences.
The information concerning the application is passed on to the Editorial Board chair who consults the Editorial Board members and/or external experts, especially if the scope of the conference is not in the broad fields already represented in the series Editorial Board.
A positive decision for recurrent conferences is valid for (typically) five years. Afterwards a new application has to be made.
A (re-) application ideally contains the original application and a description of any changes with respect to the stated criteria, scope, nature of the proceedings, or organisation of the conference.
Total cost(entire volume) = max(n,floor(P/20)) * APC (net).
Given the above, we suggest 20 main text pages1 as a page limit, which could for instance be in the form of 15 pages for the main body of paper plus up to 5 pages for appendices. Note that this is only a recommendation and it is up to the editors of the respective volume to decide on a policy regarding the page limit2.
1 'Main-text pages' are all contents except the title page with title, authors, affiliations, abstracts, ..... and the bibliography.
2 Please note that we expect a certain flexibility concerning any page limit (+/- 1 page) to avoid too much extra effort to harmonize LIPIcs-compliant formatting and page limit for both authors and final typesetting by the LIPIcs Office.
Please download the current version of the LIPIcs style along with an example file and detailed author instructions:
For older releases and an issue tracker, see our GitHub archive.
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 for Informatics.
In order to do justice to the high scientific quality of the conferences that publish their proceedings in the LIPIcs series, which is ensured by the thorough review process of the respective events, we believe that LIPIcs proceedings must have an attractive and consistent layout matching the standard of the series. Moreover, the quality of the metadata, the typesetting and the layout must also meet the requirements of other external parties such as indexing services, DOI registry, funding agencies, among others. The provided guidelines serve as the baseline for the authors, editors, and the publisher to create documents that meet as many different requirements as possible.Please comply with the following instructions when preparing your article for a LIPIcs proceedings volume. (See Instructions for Authors for more details.)
\section
, \subsection
, \subsubsection
, \paragraph
, \paragraph*
, and \subparagraph*
.\bibstyle{plainurl}
) for the bibliography.\hboxes
and any kind of warnings/errors with the referenced BibTeX entries.Please set the values of the metadata macros carefully since the information parsed from these macros will be passed to publication servers, catalogues and search engines. Avoid placing macros inside the metadata macros. The following metadata macros/environments are mandatory:
\title
and, in case of long titles, \titlerunning
.\author
one for each author, even if two or more authors have the same affiliation.\authorrunning
(abbreviated first names) and
\Copyright
(concatenated full author names)\ccsdesc
(ACM 2012 subject classification)\keywords
(a comma-separated list of keywords).\relatedversion
(if there is a related version, typically the "full version"); please make sure to provide a persistent URL, e.g., at arXiv.\begin{abstract}...\end{abstract}
.Generally speaking, please do not override the style defaults concerning spacing, font and color settings. To be more specific, a short checklist also used by Dagstuhl Publishing during the final typesetting is given below. In case of non-compliance with these rules, Dagstuhl Publishing will remove the corresponding parts of LaTeX code and replace it with the defaults. In serious cases, we may reject the LaTeX-source and expect the corresponding author to revise the relevant parts.
times
package is forbidden.)enumitem
and paralist
. (The enumerate package is preloaded, so you can use \begin{enumerate}[(a)]
or the like.)\noindent{\bf My Paragraph}
).\iffalse ... \fi
constructions. wrapfig
is not supported. natbib
package is not supported.) This is only a summary containing the most relevant details. Please read the complete Instructions for Authors for all details and don't hesitate to contact Dagstuhl Publishing (publishing@dagstuhl.de) in case of questions or comments.
Didn't find what you are looking for? Don't hesitate to leave us message at publishing@dagstuhl.de!
Please download the current version of the LIPIcs front matter style along with an example file:
In order to satisfy the standards of our series, please note that we expect an affiliation at least to contain a city and country (for locations in the United States also the state), so we usually don't support requests asking for removing this kind of information from an affiliation.
For organizations with multiple locations please choose the location where you have been most of the time physically when carrying out this work.
We hope that our completion of affiliations according to the above criteria facilitates the contacting of authors as well as the assignment of a work to individual locations, and - last but not least - serves the harmonization of affiliations across the entire volume.
At the beginning of the submission process, the submission system has only limited information about the actual authors of the article. But on each upload, the metadata of the paper (including authors) are updated. Before the publication, the authorized users are asked to confirm (or revise, if necessary) the metadata. In more detail:
\author
macros in your file.\author
macros in your LaTeX file and do a re-upload. If the error persists, please make sure that the \author
macros are contained in the top level of your main LaTeX file (outside \if
conditionals) and contain plain data (i.e. preferably no self-defined macros).Dagstuhl Publishing uses BibTEX
to format references. Thereby the BibTEX style plainurl is used for BibTEX processing (\bibliographystyle{plainurl}
).
DOI
(preferred) or URL
natbib
package is not supported by the current styles of Dagstuhl Publishing.)
\nocite{*}
is forbidden.
bbl-file only
or an inline-bibliography
is not sufficient.
Since the automatic extraction could fail or be faulty, the final version of metadata will be extracted by the Dagstuhl Publishing Team after the typesetting is done.
In any case we ask you to confirm/correct the metadata before the work is officially published!
\relatedversion{...}
may be used to denote a related version like a full version, extended version, or also a predecessor
usually published in a reliable repository like arXiv or HAL.
As all metadata should be self-contained, please add a persistent URL, e.g. \relatedversion{A full version of the paper is available at \url{...}.}
. This also simplifies the access for all readers. Additional to the URL, you might add a reference (\cite{...}
).
Metadata should be self-contained as they are not only part of the document / PDF but also extracted and stored in a machine-readable format along with the actual document.
Please note: As hosting on a (personal or university) webpage or in cloud storage is not really sufficient for durable / persistent file storage, we highly recommend to publish your document in a reliable repository like arXiv or HAL.
Please note that a subject classification contained in your LaTeX file may be considered invalid if we cannot literally match an entry from the 2012 ACM Computing Classification System in a \ccsdesc{...}
macro in your LaTeX file. (That can have many causes.)
To save you the trouble of a new upload, please find the "Search ACM Classifications"-input field in the upload form. There you can search for the corresponding valid classification. (By using the last part of the intended classification as a search term one usually ends up with a good pre-selection.)
Note that invalid classifications will automatically be removed from the LaTeX code during the final typesetting by Dagstuhl Publishing.
Total cost(entire volume) = max(n, floor(P/20)) * 60 EUR (net).
() "Main-text pages" are all contents except the title page with title, authors, affiliations, abstracts, ..... and the bibliography.
The editors check everything carefully and ask for minor changes, if necessary.
When approved, the volume will be officially published.
First note that there are no automatic actions triggered when the editor submission deadline has passed! You actually decide on when to hand over the volume to Dagstuhl Publishing. (However, if you miss the deadline, we cannot guarantee a timely publication.)
Your tasks here are:
As a publicly funded institution, we have to recover the costs of our publishing activities so that there is no competitive advantage over commercial providers. For the cost recovery we work with an article processing charge (APC), which currently is 60 EUR (net); for more details, see below (). This amount was set under the assumption that the average length of a paper does not substantially exceed 15 to 20 main text pages, i.e., number of pages after typesetting excluding title page and the bibliography.
Given the above, we suggest 20 main text pages as a page limit, which could for instance be in the form of 15 pages for the main body of paper plus up to 5 pages for appendices. Note that this is only a recommendation and it is up to the editors of the respective volume to decide on a policy regarding the page limit. Moreover, we expect a certain flexibility concerning any page limit (+/- 1 page) to avoid too much extra effort to harmonize style-compliant formatting and page limit for both authors and the Dagstuhl Editorial Office.
() When specifying a page limit please have in mind the following facts about our APC:
Total cost(entire volume) = max(n, floor(P/20)) * 60 EUR (net).
First note that the specified author submission deadline does not automatically trigger any actions (like closing the submission). However, it is the deadline communicated to the authors in E-mails generated by the system. Actually, you decide on when to close the submission manually.
The editor's tasks during paper submission are:
If you click on "Save and Finish Author Approval", we are notified about your request.
Then we check if the proposed changes can be implemented. (Do they comply with the standards of the series? Are there no consistency issues? Are there no technical limitations, e.g. charset problems, ...).
In case these checks are positive, we implement the changes both in the metadata (if necessary) AND in the LaTeX file.
In any case, even if we cannot make the requested changes, you will be informed by E-mail.
IMPORTANT!
Please note that only minor corrections should be done at this stage. Here, "minor" also refers to the total number of changes. (We have already had inquiries with 50 change requests, most of them typos. Although each request is minor, the implementation is time-consuming in sum.) Requests that exceed our processing capacities and thus endanger the timely publication of the whole volume may be rejected.
As soon as some authorized user (usually you or your co-authors, if any) finishes the approval request and submits it to Dagstuhl Publishing (this happens at the end of Step 2), we are notified about your request.
Then we check if the proposed changes can be implemented. (Do they comply with the standards of the series? Are there no consistency issues? Are there no technical limitations, e.g. charset problems, ...).
In case these checks are positive, we implement the changes both in the metadata AND in the LaTeX file.
In any case, even if we cannot make the requested changes, you will be informed by E-mail.
This macro sets the page header of odd pages, which is an abbreviated version of the concatenated author string. Sample usage:
\authorrunning{J.\,Q. Public, A.\,E. Access, and E. Example}
Please...
\,
as illustrated in the example\author
macrosDagstuhl Publishing uses BibTEX
to format references. Thereby the BibTEX style plainurl is used for BibTEX processing (\bibliographystyle{plainurl}
).
DOI
(preferred) or URL
natbib
package is not supported by the current styles of Dagstuhl Publishing.)
\nocite{*}
is forbidden.
bbl-file only
or an inline-bibliography
is not sufficient.
\ccsdesc{...}
is for classification information following the ACM 2012 Computing Classification System. Sample usage:
\ccsdesc{Theory of computation~Proof complexity} \ccsdesc{Theory of computation~Quantum complexity theory}
Please feel free to use our ACM 2012 Subject Finder to search for appropriate classifications and to generate the necessary LaTeX code.
Using this macro, you specify the copyright holder (appearing at the bottom of the title page) which is usually the team of authors. Sample usage:
\Copyright{John Q. Public, Adam E. Access, and Eve Example}
Please...
\author
macrosThis macro should be used to capture general (i.e. not author-specific) funding information.
If a funding can be clearly assigned to an author, please use the last part of the \author
macro instead.
Sample usage:
\keywords{Theory of Everything, indefinite Metrics, abstract Nonsense}
Please note:
\relatedversiondetails{...}
may be used to denote a related version like a full version, extended version, or also a predecessor
usually published in a reliable repository like arXiv or HAL. Sample usage:
\relatedversiondetails[cite={bibtex-reference}]{Full Version}{https://arxiv.org/abs/...}
As all metadata should be self-contained, please add a persistent URL to the cited version (as illustrated above). This also simplifies the access for all readers.
\supplementdetails{...}
may be used to denote supplements like related research data, source
code, posters, slides, ... hosted on a repository like zenodo, figshare, ..., Software Heritage.
Sample usage:
\supplementdetails[subcategory={Source Code}]{Software}{https://github.com/...}
The subcategory is free text, while the category (Software in the above example) must be one of the following words: Audiovisual, Collection, DataPaper, Dataset, Event, Image, InteractiveResource, Model, PhysicalObject, Service, Software, Sound, Text, Workflow, Other. (This is controlled vocabulary prescribed by our DOI provider.)
Please note: As hosting on a (personal or university) webpage or in cloud storage is not really sufficient for durable/persistent file storage, we highly recommend to publish your document in a reliable repository.
Didn't find what you are looking for? Don't hesitate to leave us message at publishing@dagstuhl.de!
Didn't find what you are looking for? Don't hesitate to leave us message at publishing@dagstuhl.de!
Feedback for Dagstuhl Publishing