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		Call for Workshop Proposals Workshops affiliated to CSL '09 will be held before and after the main conference, on September 5 and 6, and on September 12 and 13, 2009. Researchers and practitioners are invited to submit proposals for workshops on topics relating logic to computer science. Proposals should include: A short scientific summary and justification of the proposed topic. Proposed format and agenda. Proposed duration. Expected number of participants. Proposals and/or enquiries should be submitted by electronic mail in ASCII or PDF format to: José Carlos Espírito Santo: jes@math.uminho.pt Confirmed Workshops FICS'09 Gentzen centenary LINEARITY

Call for Workshop Proposals