September 22-25, 2002, Edinburgh, Scotland

Call for Papers

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The 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, linear logic, logical aspects of computational complexity, finite model theory, higher order logic, logic programming and constraints, lambda and combinatory calculi, logical foundations of programming paradigms, modal and temporal logics, model checking, functions of program development (specification, extraction, transformation...), categorical logic and topological semantics, domain theory, database theory.

The proceedings will be published in the Springer Lecture Notes in Computer Science. Papers accepted by the Programme Committee must be presented at the conference by one of the authors, and final copy prepared according to Springer's guidelines.

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 (a) the PC chair is notified in advance that this is the case, and (b) it is not scheduled for journal publication before the conference. Papers 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 15 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 submission deadline is in two stages, both of which are strict. Titles and abstracts must be submitted by 29 March 2002 and full papers by 7 April 2002. Notifications of acceptance will be sent by 2 June 2002, and final versions are due 29 June 2002. Electronic submissions via the Web are strongly encouraged: a submission server will be available from 15 March. Authors who require earlier submission should send a PostScript file (preferably gzipped and either uuencoded or MIME-attached) to csl02+submit@dcs.ed.ac.uk.

Home | Call for Papers | Programme Committee | Scientific Programme | Conference Arrangements | Photos

Last modified: Sat Mar 9 17:57:05 GMT 2002