Logic List Mailing Archive
LICS 2002 Call for Papers (fwd)
---------- Forwarded message ----------
Date: Thu, 6 Dec 2001 12:06:34 +0000 (GMT)
From: "Martin Grohe (LICS Publicity Chair)" <grmail@dcs.ed.ac.uk>
Reply-To: lics-request@dcs.ed.ac.uk
To: acl@cs.columbia.edu, acm@ciup1.ncc.up.pt, aiia@di.unito.it,
amast@cs.utwente.nl, announce@sigart.acm.org,
arpanet-bboards@mc.lcs.mit.edu, asl@math.uiuc.edu, colibri@let.uu.nl,
compunode@compulog.org, compunode@dfki.de, concurrency@cwi.nl,
corpora@hd.uib.no, cs-logic@cs.indiana.edu, dataling@cst.ku.dk,
dvmlglist@math.fu-berlin.de, elsnet-list@let.uu.nl, elsnet@cogsci.ed.ac.uk,
gazette@sfs.nphil.uni-tuebingen.de, general@cogsci.ed.ac.uk,
graduiertenkolleg-infos@ims.uni-stuttgart.de, gulp@di.unipi.it,
illc-list@wins.uva.nl, info-elra@calva.net, kgs@logic.tuwien.ac.at,
lfg@lists.stanford.edu, linear@cs.stanford.edu, ln-fr@cnusc.fr,
logic-list@helsinki.fi, logic@math.ufl.edu, lprolog@central.cis.upenn.edu,
lprolog@central.cis.upenn.edu, mol-list@cis.upenn.edu, mol@cis.upenn.edu,
nl-kr@cs.rpi.edu, nlcl@cogs.susx.ac.uk, nlp-ia@bosoleil.ci.umoncton.ca,
nlpeople@aisb.ed.ac.uk, nlpeople@dai.ed.ac.uk, nlt@cherry.aist-nara.ac.jp,
ozsl-list@wins.uva.nl, prog-lang@diku.dk, prolog-vendors@sics.se,
proof-request@cs.chalmers.se, sidsepln@si.ehu.es, siggen@cs.bgu.ac.il,
sigparse-list@cs.cmu.edu, theorem-provers@ai.mit.edu,
theorem-provers@mc.lcs.mit.edu, theory-logic@cs.cmu.edu,
unification@sics.se
Subject: LICS 2002 Call for Papers
Seventeenth Annual IEEE Symposium on
LOGIC IN COMPUTER SCIENCE
July 22nd - 25th, 2002, Copenhagen, Denmark
http://www.lfcs.informatics.ed.ac.uk/lics
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. LICS 2002 will be part of the 2002 Federated Logic Conference
(FLoC 2002), to be held in Copenhagen, Denmark, July 20th - August
1st, 2002.
Suggested, but not exclusive, topics of interest for submissions
include: automata theory, automated deduction, categorical models and
logics, concurrency and distributed computation, constraint
programming, constructive mathematics, database theory, domain theory,
finite model theory, formal aspects of program analysis, formal
methods, hybrid systems, 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, programming language semantics,
reasoning about security, rewriting, specifications, type systems and
type theory, and verification.
Paper submission will be electronic. The deadline for submissions is
January 15th, 2002.
This deadline is firm; late submissions will not be considered. The
URL for electronic paper submission is
http://lics02.lfcs.informatics.ed.ac.uk.
Authors will be notified of acceptance or rejection by March 22nd,
2002; accepted papers in a specified format for the proceedings will
be due by May 1st, 2002.
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. The extended abstract may not exceed 5000 words,
excluding bibliography and figures. 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. Technical development directed to the specialist
should follow. If a result is surprising, then the subtleties should
be explained. (If necessary, details can be included in a
clearly-labelled appendix or there can be a pointer to a manuscript on
a web site.) References and comparisons with related work should be
included. 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. The PC chair should be informed of closely related work
submitted to a conference or journal between January 15th, 2002 and
March 22nd, 2002. All authors of accepted papers will be expected to
sign copyright release forms. One author of each accepted paper will
be expected to present it at the conference.
LICS 2002 will have a session of short (5-10 minutes)
presentations. This session is intended for descriptions of work in
progress, student projects, and relevant research being published
elsewhere; other brief communications may be acceptable. Submissions
for these presentations, in the form of short abstracts (1 or 2 pages
long), should be entered at the LICS submission site between March
25th and March 29th, 2002. Authors will be notified of acceptance or
rejection by April 12th, 2002
The symposium is sponsored by the IEEE Technical Committee on
Mathematical Foundations of Computing in cooperation with the
Association for Symbolic Logic, and the European Association for
Theoretical Computer Science.
Kleene Award for Best Student Paper: An award in honor of the late
S.C. Kleene will be given for the best student paper, as judged by the
program committee. For a paper to be eligible the research presented
must have been carried out while at least one of the authors was a
full-time student. Multiple-authored papers are permitted. The exact
circumstances, including allocation of credit, should be detailed in
the submission letter, SIGNED BY ALL AUTHORS. The program committee
may decline to make the award or may split it among several papers.
Invited Speakers: The following distinguished speakers have agreed to
give invited talks at LICS 2002: Stephen Cook (University of Toronto),
Georg Gottlob (TU Wien), John Reynolds (Carnegie Mellon), Natarajan
Shankar (SRI). Maurizio Lenzerini (Universita di Roma "La Sapienza")
will give an invited tutorial on Description Logics.
Collocated events: The following conferences are collocated with LICS
at FLoC 2002: CADE, CAV, FME, ICLP, RTA, TABLEAUX; see
http://floc02.diku.dk/ for details. There will also be many workshops
sponsored by the FLoC conferences. For the LICS ones, see
http://www.lfcs.informatics.ed.ac.uk/lics for details as they are
announced.
Program Chair:
Gordon Plotkin
Division of Informatics
The University of Edinburgh
James Clerk Maxwell Building
Mayfield Road
Edinburgh EH9 3JZ
United Kingdom
Email: gdp@dcs.ed.ac.uk
Phone: + 44 131 650 5158
Fax: + 44 131 667 7209
Program Committee:
Marco Cadoli, Universita di Roma "La Sapienza"
Vincent Danos, CNRS, Universite Paris VII
Anuj Dawar, University of Cambridge
Rocco De Nicola, Universita degli Studi di Firenze
Harald Ganzinger, Max-Planck-Institut fuer Informatik
Orna Grumberg, Technion - Israel Institute of Technology
Robert Harper, Carnegie Mellon University
Furio Honsell, University of Udine
Phokion Kolaitis, University of California at Santa Cruz
Johann Makowski, Technion - Israel Institute of Technology
Oded Maler, CNRS-Verimag
Yoram Moses, Technion - Israel Institute of Technology
Robert Nieuwenhuis, Technical University of Catalonia (UPC)
Peter O'Hearn, Queen Mary & Westfield College, University of London
Doron A. Peled, Bell Laboratories
Benjamin C. Pierce, University of Pennsylvania
Andrew Pitts, University of Cambridge
Gordon Plotkin (chair), University of Edinburgh
Andreas Podelski, Max-Planck-Institut fuer Informatik
Andre Scedrov, University of Pennsylvania
Peter Thiemann, Universitaet Freiburg
Andrei Voronkov, University of Manchester
Local Arrangements Chair:
Ulrich Kohlenbach
Department of Computer Science, BRICS
University of Aarhus
Ny Munkegade, Building 540
DK-8000 Aarhus C
Denmark
Email: kohlenb@brics.dk
Publicity Chair:
Martin Grohe
Division of Informatics
The University of Edinburgh
James Clerk Maxwell Building
Mayfield Road
Edinburgh EH9 3JZ
United Kingdom
Email: grohe@dcs.ed.ac.uk
General Chair:
Samson Abramsky
Oxford University Computing Laboratory
Wolfson Building
Parks Road
Oxford, OX1 3QD
England
Email: Samson.Abramsky@comlab.ox.ac.uk
Organizing Committee:
M. Abadi, S. Abramsky (chair), A. Aggarwal, M. Bezem, E. Clarke,
R. Constable, N. Dershowitz, J. Diaz, H. Ganzinger,
F. Giunchiglia, M. Grohe, J. Halpern, D. Leivant, L. Libkin,
G. Longo, D. A. Martin, J. Mitchell, E. Moggi, V. Pratt,
S. Ronchi della Rocca, 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.