[Prev][Next][Index][Thread]
LICS'99: Call for Papers (text & LaTeX)
A postscript version of the call for papers is available via the LICS
web pages at http://www.bell-labs.com/topic/conferences/lics, and
http://www-rocq.inria.fr/verso/lics.
Fourteenth Annual IEEE Symposium on
LOGIC IN COMPUTER SCIENCE
July 2 - 5, 1999, Trento, Italy
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.
Topics of interest include: abstract data types, automated deduction,
bounded arithmetic, categorical models and logics, combination of
logics, concurrency, constraint programming, constructive mathematics,
database theory, denotational semantics, domain theory and
applications, finite model theory, formal methods, game semantics,
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, rewriting, semantics, software specification, type theory
and type systems, universal algebra, and verification.
Paper submission: Email an extended abstract (not a full paper) to the
program chair, Giuseppe.Longo@ens.fr, and to the associate chair,
Gilles.Dowek@inria.fr, to be received by December 10, 1998. The
abstract should mention, on the first page, one or more keywords
(possibly from the list above), in decreasing order of relevance. The
deadline is firm; late submissions and papers without keywords will
not be considered. Authors will be notified of acceptance or
rejection by February 17, 1999. Accepted papers in a specified format
for the proceedings will be due by April 5, 1999.
Format your abstract as a PostScript file, accompanied by a separately
emailed textfile cover letter. One hard copy must be sent to the
program chair, to arrive before December 18, 1998.
The first page of the extended abstract should include the title of
the paper, names and affiliations of authors, a brief synopsis, the
keywords, and the contact author's name, address, phone number, fax
number, and email address. 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
attend the conference in order to present it.
IMPORTANT DATES:
Submission deadline: December 10, 1998
Notification: February 17, 1999
Final papers due: April 5, 1999
Conference: July 2 - 5, 1999
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.
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 ITC-IRST, and is a part of the
Federated Logic Conference (FLoC'99). For more information about
FLoC, see http://www.cs.bell-labs.com/cm/cs/what/floc99.
PROGRAM CHAIR:
Giuseppe Longo
Attn: LICS
LIENS (CNRS) et DMI
Ecole Normale Superieure
45 Rue D'Ulm
75005 Paris, France
Giuseppe.Longo@ens.fr
Phone: +33-1-4432-3328
Fax: +33-1-4432-2080
PROGRAM COMMITTEE:
Martin Abadi, DEC SRC Martin Grohe, U. Freiburg
Rajeev Alur, U. Penn Nils Klarlund, AT&T Labs
Luigia C. Aiello, U. Roma Giorgio Levi, U. Pisa
Andrea Asperti, U. Bologna Giuseppe Longo (chair), ENS
Vincent Danos, CNRS & Paris VII Mitsuhiro Okada, Keio U.
Mariangiola Dezani, U. Torino Martin Otto, RWTH Aachen
Roberto Di Cosmo, ENS, Paris Edmund Robinson, Queen Mary
Gilles Dowek, INRIA Davide Sangiorgi, INRIA
Abbas Edalat, Imperial College Amilcar Sernadas, IST, Lisboa
Thomas Ehrhard, CNRS, Marseille Natarajan Shankar, SRI
Melvin Fitting, CUNY Wolfgang Thomas, RWTH Aachen
Rob van Glabbeek, Stanford U. Scott Weinstein, U. Penn
CONFERENCE CO-CHAIRS:
Eugenio Moggi
DISI, Universita di Genova
16146 Genova, Italy
moggi@disi.unige.it
Simona Ronchi della Rocca
Dipartimento di Informatica
Universita di Torino
I-10149 Torino, Italy
ronchi@di.unito.it
PUBLICITY CHAIR:
Leonid Libkin
Bell Laboratories/Lucent Technologies
600-700 Mountain Avenue,
Murray Hill, NJ 07974, USA
E-mail: libkin@research.bell-labs.com
LICS GENERAL CHAIR:
John C. Mitchell
Computer Science Department
Stanford University
Stanford, CA 94305-9045
mitchell@cs.stanford.edu
ORGANIZING COMMITTEE:
A. Aggarwal, M. Bezem, W. Brauer, E. Clarke, R. Constable,
N. Derschowitz, F. Giunchiglia, D. Leivant, L. Libkin, G. Longo,
M. Magidor, J. Mitchell (chair), E. Moggi, V. Pratt, J. Riecke,
S. Ronchi della Rocca, M. Stickel, J. Tiuryn, M.Y. Vardi,
J. Vitter, G. Winskel
ADVISORY BOARD:
M. Abadi, S. Abiteboul, S. Abramsky, M. Dezani, J. Halpern,
R. Impagliazzo, D. Kozen, L. Pacholski, A. Scedrov, D. Scott, J. Wing
================================================================
LATEX VERSION
================================================================
\documentstyle{article}
\topmargin-0.85in
\marginparwidth 0pt \oddsidemargin -24pt \evensidemargin 24pt
\marginparsep 0pt
\textwidth 6.5in \textheight 10.2in\parskip 6pt \parindent 0pt
\newcommand{\ital}[1]{{\it #1 \/}}
\begin{document}
\thispagestyle{empty}
\begin{center}
{\bf CALL FOR PAPERS}\\[2ex]
{\large Fourteenth Annual IEEE Symposium on }\\[2ex]
{\Large\bf LOGIC IN COMPUTER SCIENCE }\\[2ex]
{\large\it July 2 -- 5, 1999, Trento, Italy}\\[1ex]
{\tt http://www.bell-labs.com/topic/conferences/lics/} or
{\tt www-rocq.inria.fr/verso/lics/}
\end{center}
\small
\begin{minipage}[t]{2.1in}% first column
\parskip 4pt
{\bf Program Chair:} \\[1mm]
Giuseppe Longo\\
Attn: LICS\\
LIENS (CNRS) et DMI\\
{E}cole Normale Sup\'erieure\\
45 Rue D'Ulm\\
75005 Paris, France\\
{\tt Giuseppe.Longo@ens.fr}\\
Phone: +33-1-4432-3328\\
Fax: \hspace*{0.37cm}+33-1-4432-2080\\
{} \\
{\bf Program Committee:} \\[1mm]
Mart\'{\i}n Abadi, \ital{DEC SRC}\\
Rajeev Alur, \ital{U.\ Penn}\\
Andrea Asperti, \ital{U.\ Bologna}\\
Luigia C. Aiello, \ital{U.\ Roma I}\\
Vincent Danos, \ital{CNRS \& Paris VII}\\
Mariangiola Dezani, \ital{U.\ Torino}\\
Roberto Di Cosmo, \ital{ENS, Paris}\\
Gilles Dowek (associate chair), \ital{INRIA}\\
Abbas Edalat, \ital{Imperial College}\\
Thomas Ehrhard, \ital{CNRS, Marseille}\\
Melvin Fitting, \ital{CUNY}\\
Rob van Glabbeek, \ital{Stanford U.}\\
Martin Grohe, \ital{U.\ Freiburg}\\
Nils Klarlund, \ital{AT\&T Labs}\\
Giorgio Levi, \ital{U.\ Pisa}\\
Mitsuhiro Okada, \ital{Keio U.}\\
Martin Otto, \ital{RWTH Aachen}\\
Edmund Robinson, \ital{Queen Mary}\\ % \& Westfield Coll}\\
Davide Sangiorgi, \ital{INRIA}\\
Am\'{\i}lcar Sernadas, \ital{IST, Lisboa}\\
Natarajan Shankar, \ital{SRI}\\
Wolfgang Thomas, \ital{RWTH Aachen}\\
Scott Weinstein, \ital{U.\ Penn}\\
{}\\[1mm]
{\bf Conference Co-Chairs:} \\[1mm]
Eugenio Moggi \\
DISI, Univ.~di Genova\\
{\tt moggi@disi.unige.it}\\[3mm]
Simona Ronchi della Rocca\\
Universit\`a di Torino\\
{\tt email: ronchi@di.unito.it}\\
{}\\
{\bf Publicity Chair:}\\[1mm]
Leonid Libkin\\
Bell Labs,
Lucent Technologies\\
{\tt libkin@research.bell-labs.com}\\
{}\\
{\bf General Chair:}\\[1mm]
John C. Mitchell\\
Stanford University\\
{\tt mitchell@cs.stanford.edu}\\
\end{minipage}
\hskip .25 in
\begin{minipage}[t]{4.7in}% 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.
Topics of interest include: {\em abstract data types, automated
deduction, bounded arithmetic, categorical models and logics,
combination of logics, concurrency, constraint programming,
constructive mathematics, database theory, denotational semantics,
domain theory and applications, finite model theory, formal methods,
game semantics, 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, rewriting, semantics, software
specification, type theory and type systems, universal algebra, and
verification.}
{\bf Paper submission:} Email an extended abstract (not a full paper)
to the {\bf program chair}, {\tt Giuseppe.Longo@ens.fr}, {\em and} to
the associate chair, Gilles.Dowek@inria.fr, to be {\bf received} by
{\bf December 10, 1998}. The abstract should mention, on the first
page, one or more keywords (possibly from the list above), in
decreasing order of relevance. {\sl The deadline is firm; late
submissions and papers without keywords will not be considered.}
Authors will be notified of acceptance or rejection by February 17,
1999. Accepted papers in a specified format for the proceedings will
be due by April 5, 1999.
Format your abstract as a PostScript file, accompanied by a separately
emailed textfile cover letter. One hard copy must be sent to the
program chair, to arrive before December 18, 1998.
The first page of the extended abstract should include the title of
the paper, names and affiliations of authors, a brief synopsis, the
keywords, and the contact author's name, address, phone number, fax
number, and email address. 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
attend the conference in order to present it.
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 ITC-IRST, and is a part of the
Federated Logic Conference (FLoC'99). For more information about FLoC,
see {\tt www.cs.bell-labs.com/cm/cs/what/floc99}.
{\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.
{\bf Organizing Committee:} {A.~Aggarwal, M.~Bezem, W.~Brauer,
E.~Clarke, R.~Constable, N.~Derschowitz, F.~Giunchiglia, D.~Leivant,
L.~Libkin, G.~Longo, M.~Magidor, J.~Mitchell (chair), E.~Moggi,
V.~Pratt, J.~Riecke, S.~Ronchi della Rocca, M.~Stickel, J.~Tiuryn,
M.Y.~Vardi, J.~Vitter, G.~Winskel.}
\end{minipage}
\end{document}