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.
LIPIcs volumes are published according to the principle of OpenAccess, i.e., they are available online and free of charge. Schloss Dagstuhl institutes an Editorial Board to assure the high scientific quality of the series by overseeing the selection of the conferences to be included.
For detailed information, please refer to the announcement of the series.
LIPIcs is published on DROPS (Dagstuhl Research Online Publication Server). Technical and adminstrative details can be found on the DROPS webpages.
Please visit the LIPIcs webportal to access the available volumes of LIPIcs.
An overview of the conference whose proceedings are published in LIPIcs is available here: Which conferences are included in LIPIcs?
- Vol. 39: Hugo Herbelin, Pierre Letouzey, and Matthieu Sozeau (Eds.), "20th International Conference on Types for Proofs and Programs (TYPES 2014)", published October 2015.
- Vol. 41: Stephan Kreutzer (Eds.), "24th EACSL Annual Conference on Computer Science Logic (CSL 2015)", published September 2015.
- Vol. 42: Luca Aceto and David de Frutos Escrig (Eds.), "26th International Conference on Concurrency Theory (CONCUR 2015)", published August 2015.