Logic List Mailing Archive

LICS 2001 Call for Short Presentations (fwd)

---------- Forwarded message ----------
Date: Wed, 21 Mar 2001 14:14:56 -0600 (CST)
From: Martin Grohe <lics@math.uic.edu>
Reply-To: lics-request@math.uic.edu
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,
     compulog-list@cwi.nl, compunode@compulog.org, compunode@dfki.de,
     concurrency@cwi.nl, corpora@hd.uib.no, cs-logic@cs.indiana.edu,
     dataling@cst.ku.dk, deduktion@intellektik.informatik.th-darmstadt.de,
     dvmlglist@math.fu-berlin.de, elsnet@cogsci.ed.ac.uk, elsnet-list@let.uu.nl,
     folli@fwi.uva.nl, gazette@sfs.nphil.uni-tuebingen.de,
     grkk-ueberregional@informatik.uni-hamburg.de, gulp@di.unipi.it,
     illc-list@wins.uva.nl, info-elra@calva.net, kgs@logic.tuwien.ac.at,
     LANG-USER@vm.temple.edu, 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@cis.upenn.edu, mol-list@cis.upenn.edu, nlcl@cogs.susx.ac.uk,
     nl-kr@cs.rpi.edu, nlpeople@aisb.ed.ac.uk, nlpeople@cogsci.ed.ac.uk,
     nlpeople@dai.ed.ac.uk, nlp-ia@bosoleil.ci.umoncton.ca,
     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,
Subject: LICS 2001 Call for Short Presentations

		  Sixteenth Annual IEEE Symposium on
	      June  16 - 19, 2001, Boston, Massachusetts


The LICS Symposium is an annual international forum on theoretical and
practical topics in computer science that relate to logic in a broad

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

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