Please note that this newsitem has been archived, and may contain outdated information or links.
7-11 September 2009, Computer Science Logic 2009 (CSL'09), Coimbra, Portugal
Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). 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
The Ackermann Award for 2009 will be presented to the recipients at CSL'09.
Early registration deadline is 31 July, 2009. For more information, see http://www.mat.uc.pt/CSL09 or contact csl at mat.uc.pt
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline (title & abstract) is 30 March, 2009.
Please note that this newsitem has been archived, and may contain outdated information or links.