Computer Science Logic 2009 (CSL '09) in Coimbra, Portugal


CSL 09 18th EACSL Annual Conference on Computer Science Logic 7-11 September 2009 Coimbra, Portugal
General Information Important Dates Venue Conference Programme Timetable Informal Presentations Invited Speakers Accepted Papers Ackermann Award Kleene Centenary Programme Committee Call for Papers Submissions Co-located conferences PPDP'09 LOPSTR'09 Associated Workshops FICS'09 Gentzen centenary LINEARITY Registration Local Organization Location Travel Information Accommodation Organizing Committee Sponsors Previous Conferences Contact		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: CENTRIA, Centre for Artifical Intelligence, New University of Lisbon CISUC, Centre for Informatics and Systems of the University of Coimbra CITI, Center for Informatics and Information Technologies, New University of Lisbon CMAF, Centro de Matemática e Aplicações Fundamentais, University of Lisbon CMAT, Centre of Mathematics, University of Minho CMUC, Centre for Mathematics, University of Coimbra LIACC, Artificial Intelligence and Computer Science Laboratory, University of Porto SQIG, Security and Quantum Information Group, Instituto de Telecomunicações, Technical University of Lisbon and the KGS, Kurt Gödel Society, Vienna. CSL'09 is sponsored by: The Fundação para a Ciência e a Tecnologia (FCT). The Fundação Luso-Americana (FLAD). The Association for Symbolic Logic.