Second Call For Papers: Computer Science Logic 2002 (CSL'02)

[ There is a PostScript copy of this Call at
  for display on notice boards.                                         ]

Please note the two stage submission procedure: intentions to submit
(with title, authors and abstract) are required by 29 March; full
submissions are required by 7 April.

                          Call for Papers

            Annual Conference of the European Association for
                        Computer Science Logic


                 22--25 September 2002, Edinburgh, UK

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

The following will deliver invited lectures:
 Susumu HAYASHI (Kobe), on "Limit-Computable Mathematics and its Applications"
 Frank NEVEN (Limburg), on "Foundations of Query Languages for XML"
 Damian NIWINSKI (Warsaw), on mu-calculus

The proceedings of the conference will be published in the Springer
Lecture Notes in Computer Science series.

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

The key dates for the conference are:

   Submission: The submission process is in two stages, both with
               strict deadlines:
               29 March 2002 for the title and abstract, and
                7 April 2002 for the full text.

   Notification: 2 June 2002

   Final copy due: 21 June 2002

Intending authors should check the conference Web page for any
subsequent changes to these dates.

Further information on all aspects of the conference will be found on
the conference Web page:


Programme Committee:
      Thorsten Altenkirch (U. Nottingham);
      Rajeev Alur (U. Pennsylvania);
      Michael Benedikt (Bell Labs);
      Julian Bradfield (U. Edinburgh (Chair));
      Anuj Dawar (U. Cambridge);
      Yoram Hirshfeld (U. Tel Aviv);
      Ulrich Kohlenbach (U. Aarhus);
      Johann Makowsky (Technion Haifa);
      Dale Miller (Pennsylvania State U.);
      Luke Ong (U. Oxford);
      Frank Pfenning (Carnegie Mellon U.);
      Philippe Schnoebelen (ENS Cachan);
      Luc Segoufin (INRIA Rocquencourt);
      Alex Simpson (U. Edinburgh);
      Thomas Streicher (T.U. Darmstadt).

[ Note on mailing lists. The To: header in each copy of this message
  contains the entry in our mailing list to which it was sent.
  If you wish the entry to be removed from our list, or have any problem
  with the mail, please contact csl02+calls@dcs.ed.ac.uk .
  For convenience in deleting duplicates, all copies of this message
  have the same message-id of <CSL02-cfp1@dcs.ed.ac.uk> .