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:
Submission deadline: December 9, 1997
Notification: February 17, 1998
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.
{\bf Advisory Board:}
M. Abadi, S. Abiteboul, S. Abramsky, M. Dezani, J. Halpern,
R. Impagliazzo, L. Pacholski, A. Scedrov, D. Scott, J. Wing.
\end{minipage}
\end{document}
--------------------------------------------------------------------------
The dbworld list reaches many people, and should only be used for
messages of general interest to the database community.
To subscribe or unsubscribe yourself (or optionally (address)) from
dbworld, send a msg to majordomo@cs.wisc.edu with one of these lines:
subscribe dbworld (address)
unsubscribe dbworld (address)
To find out more options send a msg with the line:
help
--------------------------------------------------------------------------