Title: Proceedings of CSL'11 (Computer Science Logic 2011 - 25th International
Workshop/20th Annual Conference of the EACSL)
Editor: Marc Bezem
Series: LIPIcs (Leibniz International Proceedings in Informatics)
Volume: 12
Publisher: Schloss Dagstuhl - Dagstuhl Publishing
ISBN: 978-3-939897-32-3
== Access ==
Open access (online & free of charge) at
http://www.dagstuhl.de/dagpub/978-3-939897-32-3
You may also check the DBLP page at
http://dblp.uni-trier.de/db/conf/csl/csl2011.html
== About the CSL Conference ==
Computer Science Logic (CSL) is the annual conference of the European
Association for Computer Science Logic (EACSL). The conference series started in
1987 as a programme of International Workshops on Computer Science Logic, and
then in its sixth meeting (in 1992) became the Annual Conference of the EACSL.
See also:
* http://www.eacsl.org/csl11/
* http://www.eacsl.org/conferences.html
== About the Proceedings ==
The annual conference of the European Association for Computer Science Logic
(EACSL), CSL 2011, was held in Bergen, Norway, from 12 to 15 September 2011. CSL
started as a series of international workshops on Computer Science Logic, and
then at its sixth meeting became the Annual Conference of the EACSL. This
conference was the 25th workshop and 20th EACSL conference; it was organized by
the Department of Informatics of the University of Bergen.
The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in
Computer Science. The recipient of the Ackermann Award for 2011 is Benjamin
Rossman, and the award was officially presented at the conference (14
September). The citation of the award, an abstract of the thesis, and a
biographical sketch of the recipient may be found on page xv of the proceedings.
This is the first year that the CSL proceedings are not published as a Springer
LNCS but in the series LIPIcs. In response to the call for papers, a total of
116 abstracts were registered and 91 of these were followed by full papers
submitted to CSL 2010. The Program Committee (PC) selected 37 papers for
presentation at the conference and publication in these proceedings. Each paper
was assigned to four PC members. In the call for papers, authors were encouraged
to include a well written introduction. One of the four PC members for each
paper had the particular task to assess the accessibility of the introduction to
the computer science logic community at large. Also this year the overall high
quality of the submissions made that many good papers had to be rejected due to
lack of space. In addition to the contributed talks, CSL 2011 had four invited
speakers: Thomas Ehrhard (Université Paris Diderot), Martin Otto (Technische
Universität Darmstadt), Moshe Vardi (Rice University), Frank Wolter (University
of Liverpool). Abstracts of the invited talks are
included in the proceedings.
See also:
* Frontmatter incl. table of contents and preface:
http://dx.doi.org/10.4230/LIPIcs.CSL.2011.i
== About the LIPIcs Series ==
"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 of
Informatics". LIPIcs volumes are published according to the principle
of OpenAccess, i.e., they are available online and free of charge.
See also:
* http://www.dagstuhl.de/lipics/
--
Marc Herbstritt
Schloss Dagstuhl - Leibniz Center for Informatics
\\\/ Dagstuhl Publishing | LIPIcs Editorial Office
Email: publishing@dagstuhl.de
http://www.dagstuhl.de/lipics
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
