Note: A .pdf Version of the call is available
Call for Papers
Annual Conference of the European Association for
Computer Science Logic
8th Kurt Gödel Colloquium
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:
- Bruno Buchberger (Johannes Kepler University, Austria)
- Dov Gabbay (King's College London, England)
- Helmut Veith (Vienna University of Technology, Austria)
- Nikolai Vorobjov (University of Bath, England)
- Andrei Voronkov (University of Manchester, England)
The following tutorials are planned:
- Verification of infinite state systems
(Ahmed Bouajjani, University of Paris 7, France) (joint event with GAMES)
- Computational epsilon calculus
(Georg Moser, University of Muenster, Germany, and
Richard Zach, University of Calgary, Canada)
- Quantifier elimination (Nikolai Vorobjov, University of Bath, England)
- Winning strategies and controller synthesis
(Igor Walukiewicz, University of Bordeaux, France) (joint event with GAMES)
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
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.
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
31 March 2003 for the title and abstract, and
7 April 2003 for the full text.
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.