From: hayashi@whale.ryukoku.ac.jp (Susumu Hayashi)
Newsgroups: fj.meetings
Subject: LICS 93 Call for Papers (LaTeX)
Date: 13 Oct 92 04:32:19 GMT
Distribution: fj
Organization: Ryukoku Univ., Seta, Japan


LaTeX version $@$N(J LICS 93 Call for Papers $@$r!"(J
forward $@$7$^$9!#(J

$@NS!w?tM}>pJs(J.$@N6C+(J
LICS organizing committee member


Return-Path: <leivant@moose.cs.indiana.edu>
From: "daniel leivant" <leivant@moose.cs.indiana.edu>
Subject: LICS'93 CFP (Latex)
To: lics-email@moose.cs.indiana.edu
Date: Wed, 30 Sep 92 21:23:21 EST
X-Mailer: ELM [version 2.3 PL11]

		LICS'93 Call for Papers
	(latex source; please print and post)
		
Electronic sources for this text are available for anonymous 
ftp as files pub/lics/cfp93.ps.Z (compressed postscript) and 
pub/lics/cfp93.dvi on moose.cs.indiana.edu.

\documentstyle{article}
\topmargin-0.75in
\marginparwidth 0pt \oddsidemargin 0pt \evensidemargin 0pt
\marginparsep 0pt
\textwidth 6.5in \textheight 10.0in\parskip 6pt \parindent 0pt
\renewcommand{\i}[1]{{\it #1 \/}}
\begin{document}
\thispagestyle{empty}
\begin{center}
{\bf CALL FOR PAPERS}\\[2ex]
{\large Eight Annual IEEE Symposium on }\\[2ex]
{\Large\bf LOGIC IN COMPUTER SCIENCE }\\[2ex]
{\large\it June 20--23, 1993, Montreal, Quebec (Canada)}
\end{center}
\vspace{.2in}
\small
\begin{minipage}[t]{2.00in}
\parskip 4pt

{\bf Program Chair:} \\[1mm]
Moshe Y. Vardi\\
Attn: LICS \\
IBM Research \\
Almaden Research Center, K53-802 \\
650 Harry Rd. \\
San Jose, CA 95120-6099,  USA \\
{\tt vardi@almaden.ibm.com}, \\
{\tt vardi@almaden.bitnet} \\
Phone: (408) 927-1784 \\
Fax:   (408) 927-2100 \\

{\bf Program Committee:} \\[1mm]
M. Abadi, \i{DEC SRC} \\
S. Abramsky, \i{Imperial Coll.} \\
B. Bloom, \i{Cornell} \\
P. Clote, \i{Boston Coll.} \\
P.J. Freyd, \i{Univ. of Pennsylvania} \\
D. Harel, \i{Weizmann Inst.} \\
K.G. Larsen, \i{Aalborg Univ.} \\
P. Lescanne, \i{CRIN} \\
D. McAllester, \i{MIT} \\
J. Meseguer, \i{SRI} \\
D. Miller, \i{Univ. of Pennsylvania} \\
Y. Moschovakis, \i{UCLA} \\
N. Shankar, \i{SRI} \\
C. Talcott, \i{Stanford} \\
M.Y. Vardi (Chair), \i{IBM Almaden} \\
P. Wolper, \i{Univ.  of Li\`{e}ge}\\

{\bf Conference Co-Chairs:} \\[1mm]
Mitsu Okada \\
Department of Computer Science \\
Concordia University \\
Montreal \\
H3G 1M8  Quebec, Canada \\
{\tt okada@concour.cs.concordia.ca} \\[2mm]
Prakash Panangaden \\
School of Computer Science \\
McGill University \\
Montreal \\
H3A 2A7  Quebec, Canada \\
{\tt prakash@cs.mcgill.ca}\\

{\bf General Chair:}\\[1mm]
Robert L. Constable \\
Department of Computer Science\\
Upson Hall \\
Cornell University \\
Ithaca, NY 14853, USA\\
{\tt rc@cs.cornell.edu}\\
\end{minipage}
\hskip .25 in
\begin{minipage}[t]{4.5in}
\parskip 4pt

The {\bf LICS} Symposium aims 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:
{\em 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.}

{\bf Paper submission}: 10 hard copies of a detailed abstract (not a
full paper) and 20 additional copies of the cover page should be
{\bf received} by {\bf December 8, 1992}
by the {\bf program chair}.

Authors without access to duplication facilities may submit a single
copy of each.  Authors will be notified of acceptance
by February 14, 1992.  Accepted papers (in a specified proceedings format)
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, 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.
Late submissions, and those 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.

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 for
Theoretical Computer Science.  The cooperation of the ACM is
anticipated.

{\bf 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.R.~Meyer, G.~Mints, J.~Mitchell, Y.~Moschovakis, A.~Pitts,
G.~Plotkin, S.~Ronchi della Rocca, G.~Rozenberg, A.~Scedrov, D.~Scott,
J.~Tiuryn, M.Y.~Vardi, R.~de~Vrijer.

For further announcements, contact the

{\bf Publicity Chair:}
Daniel Leivant,
Department of Computer Science,
Indiana University,
Bloomington, IN 47405, USA,
email: {\tt lics@cs.indiana.edu}
\end{minipage}
\end{document}