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. This is a firm deadline: papers received after this deadline will not be considered. 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 Saarbr"ucken Antonio Brogi, University of Pisa Philippe Codognet, INRIA Rocquencourt Saumya Debray, University of Arizona Melvin Fitting, Lehmann College Steffen H"olldobler, TU Dresden Masami Hagiya, University of Tokyo Michael Hanus, MPI Saarbr"ucken Claude Kirchner, INRIA Lorraine Jack Minker, University of Maryland Grigori Mints, Stanford Tobias Nipkow, TU Munich Christine Paulin-Mohring, ENS Lyon Frank Pfenning, Carnegie Mellon University Lutz Pl"umer, University of Bonn Vladimir Sazonov, PSI Pereslavl-Zalesski, Russia Danny de Schreye, Catholic University Leuven Dana Scott, Carnegie Mellon University Gert Smolka, DFKI Saarbr"ucken 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), (firm deadline!) Konstantin Vershinin (co-chair), Notification: March 14, 1994 Anatoli Degtyarev, Igor Romanenko, Camera-Ready: April 20, 1994 Andrei Voronkov, Alexander Zhezherun -- Frank Pfenning fp@cs.cmu.edu Carnegie Mellon University Pittsburgh, Pennsylvania, USA