# LICS'98: 2nd Call for Papers (text & LaTeX)


A postscript version of the call for papers is available via the LICS
web page at http://www.bell-labs.com/topic/conferences/lics.

Thirteenth Annual IEEE Symposium on
LOGIC IN COMPUTER SCIENCE
June 21 - 24, 1998, Indianapolis, Indiana

CALL FOR PAPERS

The LICS Symposium is an annual international forum on theoretical and
practical topics in computer science that relate to logic in a broad
sense.  The 1998 program will consist of invited and contributed talks
and two tutorials.  It will be preceded by workshops on Probabilistic
Methods in Verification and Real Number Computation, and followed by
workshops on Formal Methods & Security Protocols and Logic &
Diagrammatical Information.

Suggested, but not exclusive, topics of interest for submissions
include: abstract data types, automated deduction, bounded arithmetic,
categorical models and logics, concurrency, constraint programming,
constructive mathematics, database theory, domain theory, finite model
theory, formal methods, hybrid systems, logics of knowledge, lambda
and combinatory calculi, linear logic, logical aspects of
computational complexity, logics in artificial intelligence, logics of
programs, logic programming, modal and temporal logics, model
checking, logical aspects of protocol security, quantum logics,
rewriting, semantics, software specification, type systems, universal
algebra, and verification.

Paper submission: An extended abstract (not a full paper) should be
mailed electronically to the program chair, pratt@lics98.stanford.edu,
to be received by December 9, 1997.  This deadline is firm.  Authors
will be notified of acceptance or rejection by February 17, 1998.
Accepted papers in camera-ready form will be due by April 4, 1998.

Your submission may not exceed 10 typed pages in no less than 11-point
font.  It should be formatted as a PostScript file in USLetter size,
and be accompanied by a separately emailed cover letter in plain ascii
text.

Submissions must be in English and provide sufficient detail to allow
the program committee to assess the merits of the paper.  Submissions
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.
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
attend the conference in order to present it.  Further submission
information may be found at http://lics98.stanford.edu.

IMPORTANT DATES:
Final papers due: April 4, 1998
Conference: June 21 - 24, 1998

Kleene Award for Best Student Paper: An award of $500, in honor of the late S.C. Kleene, may be given for the best student paper, as judged by the program committee. Eligibility requires all authors to be full-time students at the date of submission; this must be noted on the submission letter. Sponsors: 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 1998 symposium is hosted by Indiana University at Bloomington, and will take place at the Indiana University Conference Center in Indianapolis. PROGRAM CHAIR: Vaughan Pratt Attn: LICS Computer Science Department Gates Building 4B Stanford University Stanford, CA 94305-9045 pratt@lics98.stanford.edu Phone: 415-723-2943 Fax: 415-725-4671 PROGRAM COMMITTEE: Serge Abiteboul, INRIA Eugenio Moggi, U Genoa Luca Aceto, Aalborg U Tobias Nipkow, TU Munich Erich Graedel, RWTH Aachen Luke Ong, Oxford U Edith Hemaspaandra, Lemoyne Coll Doron Peled, Bell Labs Tom Henzinger, UC Berkeley Vaughan Pratt (chair), Stanford U Neil Immerman, U Mass Laurent Regnier, CNRS Marseilles Bengt Jonsson, Uppsala U William Rounds, U Michigan Giuseppe Longo, ENS Alasdair Urquhart, U Toronto Dale Miller, Penn State INVITED SPEAKERS Dirk van Dalen, U Utrecht Roger Needham, Microsoft Research Moshe Vardi, Rice U TUTORIALS Johan van Benthem, U Amsterdam, "Logics of dynamic processes" Wolfgang Thomas, U Kiel, "Automata and logic" CONFERENCE CHAIR: Daniel Leivant leivant@cs.indiana.edu PUBLICITY CHAIR: Leonid Libkin E-mail: libkin@research.bell-labs.com LICS GENERAL CHAIR: John C. Mitchell mitchell@cs.stanford.edu ORGANIZING COMMITTEE: A. Aggarwal, M. Bezem, E. Borger, W. Brauer, S. Buss, E. Clarke, R. Constable, F. Giunchigli, C. Kirchner, D. Kozen, T. Leighton, D. Leivant, L. Libkin, G. Longo, M. Magidor, J. Mitchell (chair), E. Moggi, V. Pratt, J. Remmel, J. Riecke, S. Ronchi della Rocca, M. Stickel, J. Tiuryn, M.Y. Vardi, G. Winskel. ADVISORY BOARD: M. Abadi, S. Abiteboul, S. Abramsky, M. Dezani, J. Halpern, R. Impagliazzo, L. Pacholski, A. Scedrov, D. Scott, J. Wing. ================================================================ LATEX VERSION ================================================================ \documentstyle{article} \topmargin-1.00in \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 Thirteenth Annual IEEE Symposium on }\\[2ex] {\Large\bf LOGIC IN COMPUTER SCIENCE }\\[2ex] {\large\it June 21 -- 24, 1998, Indianapolis, Indiana}\\[1ex] {\tt http://www.bell-labs.com/topic/conferences/lics/} \end{center} %%\vspace{.2in} \small \begin{minipage}[t]{2.00in}% first column \parskip 4pt {\bf Program Chair:} \\[0.4mm] Vaughan Pratt\\ Attn: LICS\\ Computer Science Department\\ Gates Building 4B\\ Stanford University\\ Stanford, CA 94305-9045\\ {\tt pratt@lics98.stanford.edu}\\ Phone: 415-723-2943\\ Fax: \hspace*{0.37cm}415-725-4671\\ {\bf Program Committee:} \\[0.4mm] Serge Abiteboul, \i{INRIA}\\ Luca Aceto, \i{Aalborg U}\\ Erich Gr\"{a}del, \i{RWTH Aachen}\\ Edith Hemaspaandra, \i{Lemoyne Coll}\\ Tom Henzinger, \i{UC Berkeley}\\ Neil Immerman, \i{U Massachusetts}\\ Bengt Jonsson, \i{Uppsala U}\\ Giuseppe Longo, \i{ENS}\\ Dale Miller, \i{Penn State}\\ Eugenio Moggi, \i{U Genoa}\\ Tobias Nipkow, \i{TU Munich}\\ Luke Ong, \i{Oxford U}\\ Doron Peled, \i{Bell Labs}\\ Vaughan Pratt (chair), \i{Stanford U}\\ Laurent Regnier, \i{CNRS Marseilles}\\ William Rounds, \i{U Michigan}\\ Alasdair Urquhart, \i{U Toronto }\\ {\bf Invited Speakers:} \\[0.4mm] Dirk van Dalen, \i{U Utrecht}\\ Roger Needham, \i{Microsoft Research}\\ Moshe Vardi, \i{Rice U}\\ {\bf Tutorials:} \\[0.4mm] Johan van Benthem, \i{U Amsterdam}\\ Wolfgang Thomas, \i{U Kiel}\\ {\bf Conference Chair:} \\[0.4mm] Daniel Leivant, \i{Indiana U}\\ {\tt leivant@cs.indiana.edu}\\ {\bf Publicity Chair:}\\[0.4mm] Leonid Libkin, \i{Bell Labs}\\ {\tt libkin@research.bell-labs.com}\\ {\bf General Chair:}\\[0.4mm] John C. Mitchell, \i{Stanford U}\\ {\tt mitchell@cs.stanford.edu}\\ \end{minipage} \hskip .25 in \begin{minipage}[t]{4.5in}% second column \parskip 4pt The {\bf LICS} Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense. The 1998 program will consist of invited and contributed talks and two tutorials. It will be preceded by workshops on {\em Probabilistic Methods in Verification} and {\em Real Number Computation,} and followed by workshops on {\em Formal Methods and Security Protocols} and {\em Logic and Diagrammatical Information.} Suggested, but not exclusive, topics of interest for submissions include: {\sl abstract data types, automated deduction, bounded arithmetic, categorical models and logics, concurrency, constraint programming, constructive mathematics, database theory, domain theory, finite model theory, formal methods, hybrid systems, logics of knowledge, lambda and combinatory calculi, linear logic, logical aspects of computational complexity, logics in artificial intelligence, logics of programs, logic programming, modal and temporal logics, model checking, logical aspects of protocol security, quantum logics, rewriting, semantics, software specification, type systems, universal algebra, and verification.} {\bf Paper submission:} An extended abstract (not a full paper) should be mailed electronically to the program chair, {\small\tt pratt@lics98.stanford.edu}, to be received by {\bf December 9, 1997}. This deadline is {\bf firm}. Authors will be notified of acceptance or rejection by February 17, 1998. Accepted papers in camera-ready form will be due by April 4, 1998. Your submission may not exceed 10 typed pages in no less than 11-point font. It should be formatted as a PostScript file in USLetter size, and be accompanied by a separately emailed cover letter in plain ascii text. Submissions must be in English and provide sufficient detail to allow the program committee to assess the merits of the paper. Submissions 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. 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 attend the conference in order to present it. Further submission information may be found at {\small\tt http://lics98.stanford.edu.} {\bf Kleene Award for Best Student Paper:} An award of \$500, in honor of the late S.C.\ Kleene, may be given for
the best student paper, as judged by the program committee.
Eligibility requires all authors to be full-time students at
the date of submission; this must be noted on the submission letter.

{\bf Sponsors:} 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 1998 symposium is hosted by Indiana University
at Bloomington, and will take place at the Indiana University Conference
Center in Indianapolis.

{\bf Organizing Committee:}
A.~Aggarwal, M.~Bezem, E.~B\"orger, W.~Brauer, S.~Buss, E.~Clarke,
R.~Constable, F.~Giunchiglia, C.~Kirchner, D.~Kozen, T.~Leighton,
D.~Leivant, L.~Libkin, G.~Longo, M.~Magidor, J.~Mitchell (chair),
E.~Moggi, V.~Pratt, J.~Remmel, J.~Riecke, S.~Ronchi della Rocca,
M.~Stickel, J.~Tiuryn, M.Y.~Vardi, G.~Winskel.