# LICS'97 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.bell-labs.com/topic/conferences/lics/, and via
anonymous ftp from ftp.research.bell-labs.com, directory /dist/lics.
Our apologies if you receive multiple copies of this announcement.]

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 ================================================================ LATEX VERSION ================================================================ \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 Twelfth Annual IEEE Symposium on }\\[2ex] {\Large\bf LOGIC IN COMPUTER SCIENCE }\\[2ex] {\large\it June 29 -- July 2, 1997, Warsaw, Poland} \end{center} %%\vspace{.2in} \small \begin{minipage}[t]{2.00in}% first column \parskip 4pt {\bf Program Chair:} \\[1mm] Glynn Winskel\\ Attn: LICS\\ Department of Computer Science\\ Aarhus University\\ Ny Munkegade, building 540\\ 8000 Aarhus C, Denmark\\ {\tt lics97@brics.dk}\\ Phone: +45 8942 3360\\ Fax: +45 8942 3255\\ {\bf Program Committee:} \\[1mm] Jon Barwise, \i{Indiana U}\\ David Basin, \i{MPI, Saarbr\"ucken}\\ Steven Brookes, \i{CMU}\\ Pierre-Louis Curien, \i{ENS, Paris}\\ Anuj Dawar, \i{Swansea U}\\ Peter Dybjer, \i{Chalmers U}\\ Amy Felty, \i{Bell Labs}\\ Matthew Hennessy, \i{Sussex U}\\ Claude Kirchner, \i{INRIA Lorraine}\\ Jan Krajicek, \i{Prague U}\\ Pat Lincoln, \i{SRI}\\ Ken McMillan, \i{Cadence}\\ Damian Niwinski, \i{Warsaw U}\\ Jens Palsberg, \i{MIT}\\ Andrew Pitts, \i{Cambridge U}\\ Vaughan Pratt, \i{Stanford U}\\ Colin Stirling, \i{Edinburgh U}\\ Glynn Winskel (chair), \i{Aarhus U}\\ {\bf Conference Chair:} \\[1mm] Jerzy Tiuryn\\ Institute of Informatics\\ Warsaw University\\ Banacha 2\\ 02-097 Warsaw, POLAND\\ {\tt lics97@mimuw.edu.pl}\\ {\bf General Chair:}\\[1mm] Moshe Y. Vardi\\ Department of Computer Science\\ Rice University\\ Houston, Texas 77251-1892, USA\\ {\tt vardi@cs.rice.edu}\\ {\bf Publicity Chair:}\\[1mm] Leonid Libkin\\ Bell Labs, Lucent Technologies\\ 600-700 Mountain Avenue\\ Murray Hill, NJ 07974, USA\\ {\tt libkin@research.bell-labs.com}\\ \end{minipage} \hskip .25 in \begin{minipage}[t]{4.5in}% 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 11, 1996}. {\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 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. 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. {\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.

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).

{\bf Organizing Committee:} M.~Abadi, S.~Abramsky, A.~Aggarwal,
S.~Artemov, E.~B\"orger, 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.

\end{minipage}
\end{document}