[C3] ================================================ AMAST Links 02 07

 Eleventh Annual IEEE Symposium on Logic In Computer Science, LICS'96
           New Brunswick, New Jersey, USA, July 27-30, 1996

   The full version of this Call for Papers is available in two
   forms: plain-text (?=txt) and LaTeX (?=tex) respectively at URL:
   http://www.cs.utwente.nl/data/amast/links/v02/i07/full/AC0207C3.?

  The 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.

  Suggested, but not exclusive, topics of interest include: abstract
data types, automated deduction, categorical models, concurrency,
constraint programming, constructive mathematics, database theory,
domain theory, finite model theory, hybrid systems, logics of
knowledge, lambda and combinatory calculi, linear logic, logical
aspects of computational complexity, logics in artificial intelligence,
logic programming, modal and temporal logics, model checking, program
logic and semantics, rewriting, logical aspects of symbolic computing,
software specification, type systems, verification.

  *Paper submission:* Send 12 copies of an extended abstract (not a
full paper) to the program chair. Authors without access to copiers may
submit a single copy. 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, if available.

  *Important Dates:*
   Submission deadline : December 13, 1995 (firm)
   Notification        : March 7, 1996
   Final papers due    : May 7, 1996

  A postscript version of the Call for Papers is available via
   LICS WWW page : http://www.research.att.com/lics/ 
   anonymous ftp : ftp://research.att.com/dist/lics