CSL 09

18th EACSL Annual Conference on Computer Science Logic

7-11 September 2009

Coimbra, Portugal

Call for Workshop Proposals

Workshops affiliated to CSL '09 will be held before and after the main conference, on September 5 and 6, and on September 12 and 13, 2009.

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.
  • Expected number of participants.
Proposals and/or enquiries should be submitted by electronic mail in ASCII or PDF format to:
José Carlos Espírito Santo: jes@math.uminho.pt

Confirmed Workshops