The Coq mailing list

[csl03 <csl03 AT logic.at>]

[ We apologize for the inevitable multiple copies of this announcement. ]

[ There is a PDF copy of this Call at
    http://www.logic.at/csl03/CSL03-cfp.pdf
  for display on notice boards.                                         ]


                       Second Call for Papers

            Annual Conference of the European Association for
                        Computer Science Logic
                                and
                    8th Kurt Goedel Colloquium

                           CSL'03 & KGC

         25 August afternoon - 30 August 2003, Vienna, Austria


                    http://www.logic.at/csl03/


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 and GAMES, such as
tutorials by Igor Walukiewicz and Ahmed Bouajjani, and an invited talk by
Helmut Veith.  For further information, see  www.games.rwth-aachen.de


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)
                                            (joint event with GAMES)
  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
conference.

Submitted  papers  must  describe  work  not previously published.   They
must not be  submitted simultaneously 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
               deadlines:
                    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

For further information see   http://www.logic.at/csl03/

Programme Committee:
  Matthias Baaz (chair)
  Arnold Beckmann
  Lev Beklemishev
  Agata Ciabattoni
  Maarten de Rijke
  Christian Fermueller
  Didier Galmiche
  Harald Ganzinger
  Erich Graedel
  Petr Hajek
  Martin Hyland
  Reinhard Kahle
  Helene Kirchner
  Daniel Leivant
  Johann Makowsky (co-chair)
  Jerzy Marcinkowski
  Franco Montagna
  Robert Nieuwenhuis
  Michel Parigot
  Jeff Paris
  Helmut Schwichtenberg
  Jerzy Tiuryn