Sixteenth Annual IEEE Symposium on
LOGIC IN COMPUTER SCIENCE
June 16 - 19, 2001, Boston, Massachusetts
http://www.math.uic.edu/lics/lics01/
CALL FOR SHORT PRESENTATIONS
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 2001 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, in English), should
be entered at the LICS submission site http://lics.cs.bell-labs.com/
between March 20 and March 31, 2001. Authors will be notified of
acceptance or rejection by May 1, 2001.
Suggested, but not exclusive, topics of interest for submissions
include: abstract data types, automata theory, automated deduction,
bounded arithmetic, categorical models and logics, coinductive
techniques, concurrency and distributed computation, constraint
programming, constructive mathematics, database theory, domain theory,
finite model theory, formal aspects of program analysis, 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, reasoning about security, rewriting, semantics,
specifications, type systems and type theory, universal algebra, and
verification.
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.
Program Chair:
Joseph Halpern
Computer Science Dept.
4144 Upson Hall
Cornell University
Ithaca, NY 14853, USA
Email: halpern@cs.cornell.edu
Phone: +1 607 255 9562
Fax: +1 607 255-4428
Program Committee:
Parosh Abdulla, Uppsala U.
Rance Cleaveland, SUNY Stony Brook
Hubert Comon, CNRS -- ENS Cachan
Thomas Eiter, T.U. Vienna
Erich Graedel, RWTH Aachen
Nevin Heintze, Bell Labs
Radha Jagadeesan, Loyola U.
Jean-Pierre Jouannaud, U. Paris-Sud
Patrick Lincoln, SRI International
David McAllester, AT&T Labs
Ron van der Meyden, U. New South Wales
Adolfo Piperno, U. Roma "La Sapienza"
Gordon Plotkin, U. Edinburgh
Michel de Rougemont, U. Paris-II
Thomas Streicher, T.U. Darmstadt
Pawel Urzyczyn, U. Warsaw
Pierre Wolper, U. Liege
Conference Chair:
Harry Mairson
Boston University
111 Cummington Street
Boston, MA 02215
Email: mairson@cs.bu.edu
This archive was generated by hypermail 2b29 : Thu Mar 22 2001 - 22:09:27 MET