Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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

Date: 7-11 September 2009
Location: Coimbra, Portugal
Deadline: 30 March 2009

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

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.