18th EACSL Annual Conference on Computer Science Logic
7-11 September 2009
Computer Science Logic (CSL) is the annual conference
of the European Association for Computer Science Logic
The conference is intended for computer scientists whose research
activities involve logic, as well as for logicians working on
issues significant for computer science.
CSL'09, the 18th annual EACSL conference will be organized at the Department of Mathematics of the University of Coimbra with support of the following Portuguese Research Centers:
CSL'09 is sponsored by:
ASL sponsorship of CSL'09 will permit student ASL members to apply for modest a travel grant.
See here for