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

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
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		Organizing Committee Ana Almeida, Coimbra, CISUC (Co-Chair) Sabine Broda, Porto, LIACC José Carlos Espírito Santo, Braga, CMAT Mário Florido, Porto, LIACC Gonçalo Gutierres, Coimbra, CMUC Reinhard Kahle, Lisbon, CENTRIA (CMUC, CMAF) (Co-Chair) Isabel Oitavem, Lisbon, CMAF Pedro Quaresma, Coimbra, CISUC (Co-Chair) João Rasga, Lisbon, SQIG Carlota Simões, Coimbra

Organizing Committee