# LICS'96 Second Call for Papers


[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]

[A postscript version of the call for papers is available via the LICS
web page at http://www.research.att.com/lics/, and via anonymous ftp
from research.att.com, directory /dist/lics.]

[Our apologies if you receive multiple copies of this announcement.]

Eleventh Annual IEEE Symposium on
LOGIC IN COMPUTER SCIENCE
July 27-30, 1996, New Brunswick, New Jersey, USA

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 13, 1995.  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 March 7, 1996.  Accepted papers
in a specified format for the proceedings will be due May 7, 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

The extended abstract may not exceed 10 typed pages in no less than
11-point font, with a line spacing of no less than 1.5.  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.

Dual submissions: The results must be unpublished and not submitted
for publication elsewhere, including the proceedings of other symposia
or workshops (see exception below).  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.

As a one-time experiment, submissions to LICS this year can also be
submitted to the Israeli Symposium on the Theory of Computing and
Systems (ISTCS), provided this is clearly indicated on the cover page
of the submission.  If the paper is accepted to both LICS and ISTCS,
then the paper will be included in the LICS proceedings, and the ISTCS
proceedings will include only a 1-page abstract with a pointer to the
LICS proceedings.

IMPORTANT DATES:
Final papers due: May 7, 1996
Conference: July 27-30, 1996

The symposium is part of the Federated Logic Conference (FLoC),
July 27-August 3, 1996, being hosted by the Center for Discrete
Mathematics and Computer Science, Rutgers University, as part of its
Special Year on Logic and Algorithms.  In addition to LICS, FLoC
includes the following related conferences: Rewriting Techniques and
Applications (RTA), Conference on Automated Deduction (CADE), and
Computer-Aided Verification (CAV).  LICS and RTA will be held in
parallel during the first four days of FLoC.  CADE and CAV will be
held during the last four days, with CADE workshops running in
parallel with the last day of LICS.  Plenary events involving all the
conferences are scheduled.  For further information on FLoC and the
http://www.research.att.com/lics/floc/.
Information about the Special Year can be found in
http://dimacs.rutgers.edu/.

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.

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. PROGRAM CHAIR: Edmund M. Clarke Department of Computer Science Carnegie Mellon University Pittsburgh, PA 15228 lics96@cs.cmu.edu Phone: (412) 268-2628 Fax: (412) 268-5576 PROGRAM COMMITTEE: S. Buss, UC San Diego P. Lincoln, SRI E. Clarke, CMU J. Mitchell, Stanford A. Emerson, UT Austin U. Montanari, Univ. Pisa S. German, IBM Watson P. Panangaden, McGill G. Gottlob, TU Vienna F. Pfenning, CMU O. Grumberg, Technion J. Rushby, SRI D. Howe, AT&T Bell Labs C. Stirling, Edinburgh C. Kirchner, INRIA & CRIN A. Stolboushkin, UCLA K. Kunen, Wisconsin G. Winskel, Aarhus CONFERENCE CHAIR: Jon G. Riecke AT&T Bell Laboratories 600 Mountain Avenue Murray Hill, NJ 07974, USA riecke@research.att.com LICS GENERAL CHAIR: Moshe Y. Vardi Department of Computer Science Rice University 6100 S. Main Street Houston, Texas 77251-1892, USA vardi@cs.rice.edu ORGANIZING COMMITTEE: M. Abadi, S. Abramsky, S. Artemov, E. Boerger, A. Borodin, 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, A.R. Meyer, D. Miller, J. Mitchell, Y. Moschovakis, M. Okada, P. Panangaden, J. Remmel, J. Riecke, S. Ronchi della Rocca, A. Scedrov, D. Scott, J. Tiuryn, M.Y. Vardi PUBLICITY CO-CHAIRS: Amy Felty and Douglas Howe AT&T Bell Laboratories 600 Mountain Avenue, Murray Hill, NJ 07974, USA felty@research.att.com, howe@research.att.com %************************************************************************ %************************ LATEX VERSION ********************************* %************************************************************************ \documentstyle[11pt]{article} \topmargin-0.5in \marginparwidth 0pt \oddsidemargin 0pt \evensidemargin 0pt \marginparsep 0pt \textwidth 6.5in \textheight 10.0in\parskip 6pt \parindent 0pt \renewcommand{\i}[1]{{\it #1 \/}} \pagestyle{empty} \begin{document} \begin{center} {\bf CALL FOR PAPERS}\\[2ex] {\large Eleventh Annual IEEE Symposium on }\\[2ex] {\Large\bf LOGIC IN COMPUTER SCIENCE }\\[2ex] {\large\it July 27--30, 1996, New Brunswick, New Jersey, USA} \end{center} \vspace{.2in} \begin{minipage}[t]{2.20in}% first column \parskip 4pt {\bf Program Chair:} \\[1mm] Edmund M.~Clarke\\ Department of Computer Science\\ Carnegie Mellon University\\ Pittsburgh, PA 15228\\ {\tt lics96@cs.cmu.edu} \\ Phone: (412) 268-2628 \\ Fax: (412) 268-5576\\[1mm] \smallskip {\bf Program Committee:}\\[1mm] S.~Buss, \i{UC San Diego}\\ E.~Clarke, \i{CMU}\\ A.~Emerson, \i{UT Austin}\\ S.~German, \i{IBM Watson}\\ G.~Gottlob, \i{TU Vienna}\\ O.~Grumberg, \i{Technion}\\ D.~Howe, \i{AT\&T Bell Labs}\\ C.~Kirchner, \i{INRIA \& CRIN}\\ K.~Kunen, \i{Wisconsin}\\ P.~Lincoln, \i{SRI}\\ J.~Mitchell, \i{Stanford}\\ U.~Montanari, \i{Univ.~Pisa}\\ P.~Panangaden, \i{McGill}\\ F.~Pfenning, \i{CMU}\\ J.~Rushby, \i{SRI}\\ C.~Stirling, \i{Edinburgh}\\ A.~Stolboushkin, \i{UCLA}\\ G.~Winskel, \i{Aarhus }\\[1mm] \smallskip {\bf Conference Chair:} \\[1mm] Jon G.~Riecke\\ AT\&T Bell Laboratories\\ 600 Mountain Avenue\\ Murray Hill, NJ 07974, USA\\ {\tt riecke@research.att.com} \end{minipage} \hspace{.25in} \begin{minipage}[t]{4.2in}% second column \parskip 4pt The {\bf 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: {\em 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.} {\bf Paper submission:} Send 12 copies of an extended abstract (not a full paper) to the {\bf program chair} to be {\bf received} by {\bf December 13, 1995}. {\sl 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 March 7, 1996. Accepted papers in a specified format for the proceedings will be due May 7, 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, with a line spacing of no less than 1.5. 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. \end{minipage} \newpage \begin{minipage}[t]{2.20in}% first column \parskip 4pt {\bf General Chair:}\\[1mm] Moshe Y.~Vardi\\ Department of Computer Science\\ Rice University\\ 6100 S.~Main Street\\ Houston, Texas 77005-1892, USA\\ {\tt vardi@cs.rice.edu}\\[1mm] \smallskip {\bf Organizing Committee:}\\[1mm] M.~Abadi, S.~Abramsky,\\ S.~Artemov, E.~B\"orger,\\ A.~Borodin, 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,\\ A.R.~Meyer, D.~Miller,\\ J.~Mitchell, Y.~Moschovakis,\\ M.~Okada, P.~Panangaden,\\ J.~Remmel, J.~Riecke,\\ S.~Ronchi della Rocca,\\ A.~Scedrov, D.~Scott,\\ J.~Tiuryn, M.Y.~Vardi. \\[1mm] \smallskip {\bf Publicity Co-Chairs:}\\[1mm] Amy Felty \& Douglas Howe\\ AT\&T Bell Laboratories\\ 600 Mountain Avenue\\ Murray Hill, NJ 07974, USA\\ {\tt felty@research.att.com}\\ {\tt howe@research.att.com}\\ \end{minipage} \hspace{.25in} \begin{minipage}[t]{4.2in}% second column \parskip 4pt {\bf Dual submissions}: The results must be unpublished and not submitted for publication elsewhere, including the proceedings of other symposia or workshops (see exception below). 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. As a one-time experiment, submissions to LICS this year can also be submitted to the Israeli Symposium on the Theory of Computing and Systems (ISTCS), provided this is clearly indicated on the cover page of the submission. If the paper is accepted to both LICS and ISTCS, then the paper will be included in the LICS proceedings, and the ISTCS proceedings will include only a 1-page abstract with a pointer to the LICS proceedings. The symposium is part of the {\bf Federated Logic Conference} (FLoC), July 27--August 3, 1996, being hosted by the Center for Discrete Mathematics and Computer Science, Rutgers University, as part of its Special Year on Logic and Algorithms. In addition to LICS, FLoC includes the following related conferences: Rewriting Techniques and Applications (RTA), Conference on Automated Deduction (CADE), and Computer-Aided Verification (CAV). LICS and RTA will be held in parallel during the first four days of FLoC. CADE and CAV will be held during the last four days, with CADE workshops running in parallel with the last day of LICS. Plenary events involving all the conferences are scheduled. For further information on FLoC and the participating conferences, see the FLoC home page at {\tt http://www.research.att.com/lics/floc/}. Information about the Special Year can be found in {\tt http://dimacs.rutgers.edu/}. 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. {\bf 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.
\end{minipage}
\end{document}