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.