Newsletter 11, October 29, 1993


ANNUAL CONF. OF THE EUROPEAN ASSOC. FOR COMPUTER SCIENCE LOGIC (CSL '94)
  Kazimierz, Poland, September 26-30, 1994.
Intended for computer scientists whose research activities involve logic,
as well as for logicians working in areas related to computer science.
* Submissions.  Six copies of an extended abstract in English (up to 5
  pages) to the program committee chairman, arriving not later than May 16,
  1994.  All contributions will be refereed for a Proceedings volume to be
  published by Springer-Verlag.
* Program Committee.  E. Borger, M. Dezani, N. Jones, P. Kolaitis,
  J. Krajicek, J.-L. Krivine, L. Pacholski, A. Pitts, A. Razborov,
  J. Tiuryn.
* Program Chair.  Jerzy Tiuryn (CSL '94), Institute of Informatics, Warsaw
  University, ul. Banacha 2, 02-097 Warsaw, Poland.  E-mail:
  csl94@mimuw.edu.pl. Fax: +48 2 6583164.


5th INT'L CONF. ON LOGIC PROGRAMMING AND AUTOMATED REASONING (LPAR'94)
  Kiev, Ukraine, July 16-21, 1994.
* Topics.  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.
* Submissions.  6 copies of a full draft paper in English, maximum length
  15 pages, to the program chair by January 14, 1994.  Also, e-mail title,
  contact information and abstract to lpar94@cs.cmu.edu.
* Program Committee.  D. Basin, A. Brogi, P. Codognet, S. Debray,
  M. Fitting, S. Hoelldobler, M. Hagiya, M. Hanus, C. Kirchner, J. Minker,
  G. Mints, T. Nipkow, C. Paulin-Mohring, F. Pfenning, L. Pluemer,
  V. Sazonov, D. de. Schreye, D. Scott, G. Smolka, S. Soloviev,
  K. Vershinin, A. Voronkov, M. Wallace, L. Wallen
* Program Chair.  Frank Pfenning / LPAR'94, Department of Computer Science,
  Carnegie Mellon University, Pittsburgh, PA 15213-3891, U.S.A.  +1 412 268
  6343, lpar94@cs.cmu.edu.


3RD WORKSHOP ON THEOREM PROVING WITH ANALYTIC TABLEAUX AND RELATED METHODS
  Abingdon, near Oxford, U.K., May 4-6, 1994.
This workshop intends to bring together researchers interested in the
mechanisation of reasoning with tableaux and related systems.
* Topics.  Focus is on both theoretical work and the presentation of
  implementation techniques and related practical experience.  Included:
  analytic tableaux, model elimination, connection method, sequent calculi.
* Submissions.  Four copies of a short paper (at most seven pages) or a
  long paper (at most 15 pages) in English before November 22nd, 1993, to
  Marcello D'Agostino, Department of Computing, Imperial College,
  University of London, London, SW7 2BZ, UK (mda@doc.ic.ac.uk).  Accepted
  papers will be printed in a technical report and considered for
  publication in a special volume.
* Invited Speakers.  Jaakko Hintikka, Bob Kowalski.
* Programme Committee.  D. Basin, K. Broda, M. D'Agostino, M. Fitting,
  D. Gabbay, R. Gore, W. Hodges, R. Haehnle, N. Murray, J. Posegga,
  S. Reeves, P. Schmitt, C. Schwind, L. Wallen, G. Wrightson.
* Information. stever@dcs.qmw.ac.uk.


IFIP WORKING CONFERENCE ON PROGRAMMING CONCEPTS, METHODS AND CALCULI 
(PROCOMET '94)
  San Miniato, Italy 6-10, June 1994.
* Submissions.  Submit 5 copies of a complete paper (at most 25 pages) by 1
  December 1993 to the Program Chair: Prof. Dr. E.-R. Olderog, FB
  Informatik, Univ. Oldenburg, Postfach 2503, D-26111 Oldenburg, Germany.
* Program Committee.  K. Apt, E. Astesiano, R. Backhouse, R. Balzer,
  G. Berry, D. Bjorner, M. Broy, R. Dewar, J.-P. Finance, J. Horning,
  M. Jackson, C.B. Jones, L. Meertens, C. Morgan, E.-R. Olderog (chair),
  H. Partsch, P. Pepper, A. Pnueli, W.-P. de Roever, F.B. Schneider,
  S. Schuman, M. Sintzoff (co-chair), A. Tarlecki.
* Organizing Committee: U. Montanari (chair), R. De Nicola, G. Ferrari,
  S. Gnesi.  
* Information.  For the latest news about the Working Conference please
  contact the following e-mail address: procomet@di.unipi.it.


FOURTH INTERNATIONAL WORKSHOP ON META-PROGRAMMING IN LOGIC (META'94)
  Pisa, June 19-21, 1994.
* Topics.  Include: foundations of meta-programming, design and
  implementation of language facilities for meta-programming,
  meta-programming for knowledge representation, meta-programming,
  non-monotonic and modal logics, applications of meta-programming.
* Submissions.  Four copies of complete and original papers by January 10
  to Franco Turini - Meta 94, Dipartimento di Informatica, Corso Italia,
  40, 56125 Pisa, Italy.
* Program Committee.  L. Aiello. Barklund, Bowen, D. De Schreye, Y. Jiang,
  J. Komorowski, G. Lanzarone, A. Martelli, L.M. Pereira, A. Pettorossi,
  A. Porto, T.Sato, L. Sterling, S.A. Tarnlund, F. Turini (Chairman).
* Information.  meta94@di.unipi.it.