Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Computer Science Logic 2009 (CSL '09) in Coimbra, Portugal
[go: Go Back, main page]


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