Announcement and Call for Papers

                      5th International Conference on
            Logic Programming and Automated Reasoning (LPAR'94)

                     Kiev, Ukraine, July 16-21, 1994


LPAR'94 welcomes submissions in all areas of logic programming and automated
reasoning, including (but not limited to): analysis, synthesis and
verification; applications; classical and non-classical logics; constraints;
constructive theorem proving; deductive databases; functions and equations;
higher-order and meta-programming; implementation and architectures; inductive
theorem proving; logical frameworks; parallelism and concurrency; proof theory
and semantics; rewriting; theorem proving and symbolic computation; types and
type theory; unification.  Papers submitted to this conference must contain
material not previously published, presented at a conference, or
simultaneously submitted elsewhere.  Authors should submit 6 copies of a full
draft paper to the program chair by January 14, 1994.  From countries where
copying may be a problem one copy will be sufficient.  All papers must be
written in English.  The length of the paper must not exceed 15 pages
following the Springer-Verlag Lecture Notes series format (approx. 13x20cm in
10pt font).  Guidelines and an appropriate LaTeX style file are available from
the program chair.  Proceedings of previous LPAR conferences were published as
Springer-Verlag LNAI 592, 624, and 698.  Submissions should be accompanied by
an electronic mail message to lpar94@cs.cmu.edu, containing title, complete
contact information, and abstract.

In addition to contributed papers, the conference will feature some invited
speakers, several tutorials, and system demonstrations.  The conference
will once again be held aboard a ship and include some excursions.

Program Committee

David Basin, MPI Saarbruecken
Antonio Brogi, University of Pisa
Philippe Codognet, INRIA Rocquencourt
Saumya Debray, University of Arizona
Melvin Fitting, Lehmann College
Steffen Hoelldobler, TH Darmstadt
Masami Hagiya, University of Tokyo
Michael Hanus, MPI Saarbruecken
Claude Kirchner, INRIA Lorraine & CRIN
Jack Minker, University of Maryland
Grigori Mints, Stanford
Tobias Nipkow, TU Munich
Christine Paulin-Mohring, ENS Lyon
Frank Pfenning, Carnegie Mellon University
Lutz Pluemer, University of Bonn
Vladimir Sazonov, PSI Pereslavl-Zalesski, Russia
Danny de Schreye, Catholic University Leuven
Dana Scott, Carnegie Mellon University
Gert Smolka, DFKI Saarbruecken
Sergei Soloviev, Aarhus University
Konstantin Vershinin, Institute of Cybernetics, Kiev
Andrei Voronkov, University of Uppsala
Mark Wallace, ECRC Munich
Lincoln Wallen, Oxford University

Program Chair                           Local Arrangements

Frank Pfenning / LPAR'94                Andrei Voronkov
Department of Computer Science          Computer Science Department
Carnegie Mellon University              University of Uppsala
Pittsburgh, PA 15213-3891, U.S.A.       Polacksbacken 1, Box 311

+1 412 268 6343                         S 751 05 Uppsala, Sweden
lpar94@cs.cmu.edu                       voronkov@csd.uu.se

Important Dates                         Organizing Committee

Submission:      January 14, 1994       Eugene Dantsin (co-chair),
                                        Konstantin Vershinin (co-chair),
Notification:    March 14, 1994         Igor Romanenko, Andrei Voronkov,
Camera-Ready:    April 20, 1994         Alexander Zhezherun
--
Frank Pfenning                fp@cs.cmu.edu
Carnegie Mellon University    Pittsburgh, Pennsylvania, USA

-------------------------------------------------------------------------------
ewinfo - E-mail server of xUSSR and E.Europe Sci-Tech information: Conferences,
publications, etc. To get help send empty message to ewinfo@icsti.msk.su