Computer Science Logic (CSL) is the annual conference series of the
European Association for Computer Science Logic (EACSL).
The 15th Annual Conference, CSL 2006, will take place in Szeged,
Hungary, from September 25 to September 29, 2006. It will be organized by
the Department of Foundations of Computer Science at the University of
Workshops affiliated to CSL 2006 will be held before and after the main
conference, on September 23 and 24, and on September 30 and
October 1, 2006.
Researchers and practitioners are invited to submit proposals for
workshops on topics relating logic to computer science.
Proposals should include:
- A short scientific summary and justification of the proposed topic.
- Proposed format and agenda.
- Proposed duration.
- Procedures for selecting participants and papers.
- Expected number of participants.
- Potential invited speakers.
- Plans for dissemination (e.g. proceedings, journal special issue).
Workshop organizers are expected to be present during their workshops.
Full proposals are due November 15, 2005 and will be evaluated
by the CSL 2006 Workshop Committee on the basis of their assessed benefit
for prospective participants of CSL 2006. Acceptance decisions will be
made by December 1, 2005. The members of the Workshop Committee are:
Matthias Baaz (Vienna), Damian Niwinski (Warsaw) and
Sandor Vagvolgyi (Szeged, chair),
Proposals and/or enquiries should be submitted by electronic
mail in ASCII, PDF or postscript format to:
CSL 2006 Workshop Chair
Email: vagvolgy at inf.u-szeged.hu
The titles and brief information related to accepted workshop proposals
will be included in the conference program and advertised in the Call for
Participation. Workshop organizers will be responsible for producing a
Call for Papers, web site, reviewing and making acceptance decisions on
submitted papers, collecting funds for invited speakers, and
scheduling workshop activities in consultation with the local organizers.
November 15, 2005:
December 1, 2005:
CSL 2006 Web site: http://www.inf.u-szeged.hu/~csl06/