7-11 Sep 2009
Coimbra, Portugal
Eighteenth Annual Conference on Computer Science Logic (CSL 09) Coimbra, Portugal September 7--11, 2009 http://www.mat.uc.pt/~csl/ 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. The Co-chairs of the Program Committee are E. Grdel and R. Kahle. The Co-chairs of the Organizing Committee are A. Almeida, R. Kahle, and P. Quaresma. For more information, visit the website.