[Deadline: 11 decembre] [A postscript version of the call for papers is available via the LICS web page at http://www.bell-labs.com/topic/conferences/lics/, and via anonymous ftp from ftp.research.bell-labs.com, directory /dist/lics.] Twelfth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE June 29 - July 2, 1997, Warsaw, Poland 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, verification. Paper submission: Send 12 copies of an extended abstract (not a full paper) to the program chair to be received by December 11, 1996. 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 19, 1996. Accepted papers in a specified format for the proceedings will be due by April 9, 1996. 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 rejection. 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. IMPORTANT DATES: Submission deadline: December 11, 1996 Notification: February 19, 1997 Final papers due: April 9, 1997 Conference: June 29 - July 2, 1997 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 Warsaw University, Poland. 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. LICS'97 will have a partial overlap with the 8th International Conference on Concurrency Theory (CONCUR), which will be held in Warsaw on July 1-4, 1997. For more information on CONCUR, contact A. Mazurkiewicz (amaz@ipipan.waw.pl) or J. Winkowski (wink@ipipan.waw.pl). PROGRAM CHAIR: Glynn Winskel Attn: LICS Department of Computer Science Aarhus University Ny Munkegade, building 540 8000 Aarhus C, Denmark E-mail: lics97@brics.dk Phone: +45 8942 3360 Fax: +45 8942 3255 PROGRAM COMMITTEE: Jon Barwise, Indiana U David Basin, MPI, Saarbrucken Steven Brookes, CMU Pierre-Louis Curien, ENS, Paris Anuj Dawar, Swansea U Peter Dybjer, Chalmers U Amy Felty, Bell Labs Matthew Hennessy, Sussex U Claude Kirchner, INRIA Lorraine Jan Krajicek, Prague U Pat Lincoln, SRI Ken McMillan, Cadence Damian Niwinski, Warsaw U Jens Palsberg, MIT Andrew Pitts, Cambridge U Vaughan Pratt, Stanford U Colin Stirling, Edinburgh U Glynn Winskel (chair), Aarhus U CONFERENCE CHAIR: Jerzy Tiuryn Institute of Informatics Warsaw University Banacha 2 02-097 Warsaw, POLAND E-mail: lics97@mimuw.edu.pl LICS GENERAL CHAIR: Moshe Y. Vardi Department of Computer Science Rice University 6100 S. Main Street Houston, Texas 77251-1892, USA E-mail: vardi@cs.rice.edu ORGANIZING COMMITTEE: M. Abadi, S. Abramsky, A. Aggarwal, S. Artemov, E. Borger, 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, L. Libkin, A.R. Meyer, D. Miller, J. Mitchell, P. Panangaden, V. Pratt, J. Remmel, J. Riecke, S. Ronchi della Rocca, A. Scedrov, D. Scott, J. Tiuryn, M.Y. Vardi (chair), G. Winskel. PUBLICITY CHAIR: Leonid Libkin Bell Laboratories/Lucent Technologies 600-700 Mountain Avenue, Murray Hill, NJ 07974, USA E-mail: libkin@research.bell-labs.com