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		Contact Please contact us by e-mail: csl@mat.uc.pt. Conference address: CSL'09 c/o Prof. Pedro Quaresma Departamento de Matemática Universidade de Coimbra Apartado 3008 P-3001-454 Coimbra Portugal

Contact