LICS'95 Second Call for Papers

[Since it is clearly relevant, I am distributing this conference
announcement to types.  -- Philip Wadler, moderator, Types Forum.]

[Postscript and Latex versions of this announcement are available 
 through the LICS WWW page at http://www.research.att.com/lics/
 and via anonymous ftp from research.att.com, directory /dist/lics.]

                    Tenth Annual IEEE Symposium on
                      LOGIC IN COMPUTER SCIENCE
                          June 26-29, 1995
                       San Diego, California

                           CALL FOR PAPERS

The LICS Symposium aims to attract original papers of high quality on
theoretical and practical topics in computer science that relate to
logic in a broad sense, including algebraic, categorical and
topological approaches.

Suggested, but not exclusive, topics of interest include: abstract
data types, automated deduction, categorical models, concurrency,
constraint programming, constructive mathematics, database theory,
domain theory, finite model theory, hybrid systems, logics of
knowledge, lambda and combinatory calculi, linear logic, logical
aspects of computational complexity, logics in artificial
intelligence, logic programming, modal and temporal logics, model
checking, program logic and semantics, rewriting, logical aspects of
symbolic computing, software specification, type systems,

        Submission deadline: December 7, 1994
        Notification: February 14, 1995
        Final papers due: April 5, 1995
        Conference: June 26-29, 1995

Send 12 copies of an extended abstract (not a full paper) to the
program chair to be received by December 7, 1994.  This deadline is
firm; late submissions will not be considered.  Authors without access
to copiers may submit a single copy.  Authors will be notified of
acceptance or rejection by February 14, 1995.  Accepted papers in a
specified format for the proceedings will be due April 5, 1995.

The first page of the extended abstract should include the title of
the paper, names and affiliations of authors, a brief synopsis, and
the contact author's name, address, phone number, fax number, and
email address, if available.

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

The results must be unpublished and not submitted for publication
elsewhere, including the proceedings of other symposia or workshops.
All authors of accepted papers will be expected to sign copyright
release forms.  One author of each accepted paper will be expected to
present the paper at the conference.

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 the University of California,
San Diego.

Kleene Award for Best Student Paper: An award of $500, in honor of the
late S.C. Kleene, will be given to the best paper, as judged by the
program committee, written solely by one or more students.  A
submission is eligible if all authors are full-time students at the
time of submission.  This should be indicated in the submission
letter.  The program committee may decline to make the award or may
split it among several papers.

Moshe Y. Vardi
Department of Computer Science
Rice University
Houston, Texas 77251-1892, USA

Dexter Kozen
Attn: LICS
Computer Science Department
Upson Hall
Cornell University
Ithaca, New York 14853-7501, USA
Phone: (607) 255-9209
Fax: (607) 255-4428

Martin Abadi, DEC
Leo Bachmair, SUNY Stony Brook
Carolyn Brown, Univ. of Sussex
Edmund Clarke, CMU
E. Allen Emerson, UT Austin
Ursula Goelz, Univ. of Hildesheim
Thomas Henzinger, Cornell
Phokion Kolaitis, UC Santa Cruz
Dexter Kozen (chair), Cornell
Dale Miller, Univ. of Pennsylvania
C.-H. Luke Ong, Oxford and Natl. Univ. Singapore
A. P. Sistla, Univ. of Illinois, Chicago
Val Tannen, Univ. of Pennsylvania and Univ. of Paris-Sud
Jerzy Tiuryn, Univ. of Warsaw

Samuel R. Buss, Jeffrey B. Remmel
Department of Mathematics
University of California, San Diego
La Jolla, CA 92013-0112, USA
sbuss@ucsd.edu, jremmel@ucsd.edu


M. Abadi, S. Abramsky, S. Artemov, E. Boerger, A. Borodin, W. Brauer,
A. Bundy, S. Buss, E. Clarke, R. Constable, A. Felty, U. Goltz,
D. Howe, G. Huet, J.-P. Jouannaud, D. Kapur, C. Kirchner, P. Kolaitis,
D. Kozen, T. Leighton, D. Leivant, A.R. Meyer, D. Miller, J. Mitchell,
Y. Moschovakis, M. Okada, P. Panangaden, J. Remmel, J. Riecke,
S. Ronchi della Rocca, A. Scedrov, D. Scott, J. Tiuryn,
M.Y. Vardi (chair)

Amy Felty and Douglas Howe
AT&T Bell Laboratories
600 Mountain Avenue,
Murray Hill, NJ 07974, USA
felty@research.att.com, howe@research.att.com