Minutes of the Meeting of
Coimbra, September 10, 2009, 18:30-20:30
Mathias Baaz (PC Member CSL'09, Chair of the meeting),
Anuj Dawar (PC Member CSL'09),
Jose Espirito Santo,
Reinhard Kahle (PC Member CSL'09, Organizer CSL'09),
Janos Makowsky (Board of EACSL, president),
Simone Martini (PC Member CSL'09),
Damian Niwinski (Board of EACSL, vice-president),
Simona Ronchi della Rocca,
Thomas Schwentick (PC Member CSL'09),
Helmut Veith (PC Member CSL'09)
Confirmation of agenda.
Approved by acclamation.
Choice of chair of meeting.
Proposal: M. Baaz (Vienna)
Approved by acclamation.
Choice of secretary (Minutes of the meeting)
Proposal: U. Berger (Swansea).
Approved by acclamation.
Report on General Meeting 2008 and Accounting
Minutes of 2008 .
Resolution: Acceptance of Minutes of 2008
Accounting 2008 ,
Signed report 2008 ,
Financial report 2008 .
The financial report was checked and confirmed by the
accountants A. Blumensath and J. Adamek. The written
confirmation was sent to T. Schwentick.
The accountants confirmed this by sending an e-mail
to the president.
Resolution on acceptance and discharge of the board
- Election of accountants for 2009:
A. Blumensath and J. Adamek
Resolution on accountants.
A. Blumensath and J. Adamek were elected unanimously
as accountants for the next year.
Changes of the board of EACSL:
The Board of the Association consists of the President, the
Vice-President and at least 7 but not more than 10 other members.
Current members and duration of term.
L. Beklemishev and B. Courcelle offered to free their seats
D. Niwinski and J.A. Makowsky come to the end of their terms.
- L. Beklemishev, Moscow, Russian Federation, 2010
- M. Bezem, Publicity chair, Bergen, Norway, 2013
- B. Courcelle, Bordeaux, France, 2010
- A. Dawar, Cambridge, England, 2013
- Z. Esik, Szeged, Hungary, 2010 (EATCS)
- B. Loewe , Amsterdam, The Netherlands, 2011 (CiE)
- J. Makowsky President, Haifa, Israel, 2009
- D. Niwinski Vice-President, Warsaw, Poland, 2009
- L. Ong , Oxford, UK, 2011
- T. Schwentick Treasurer, Dortmund, Germany, 2010
- H. Veith Darmstadt, Germany, 2013
- G. Winskel, Cambridge, UK, 2010 (LiCS)
The assembly thanked the parting members for their services
on the board and the Jury.
Election of new members:
Proposed candidates: Reinhard Kahle (Lisbon, Portugal),
Simona Ronchi della Rocca (Torino, Italy),
Janos Makowsky (Haifa, Israel).
Each candidate was voted separately.
All three candidates were accepted unanimously.
Election of president and vice-president for 2010-2014:
President: Damian Niwinski. Vice-president: Anuj Dawar.
Each candidate was voted separately.
Both candidates were accepted unanimously.
J.A. Makowsky reminds the old and new members of the board of the importance
of showing interest and active participation in important issues
such as publication.
Jury of the Ackermann Award 2009
R. Alur (Philadelphia),
J. van Benthem (Amsterdam)
P.-L. Curien (Paris),
A. Dawar (Cambridge),
A. Durand (Paris),
M. Grohe (Berlin),
M. Hyland (Cambridge),
J.A. Makowsky (Haifa, President of EACSL),
G. Plotkin (Edinburg, LICS Organizing Committee),
A. Razborov (Moscow and Princeton).
The jury is appointed by the board.
Comments and Discussion: J.A. Makowsky emphasized the importance of
impartiality of the jury. As president of the EACSL he did not vote
in this year's decision. He also pointed out that the success of the
Ackermann Award is mainly due to the prestigeous jury and its
good communication. The jury also was careful to avoid a candidate
getting 2 prizes.
Sponsorship of the Ackermann Award
Comments and Discussion:
The support by LOGITECH (which is running out) was acknowledged.
Sponsorship by the Kurt Gödel Society:
M. Baaz, vice president of the KGS, announced that future support
for the AW will be provided by the KGS. The KGS will invite the winner
(resp. one of the winners if there are two) to Vienna.
Initially, support by the KGS will last for 3 years, but
M. Baaz expects this to continue further.
The assembly applauded M. Baaz and the
Kurt Gödel Society for this.
Report on CSL'09
presented by R. Kahle.
CSL'09 was colocated with PPDP and LOPSTR.
There were 3 associated workshops (FICS, Gentzen centenary, LINEARITY)
[the workshops were on the day after the AGM (remark by the secretary)].
Registration: 78 registered for CSL, among those
5 for CSL+PPDP+LOPSTR,
7 for CSL+PPDP,
1 for CSL+LOPSTR.
Invited speakers: There were 5 invited speakers funded by Portuguese
research centres from Braga (1), Porto (1), Lisbon (3), Coimbra (2).
There was also support by the KGS.
Paper submission and acceptance:
122 abstracts, of which 89 were followed by full papers.
35 papers were accepted.
Presentation: All invited and all but one contributed papers were presented at
the conference. Invited talks lasted 1 hour, contributed talks 30 minutes.
There were also 5 non-refereed informal presentations of 20 minutes each.
The informal presentations are new to CSL.
All times include 5 minutes for discussion.
Publication: The invited and contributed papers were published
in Springer LNCS volume.
The board has accepted an offer by LMCS to publish a special issue
of selected papers.
Discussion: What can we do to increase attendance?
Although figures are slightly up against CSL'08 there is
still a need to explore possibilities of increasing attendance
at future CSL conferences.
Introduce non-refereed contributed communications
to be presented in compact parallel sessions
(10 minutes + 5 minutes discussion)
not included in the published proceedings but
listed on the conference web-page.
Their main purpose is to allow presentation of
This year's informal presentations were considered successful,
but they were not really informal and 20 minutes was too long.
- recent PhDs,
- papers already accepted at other conferences, or journals,
- work in progress,
- work of PC members.
- Proposal (under discussion with LiCS):
Allow submissions of regular papers to be authored or co-authored by PC members.
Discussion heated but majority slowly emerging against.
EACSL position till now:
NO submissions of PC members, NO invited speakers from the board.
- Avoid time clashes with other conference. I.p. the date should not be
too close to LICS. Also avoid overlapping
of deadlines for abstracts and full papers with other conferences.
The assembly thanked Reinhard Kahle and his colleagues for
an excellent organization of CSL'09.
- CSL'10 (D. Niwinski):
There was a short discussion about the conference fee which was
considered too high by some.
- CSL 2010, 23-27 August:
Brno (Czech Republic) together with
MFCS 2010 .
PC CSL'10 and
Inivited speakers CSL'10.
- Currently, 7 associated workshops are registered (before and after the
- There will be 5 joint plenary lectures (CSL and MFCS).
- Only few parallel sessions are planned.
- The conference fee will be 400-450 Euros for both conferences.
- There will be a special package for students which includes
- CSL'11, CSl'12 and CSL'13 :
Discussion and call for of proposals.
- 2011: Bergen, Norway (M. Bezem)
- Conference relevant information about
Bergen: climate, travel (airport only 15 km away),
- Past experience: Calco 2007 (90 participants), WG 2006 (70),
ALGO 2004 (300), SWAT workshop. Those conferences were mainly
organized by the algorithms group, the largest CS group in Bergen.
- Risk analysis: Small organising committee, high conference fee,
- 2012: suggestions (Turing Centenary):
Darmstadt, Torino, Belgium, Manchester/Leeds.
- 2013: Together with CAV (and possibly with CSR)
in St. Petersburg (Russia).
The current situation of EACSL (J.A. Makowsky)
- Proceedings in the future.
Shall we stay with Springer?
STACS decided not to. Alternatives.
Discussion: No immediate decision needed,
but we need feedback from the basis. There was a heated and controversial
discussion on this question. Here are some arguments and opinions
that were put forward:
At the end of the discussion there was a vote:
- There is a choice between profit and non-profit.
- The main issue is accessibility after 20 years.
Springer promises proper archivation.
- LPAR submissions have not suffered from change.
Quality is due to PC and not to publisher.
- Maybe it is better to wait. The decision should be a decision
of the whole [logic and computer science] community.
- We need to have a clear idea of the value of a conference.
Currently, conference proceedings do not count for bibliometric data.
A change is necessary.
- Since LNCS is not a journal it does not appear on important listings
(e.g. Thompsons and Reuters).
- Why not use the Dagstuhl server DROPS? (as STACS does)
- User the Dagstuhl series
Many join LIPI.
- ETAPS will stay with Springer.
- We have to go away eventually, the question is whether now or later.
The change is happening.
- leave Springer now (10),
- stay for one more year (3),
- the rest abstained.
Cooperation with electronic journal LMCS (Logical Methods in
President of EACSL is on the scientific board
Publish special issue with selected papers from CSL08
Cooperation with CiE (Computability in Europe),
a series of conferences
initiated by B. Cooper (Leeds),
and B. Loewe (Amsterdam).
EACSL is an official sponsor of CiE-0x since 2007.
EACSL did contribute to cost of and co-selects one invited speaker
in 2007, but not in 2008 and 2009, due to lack of funds.
Cooperation with LICS
- Cooperation with FOLLI and ESSLI.
We did approach FOLLI to have a CSL-track at ESSLLI
and further cooperation.
- Scientific council of EACSL.
The council still has to be reorganized (as already stated in 2007)..
It contains a list of people who even are not aware of
The scientific council is an advisory body.
Former board members are for five more years on the
council. Other members should be chosen by the EACSL board.
The scientific council should participate in discussions
initiated by the board. They can also initiate discussion
on topics of their choice.
- Fees and membership of EACSL
We decided last year to add to the 10 EURO annual membership
a 10 EURO contribution for the Ackermann Award.
So in the future 20 EURO per participant are paid to EACSL.
We have to work out a way to distinguish
non-members from members at registration.
Collecting fees from non-attending previous members.
We shall try to encourage previous members
to renew their membership (10 EURO per year, 40 EURO for 5 years)
and to allow for electronic payment of membership.
The contribution to Ackermann Award for non-attending
members is on a voluntary basis.
Electronic payment of membership for non-attendees.
The future of EACSL
No discussion was held due to the lack of time.
At the end of the meeting the chairman, M. Baaz, thanked J.A. Makowsky for his excellent work
for EACSL and pointed out that during his presidency
the activities of EACSL increased dramatically.
The assembly applauded J.A. Makowsky.
Signed: J.A. Makowsky and U. Berger