Fourteenth Annual IEEE Symposium on 
                      LOGIC IN COMPUTER SCIENCE
		   July 2 - 5, 1999, Trento, Italy

			   CALL FOR PAPERS


The LICS Symposium is an annual international forum on theoretical and
practical topics in computer science that relate to logic in a broad
sense.  

Topics of interest include: abstract data types, automated deduction,
bounded arithmetic, categorical models and logics, combination of
logics, concurrency, constraint programming, constructive mathematics,
database theory, denotational semantics, domain theory and
applications, finite model theory, formal methods, game semantics,
hybrid systems, logics of knowledge, lambda and combinatory calculi,
linear logic, logical aspects of computational complexity, logics in
artificial intelligence, logics of programs, logic programming, modal
and temporal logics, model checking, logical aspects of protocol
security, rewriting, semantics, software specification, type theory
and type systems, universal algebra, and verification.

Paper submission: Email an extended abstract (not a full paper)
to the program chair, lics99@dmi.ens.fr, and to the
associate chair, Gilles.Dowek@inria.fr, to be received by December
10, 1998. The abstract should mention, on the first page, one or
more keywords (possibly from the list above), in decreasing order of
relevance. The deadline is firm; late submissions will not be
considered.  Authors will be notified of acceptance or rejection
by February 17, 1999.  Accepted papers in a specified format for the
proceedings will be due by April 5, 1999.

Format your abstract as a PostScript file, accompanied by a separately
emailed textfile cover letter, both mailed from the address of the
corresponding author. One hard copy must be airmailed to the program
chair, postmarked by December 10, 1998.

The first page of the extended abstract and the cover letter should
include the title of the paper, names and affiliations of authors, a
brief synopsis (at most 10 lines), the keywords, and the contact
author's name, address, phone number, fax number, and email address.
The extended abstract may not exceed 10 typed pages in no less than
11-point font.  It must be in English and provide sufficient detail to
allow the program committee to assess the merits of the paper.  It
should begin with a succinct statement of the issues, a summary of the
main results, and a brief explanation of their significance and
relevance to the conference, all phrased for the non-specialist.
References and comparisons with related work should be included.
Technical development directed to the specialist should follow.
Submissions departing significantly from these guidelines risk
rejection.

The results must be unpublished and not submitted for publication
elsewhere, including the proceedings of other symposia or workshops.
However, a paper submitted to LICS'99 may also be submitted to a
FLoC'99 workshop that permits it in its call for papers; acceptance to
LICS takes precedence.  All authors of accepted papers will be
expected to sign copyright release forms.  One author of each accepted
paper will be expected to attend the conference in order to present
it.


IMPORTANT DATES:
        Submission deadline: December 10, 1998
        Notification: February 17, 1999
        Final papers due: April 5, 1999
        Conference: July 2 - 5, 1999

Kleene Award for Best Student Paper: An award of $500, in honor of the
late S.C. Kleene, may be given for the best student paper, as judged
by the program committee.  Eligibility requires all authors to be
full-time students at the date of submission; this must be noted on
the submission letter.

Invited speakers: H. Friedman, J.-Y. Girard, J. Halpern,
U. Montanari, L. Paulson. 

The symposium is sponsored by the IEEE Technical Committee on
Mathematical Foundations of Computing in cooperation with the
Association for Symbolic Logic, the European Association for
Theoretical Computer Science, and the Association for Computing
Machinery.  The symposium is hosted by ITC-IRST, and is a part of the
Federated Logic Conference (FLoC'99).



PROGRAM CHAIR:
   Giuseppe Longo
   Attn: LICS
   LIENS (CNRS) et DMI
   Ecole Normale Superieure
   45 Rue D'Ulm
   75005 Paris, France
   longo@dmi.ens.fr
   Phone: +33-1-4432-3328
   Fax:   +33-1-4432-2080

PROGRAM COMMITTEE:
   Martin Abadi, DEC SRC                     Martin Grohe, U.  Freiburg
   Rajeev Alur, U. Penn                      Nils Klarlund, AT&T Labs
   Luigia C. Aiello, U.  Roma                Giorgio Levi, U. Pisa
   Andrea Asperti, U. Bologna                Giuseppe Longo (chair), ENS
   Vincent Danos, CNRS & Paris VII           Mitsuhiro  Okada, Keio U.
   Mariangiola Dezani, U. Torino             Martin Otto, RWTH Aachen
   Roberto Di Cosmo, ENS, Paris              Edmund Robinson, Queen Mary 
   Gilles Dowek (associate chair), INRIA     Davide Sangiorgi, INRIA
   Abbas  Edalat, Imperial College           Amilcar Sernadas, IST, Lisboa
   Thomas Ehrhard, CNRS, Marseille           Natarajan Shankar, SRI
   Melvin Fitting, CUNY                      Wolfgang Thomas, RWTH Aachen
   Rob van Glabbeek, Stanford U.             Scott Weinstein, U. Penn
   

CONFERENCE CO-CHAIRS:
   Eugenio Moggi 
   DISI, Universita di Genova
   16146 Genova, Italy
   moggi@disi.unige.it

   Simona Ronchi della Rocca
   Dipartimento di Informatica
   Universita di Torino
   I-10149 Torino, Italy
   ronchi@di.unito.it

PUBLICITY CHAIR:
   Leonid Libkin
   Bell Laboratories/Lucent Technologies
   600-700 Mountain Avenue,
   Murray Hill, NJ 07974, USA
   E-mail: libkin@research.bell-labs.com

LICS GENERAL CHAIR:
   John C. Mitchell
   Computer Science Department
   Stanford University
   Stanford, CA 94305-9045
   mitchell@cs.stanford.edu

ORGANIZING COMMITTEE:
   A. Aggarwal, M. Bezem, W. Brauer, E. Clarke, R. Constable,
   N. Dershowitz, F. Giunchiglia, D. Leivant, L. Libkin, G. Longo,
   M. Magidor, J. Mitchell (chair), E. Moggi, V. Pratt, J. Riecke,
   S. Ronchi della Rocca, M. Stickel, J. Tiuryn, M.Y. Vardi,
   J. Vitter, G. Winskel 

ADVISORY BOARD: 
   M. Abadi, S. Abiteboul, S. Abramsky, M. Dezani, J. Halpern,
   R. Impagliazzo, D. Kozen, L. Pacholski, A. Scedrov, D. Scott, J. Wing