AMAST Mail - December 1999
[Prev][Next][Index]

2nd CALL FOR PAPERS -- CSL 2000 (revised)

(Revised version including a paragraph on grants).
Apologies for multiple copies...


                2nd CALL FOR PAPERS -- CSL 2000

                    Annual Conference of the
        European Association for Computer Science Logic

        Fischbachau/Munich, Germany, August 21-26, 2000

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, but not exclusive, topics of interest are:

* automated deduction and interactive theorem proving
* categorical logic and topological semantics
* constructive mathematics and type theory
* domain theory
* equational logic and term rewriting
* finite model theory, database theory
* higher order logic
* lambda and combinatory calculi
* logical aspects of computational complexity
* logical foundations of programming paradigms
* logic programming, constraints
* linear logic
* modal and temporal logics
* model checking
* program extraction
* program logics and semantics
* program specification, transformation and verification

GUREVICH SYMPOSIUM

During the CSL 2000 a symposium to celebrate Yuri Gurevich's
achievements in the intersection of Computer Science and Logic will
take place.

INVITED SPEAKERS

Miklos Ajtai (Almaden), Paul Beame (Washington),
Andreas Blass (Ann Arbor), Egon B"orger (Pisa),
Yuri Gurevich (Seattle), Bruno Poizat (Lyon),
Wolfram Schulte (Seattle), Saharon Shelah (Jerusalem),
Colin Stirling (Edinburgh).

PROGRAM COMMITTEE

Edmund Clarke (Pittsburgh), Peter Clote (M"unchen),
Kevin Compton (Ann Arbor), Laurent Fribourg (Cachan),
Erich Gr"adel (Aachen), Gerhard J"ager (Bern),
Klaus Keimel (Darmstadt), Jan Willem Klop (Amsterdam),
Jan Krajicek (Praha), Daniel Leivant (Bloomington),
Tobias Nipkow (M"unchen), Helmut Schwichtenberg (M"unchen),
Moshe Vardi (Houston).

SPONSORS

Siemens AG, Fast e.V., M"unchener Universit"atsgesellschaft e.V.

PAPER SUBMISSIONS

Submitted papers must describe work not previously
published. They must not be submitted concurrently to a journal
or to another conference. Papers authored or coauthored by
members of the Program Committee are not allowed.  Submissions
must not exceed 15 pages (in the usual format for Springer
LNCS), including title page, figures and references. The title
page must contain: title and authors; physical and e-mail
addresses; telephone and (if available) fax number for each
author; identification of corresponding author, if not the first
author; an abstract of no more than 200 words; a list of
keywords.

Submissions must arrive by January 31, 2000. Notifications of
acceptance will be sent by April 17, 2000, and final versions
are due May 19, 2000. Authors are invited to send manuscripts by
electronic mail, as uuencoded gzipped or attached postscript
files and an ASCII file containing the abstract and the address
of the corresponding author:

* see the conference home page for instructions
        http://www.tcs.informatik.uni-muenchen.de/csl2000/
* or send a message with subject "submission information" to
        csl2000-org@tcs.informatik.uni-muenchen.de

Concerning further questions about the submission procedure
please contact

        Helmut Schwichtenberg
        schwicht@rz.mathematik.uni-muenchen.de
        Phone +49 89 2394 4413
        Fax   +49 89  280 5248
or
        Peter Clote
        clote@tcs.informatik.uni-muenchen.de
        Phone +49 89 2178 2241
        Fax   +49 89 2178 2238


PUBLICATION

Papers accepted by the Program Committee must be presented at
the conference and will appear in a proceedings volume, to be
published by Springer Verlag in the "Lecture Notes in Computer
Science" series.  Final versions of accepted papers will be due
by May 19, 2000.  The format for camera-ready manuscripts will
be that of Springer LNCS; instructions can be found in the LNCS
home page at:
        http://www.springer.de/comp/lncs/index.html

GRANTS

A limited amount of grants is available to all students and to
researchers from Eastern Europe to partially fund travel and
participation upon request.

IMPORTANT DATES

Paper submissions                   January 31, 2000
Notifications of acceptance         April 17, 2000
Final version due                   May 19, 2000
CSL 2000 conference                 August 21-26, 2000

ADDITIONAL INFORMATION

CSL 2000 home page:
    http://www.tcs.informatik.uni-muenchen.de/csl2000/
CSL 2000 local organization:
    csl2000-org@tcs.informatik.uni-muenchen.de


--
Dr. Thorsten Altenkirch                 phone : (+49 89) 2178-2209
Theoretical Computer Science            fax   : (+49 89) 2178-2238
LMU, Munich, Germany                    Oettingenstr 67, D105
http://www.tcs.informatik.uni-muenchen.de/~alti
[ AMAST Mail - December 1999 | November 1999 | January 2000 | Latest Update | AMAST Mail Meta-Index | AMAST Mail 1999 | AMAST ]