Elsnet
 
   


ELSNET-list archive

Category:   E-CFP
Subject:   LICS 2001 Call for Short Presentations
From:   Martin Grohe
Email:   lics_(on)_math.uic.edu
Date received:   22 Mar 2001
Deadline:   31 Mar 2001
Start date:   16 Jun 2001

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_(on)_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_(on)_cs.bu.edu
 

[print/pda] [no frame] [navigation table] [navigation frame]     Page generated 13-02-2008 by Steven Krauwer Disclaimer / Contact ELSNET