Computer Science Logic 2006
25-29 September, 2006, Szeged, Hungary


General Information
Conference photos
Automata Workshop photos
Call for Papers
Call For Workshops
Invited Speakers
Program Committee
Paper Preparation and Submission
Programme (22 Sep)
Workshops
Conference Site
The Host City
Participation
Equipments for speakers
Internet Access
Social Programme
Accommodation
Travel Information
Sponsors
CSL06 Poster
The map of Szeged
Currency Converter
Weather in Szeged
Ackermann Award
Ackermann Award 2007
Proceedings LNCS 4207


Address:
CSL'06
Department of Computer Science
University of Szeged
P.O.B. 652
6701 Szeged, Hungary

phone:
+36 62 544 289 or
+36 62 544 205
fax:
+36 62 544895 or
+36 62 546397

e-mail:
csl06@inf.u-szeged.hu
 Last modified: Thursday 15th June 2006, 09:50 Printable version 

CSL 2006 Call For Workshop Proposals

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 Szeged.

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:

Sandor Vagvolgyi
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.

Important dates:
November 15, 2005: Workshop proposals
December 1, 2005: Acceptance decisions

CSL 2006 Web site: http://www.inf.u-szeged.hu/~csl06/