LICS'94 Call for Papers

[Since it is clearly relevant, I am distributing this conference
announcement to types.  General conference announcements should go to
the Theory-A list.  -- Philip Wadler, moderator, Types Forum.]

                    Ninth Annual IEEE Symposium on
                      LOGIC IN COMPUTER SCIENCE
                    July 4-7, 1994, Paris, France

                           CALL FOR PAPERS

The LICS symposia aim to attract high quality original papers covering 
theoretical and practical issues 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, concurrency, constructive
mathematics, data base theory, finite model theory, knowledge representation, 
lambda and combinatory calculi, logical aspects of computational complexity, 
logics in artificial intelligence, logic programming, modal and temporal 
logics, program logic and semantics, rewrite rules, logical aspects of 
symbolic computing, problem solving environments, software specification, 
type systems, verification.

	Submission deadline: December 13, 1993
	Notification: February 21, 1994
	Final papers due: April 15, 1994
	Conference: July 4-7, 1994

   10 hard copies of a detailed abstract (not a full paper) and 20 
   additional copies of the cover page should be received by 
   December 13, 1993 by the program chair.  This is a firm deadline: 
   late submissions will not be considered.  Authors without access to 
   duplication facilities may submit a single copy of each.  Authors 
   will be notified of acceptance by February 21, 1994.  Accepted papers 
   (in a specified proceedings format) will be due April 15, 1994.

   The cover page of the submission should include the title, authors, 
   a brief synopsis, and the corresponding author's name, address, phone
   number, fax number, and e-mail address, when available.  Abstracts 
   must be in English, clearly written, and provide sufficient detail to 
   allow the program committee to assess the merits of the paper.  
   References and comparisons with related work should be included.  
   It is recommended that each submission 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.  Technical development of the work, directed 
   to the specialist, should follow.  While abstracts of fewer than 1500 
   words are rarely adequate, the entire abstract should not exceed
   10 typed pages, with roughly 35 lines per page.  If the authors believe
   that more details are essential to substantiate their main results,
   they may place additional details in a clearly marked appendix.
   Submissions departing significantly from these guidelines run a high 
   risk of rejection.

   The results in the abstract must be unpublished, and not submitted
   for publication elsewhere, including proceedings of other symposia or
   workshops.  All authors of accepted papers will be expected to sign
   copyright release forms, and one author of each accepted paper will be
   expected to present the paper at the conference.

LICS'94 is sponsored by the IEEE Technical Committee on Mathematical 
Foundations of Computing, in cooperation with the Association for 
Symbolic Logic and the European Association for Theoretical Computer 
Science.  The cooperation of the ACM is anticipated.  
The symposium is organized by INRIA, and hosted by the Conservatoire 
National des Arts et Metiers (CNAM) as part of its bicentennial.
Sponsorship by the CNRS and Universite d'Orsay is expected.

For further announcements, contact the Publicity Co-chairs:
   Amy Felty and Douglas Howe
   AT&T Bell Laboratories
   600 Mountain Avenue,
   Murray Hill, NJ 07974
	 felty@research.att.com, howe@research.att.com

   Robert L. Constable
   Department of Computer Science
   Upson Hall
   Cornell University
   Ithaca, NY 14853, USA

   Samson Abramsky
   Department of Computing
   Imperial College of Science, Technology and Medicine
   180 Queen's Gate
   London SW7 2BZ
   United Kingdom
	Phone: (44) 71-589-5111 ext. 5005
	Fax: (44) 71-581-8024

PROGRAM COMMITTEE: will be announced later.

   Gerard Huet
   INRIA Rocquencourt
   B.P. 105-78153
   Le Chesnay CEDEX, France
   Jean-Pierre Jouannaud
   CNRS and LRI
   Bat. 490, Universite de Paris Sud
   91405 Orsay CEDEX, France

   M. Abadi, S. Abramsky, S. Artemov, A. Borodin, S. Buss, E. Clarke, 
   R. Constable (Chair), A. Felty, U. Goltz, Y. Gurevich, S. Hayashi, 
   D. Howe, G. Huet, D. Johnson, J.-P. Jouannaud, D. Kapur, C. Kirchner, 
   P. Kolaitis, D. Kozen, D. Leivant, A.R. Meyer, D. Miller, G. Mints, 
   J. Mitchell, Y. Moschovakis, M. Okada, P. Panangaden, A. Pitts,
   G. Plotkin, J. Remmel, S. Ronchi della Rocca, G. Rozenberg, A. Scedrov, 
   D. Scott, J. Tiuryn, M.Y. Vardi