Minutes of the Meeting of EACSL, 2014
Berlin, 8 September 2015, 20.00
Present (25 persons)
James Brotherston, Witold Charatonik, Anuj Dawar, Dan Ghica, Erich Grädel,
Lauri Hella, Emanuel Kieronski, Stephan Kreutzer, Dietrich Kuske, Antti Kuusisto,
Martin Lange, Markus Lohrey, Damiano Mazza, Fabio Mogavero, Angelo Montanari,
Wied Pakusa, Daniela Petrisan, Luigi Santocanale, Ulrich Schöpp, Jean-Marc Talbot,
Dmitriy Trayfel, Jonni Virtema, Heribert Vollmer, Piotr Witkowski, Tim Willemse
(1) Confirmation of agenda
(2) Choice of secretary (Minutes of the meeting)
- Proposal: Wied Pakusa
- Approved by acclamation.
(3) Report on General Meeting 2014 and Accounting
(3a) Minutes of 2014
- The financial report was presented by Markus Lohrey and earlier
checked and confirmed by the accountants Achim Blumensath and Christof
Löding. The written confirmation was sent to Markus Lohrey.
- Due to German tax regulations, there is an obligation to further
reduce the assets which already declined in 2014.
- In 2014, the membership fees were not collected and
retained by VSL 2014 as part of the EACSL sponsorship of
- Resolution on acceptance of the report and discharge of the board.
- Approved unanimously.
(3c) Election of accountants for 2015
- Proposed candidates: Achim Blumensath and Christof Löding.
- Resolution on accountants.
- Achim Blumensath and Christof Löding were elected unanimously.
(4) Changes of the Board of EACSL
- Glynn Winskel has served 10 years as the representative of the LICS
organising committee on the board of the EACSL. Motion of thanks for
his service on the board.
- It is now proposed that the position on the board be replaced with a
representative of SigLOG. SigLOG has nominated Catuscia Palamidessi
for this role. Motion to elect Catuscia Palamidessi to the EACSL
board for five years.
- Approved unanimously.
- Reinhard Kahle was appointed as EACSL publicity chair in 2013.
However, his term on the board has come to an end. Motion to elect
Reinhard Kahle to the board until 2018.
- Approved unanimously.
(5) Report on the Ackermann Award 2015
- The report was presented by Anuj Dawar.
- The jury consisted of: Thierry Coquand; Anuj Dawar;
Dexter Kozen (SigLOG); Orna Kupferman; Daniel Leivant; Luke Ong;
Jean-Eric Pin; Simona Ronchi Della Rocca.
- 10 nominations for the Ackermann Award were received in 2015.
- The decision proved difficult, and the jury was divided.
In the end, the jury decided to give the award jointly to
Hugo Férée and Mickael Randour.
(6) Report on CSL 2015
Report from Local Organizers and
Program Committee, presented by Stephan Kreutzer (PC chair of CSL 2015).
Summary: 99 submitted abstracts, 77 submitted papers, 39 accepted papers,
86 external reviewers, 95 external reviews, 242 reviews in total,
75 registered participants.
Comparison with previous years: Number of submissions slightly below average,
but most of the submitted papers were of high quality.
The number of participants was similar to that in previous years,
with 75 registered participants, not including locals.
It was reported that the choice of having a selective rebuttal procedure
proved successful: two papers were withdrawn due to flaws found by the PC,
and some papers were accepted, since the authors could convince the PC during
the rebuttal phase.
- Thanks to the local organizers.
- The Chairman thanked the PC chairs and PC members for their hard work.
(7) Future CSL Conferences
- CSL 2016: Report on preparations for
the conference in Marseille.
Presentation by Jean-Marc Talbot.
The Program Committee is appointed.
- At the moment, there are two proposals for CSL 2017 (Birmingham
- CSL 2017/18 (Proposal I): Presentation by Dan Ghaci on the proposal
to hold the conference in Birmingham (either in 2017 or in 2018, but
2017 is preferred).
- CSL 2017 (Proposal II):
Presentation by Anuj Dawar
on the proposal to have a joint conference with the ASL Logic Colloquium
in Stockholm. It is intended to have one day of overlap and to
offer common tutorials.
Concerns that the scheduled date (mid of August) might be problematic
Divided opinions of whether there will be a fruitful interaction between
the participants of the Logic Colloquium and CSL.
Discussion on ways to stimulate interaction.
A consultative vote was held with eight members in favour of
accepting the proposal from Stockholm and six voting in favour
of Birmingham for 2017.
The Chairman will inform the Board about the feedback.
The final decision will be taken by the Board.
(8) The current situation of EACSL
Relationship with EATCS and SigLOG: reciprocal agreement on
membership discounts is now in effect.
Report on ESSLLI courses: intentions to extend the sponsorship
of courses. A formal mechanism is now in place for listing
EACSL sponsorship in the call for proposals and consulting the
board on the selection of the course that is sponsored.
Report by Anuj Dawar on the proposed new Alonzo Church
Award. This prize is to
be awarded annually by EACSL in cooperation with SigLOG, EATCS, and the
Kurt Gödel Society, to the authors of a distinguished and influential
paper or group of papers which was published within the last 20 years (the plan
is to award 2000$, probably starting from 2016).
Once every three years, the prize will be awarded at the CSL conference.
Publication of proceedings: report on a renewed five-year contract for
publishing the proceedings in LIPIcs, after the interruption
occasioned by the joint CSL-LICS conference in 2014.
Discussion about providing printed versions of the proceedings (the
decision is up to the local organisers of CSL).
Most of the present participants prefer to get a digital copy only.
(9) Any Other Business