Friday, September 14, 2012

[DMANET] CSL'12 Proceedings published open access (LIPIcs,Vol.16)

= Book Announcement =

Title: Proceedings of CSL'12 (Computer Science Logic 2012 - 26th International
Workshop/21st Annual Conference of the EACSL)
Editors: Patrick Cégielski and Arnaud Durand
Series: LIPIcs (Leibniz International Proceedings in Informatics)
Volume: 16
Publisher: Schloss Dagstuhl - Dagstuhl Publishing
ISBN: 978-3-939897-42-2

== Access ==

Open access (online & free of charge) at

http://www.dagstuhl.de/dagpub/978-3-939897-42-2

You may also check the DBLP page at

http://www.dblp.org/db/conf/csl/csl2012.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://csl2012.lacl.fr/
* http://www.eacsl.org/conferences.html

== About the Proceedings ==

The annual conference of the European Association for Computer Science Logic
(EACSL), CSL 2012, was held in Fontainebleau, France, from 3 to 6 September
2012. CSL started as a series of international workshops on Computer Science
Logic, and became at its sixth meeting the Annual Conference of the EACSL. This
conference was the 26th workshop and 21th EACSL conference; it was organized by
the Department of Computer Science of the Institut Universitaire de Technologie,
IUT, of the university Paris Est Créteil (UPEC). The Ackermann Award is the
EACSL Outstanding Dissertation Award for Logic in Computer Science. This year,
the jury decided to give the Ackermann Award for 2012 to two recipients : Andrew
Polonsky and Szymon Torunczyk. The awards were officially presented at the
conference (September, 4). The citation of the awards, an abstract of the
thesis, and a biographical sketch of the recipients written by Thierry Coquand,
Anuj Dawar and Damian Niwinski may be found in the proceedings.

This is the second year that the CSL proceedings are not published as a Springer
LNCS but in the LIPIcs series. A total of 102 abstracts were registered and 80
of these were followed by full papers submitted to CSL 2012. After a two weeks
electronic meeting, the Program Committee (PC) selected 35 papers for
presentation at the conference and publication in these proceedings. Each paper
was assigned to at least three PC members. In the call for
papers, authors were encouraged to include a well written introduction
accessible to a general audience in computer science logic. The program
committee has paid a careful attention to assess the merits of the submissions
regarding this criterion too.

The overall quality of the submissions was really high. The program committee
did not fix a strict a priori limit on the number of accepted papers and wished
to accept as many good papers as possible. However, at the end some of them had
to be rejected due to lack of space. In addition to the contributed talks, CSL
2012 had four invited speakers: Serge Abiteboul (Collège de France, INRIA Saclay
and ENS Cachan) Stephen A. Cook (University of Toronto), Inês Lynce (Technical
University of Lisbon), Johann A. Makowsky (Technion, Haifa). 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.2012.i
* http://www.dagstuhl.de/dagpub/978-3-939897-42-2

== 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-Zentrum für
Informatik". 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/

--
Dr. 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/
*
**********************************************************