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, CSL 2009: 18th Conference on Computer Science Logic, 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 invited speakers include: M. Bojanczyk, T. Coquand, M. Grohe, Y. Moschovakis, and P. Oliva. A special session on the life and work of Stephen Kleene also is planned: 2009 marks the centennial of his birth.

For more information, see http://www.mat.uc.pt/~csl/

The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline for abstracts is 30 March, 2009.

Please note that this newsitem has been archived, and may contain outdated information or links.