Submitting papers |
Paper submission is closed. If you have already submitted a paper please visit this website for upload of your full paper version. Please note that full versions are due to 7. April! Papers have to be in either pdf or ps format. |
Deadlines | ||||||||
|
Call for Papers |
Note: A .pdf Version of the call is available here Call for Papers
Annual Conference of the European Association for CSL'03 & KGC 25 August afternoon - 30 August 2003, Vienna, Austria Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The Kurt Goedel Colloquium (KGC) is the biennial conference of the Kurt Goedel Society (KGS). The joint conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science. Suggested topics of interest include: automated deduction and interactive theorem proving; constructive mathematics and type theory; equational logic and term rewriting; fuzzy logic; modal and temporal logics; computational proof theory; description logics; linear logic; finite model theory; bounded arithmetic; logical aspects of computational complexity; higher order logic; logic programming and constraints; lambda and combinatory calculi; logical foundations of programming paradigms; model checking; specification, extraction and transformation of programs; categorical logic and topological semantics; game semantics; domain theory; database theory. CSL'03 will be colocated with the 2nd Annual Workshop of the European Research Training Network GAMES (Games and Automata for Synthesis and Validation) which will take place from 30th August to 2nd September. On Saturday, 30th August we will have joint events of CSL'03 and GAMES, such as tutorials by Igor Walukiewicz and Ahmed Bouajjani, and an invited talk by Helmut Veith. A lecture, jointly invited by CSL'03 & KGC and ESSLLI (European Summer School in Logic Language and Information) will be given by Sergei Artemov (CUNY, USA) Additional invited lectures will be given by:
The following tutorials are planned:
Accepted papers will be published in the conference proceedings (within the LNCS series of Springer), which will be available at the conference. Authors of accepted papers are expected to present their work at the conference.
Submitted papers must describe work not previously published. They
must not be submitted concurrently to another conference with refereed
proceedings. Research that is already submitted to a journal may be
submitted to CSL, provided that Submissions authored or coauthored by members of the Programme Committee are not allowed. Papers should preferably be submitted either in LNCS format or in 12pt A4 format. Papers should not exceed 14 pages; full proofs may appear in a technical appendix which will be read at the reviewers' discretion. The title page must contain: title and authors; physical and e-mail addresses; identification of corresponding author, if not the first author; an abstract of no more than 200 words; a list of keywords. The key dates for the conference are:
Submission: The submission process is in two stages, both with strict
deadlines: Notification: 2 June 2003 Final copy due: 18 June 2003 Prospective authors should check the conference Web page for any subsequent changes to these dates. |
© 2002-2003 Kurt Gödel Society, Norbert Preining. | 2004-10-12 |