🚀 go-pugleaf

	                    Eight Annual IEEE Symposium on
	                      LOGIC IN COMPUTER SCIENCE
	              June 20-23, 1993, Montreal, Quebec (Canada)

	                          CALL FOR PAPERS

	The LICS Symposium aims for wide coverage of 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.

	PROGRAM CHAIR:
	Moshe Y. Vardi
	IBM Research
	Almaden Research Center, K53-802
	650 Harry Rd.
	San Jose, CA 95120-6099, USA
	vardi@almaden.ibm.com, vardi@almaden.bitnet
	Phone: (408) 927-1784
	Fax:   (408) 927-2100

	PROGRAM COMMITTEE:  M. Abadi (DEC SRC), S. Abramsky (Imperial Coll.),
	B. Bloom (Cornell), P. Clote (Boston Coll.), P.J. Freyd (Univ. of
	Pennsylvania), D. Harel (Weizmann Inst.), K.G. Larsen (Aalborg Univ.),
	P. Lescanne (CRIN and INRIA-Lorraine), D. McAllester (MIT),
	J. Meseguer (SRI), D. Miller (Univ. of Pennsylvania), Y. Moschovakis
	(UCLA), N. Shankar (SRI), C. Talcott (Stanford), M.Y. Vardi (IBM
	Almaden), and P. Wolper (Univ. of Liege).


	LICS GENERAL CHAIR:
	Robert Constable
	Department of Computer Science
	Cornell University
	Ithaca, NY 14253
	rc@cs.cornell.edu

	CONFERENCE CO-CHAIRS:
	Mitsu Okada                      Prakash Panangaden
	Department of Computer Science   School of Computer Science
	Concordia University             McGill University
	Montreal                         Montreal
	H3G 1M8  Quebec, Canada          H3A 2A7  Quebec, Canada
	okada@concour.cs.concordia.ca    prakash@cs.mcgill.ca

	PAPER SUBMISSION: 10 hard copies of a detailed abstract (not a
	full paper) and 20 additional copies of the cover page should be
	RECEIVED by DECEMBER 8, 1992 by the PROGRAM CHAIR (Attn: LICS).
	Authors without access to reproduction facilities may submit a single
	copy of their submission.  Authors will be notified of acceptance
	by February 14, 1992.  Accepted papers in the specified format for
	the symposium proceedings will be due April 6, 1993.

	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 if 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 problem,
	a summary of the main results, and a brief explanation of their
	significance and relevance to the conference, all suitable for the
	non-specialist.  Technical development of the work, directed to the
	specialist, should follow.  Abstracts of fewer than 1500 words are
	rarely adequate, but the total abstract, should not be longer than
	10 typed pages with roughly 35 lines per page.  If the authors believe
	that more details are essential to substantiate the main claims of the
	paper, they may include a clearly marked appendix to be read at the
	discretion of the committee.  Late abstracts, or those departing
	significantly from these guidelines, run a high risk of rejection.

	The results in the submission 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.

	The symposium is sponsored by the IEEE Technical Committee on
	Mathematical Foundations of Computing in cooperation with the
	Association for Symbolic Logic and the European Association of
	Theoretical Computer Science.  Cooperation with the ACM is
	anticipated.

	ORGANIZING COMMITTEE:  M. Abadi, S. Abramsky, S. Artemov, J. Barwise,
	M. Blum, A. Bundy, S. Buss, E. Clarke, R. Constable (Chair),
	E. Engeler, J. Gallier, U. Goltz, Y. Gurevich, S. Hayashi, G. Huet,
	G. Kahn, D. Kapur, C. Kirchner, R. Kosaraju, J. W. Klop, P. Kolaitis,
	D. Leivant, A. Meyer, G. Mints, J. Mitchell, Y. Moschovakis, A. Pitts,
	G. Plotkin, S. Ronchi Della Rocca, G. Rozenberg, A. Scedrov, D. Scott,
	J. Tiuryn, M. Vardi, R. de Vrijer


	PUBLICITY CHAIR:
	Daniel Leivant
	Department of Computer Science
	Indiana University
	Bloomington, IN 47405, USA
	lics@cs.indiana.edu


--