TY - JOUR
AB - Ninth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE July 4-7, 1994, Paris, France The lics symposia aim to attract high quality original papers covering theoretical and practical issues in computer science that relate to logic in a broad sense, including algebraic, categorial and topological approaches. Suggested but not exclusive, topics of interest include: abstract data types, automated deduction, concurrency, constructive mathematics, data base theory, finite model theory, knowledge representation, lambda and combinatory calculi, logical aspects of computational complexity, logics in artificial intelligence, logic programming, modal and temporal logics, program logic and semantics, rewrite rules, logical aspects of symbolic computing, problem solving environments, software specification, type systems, verification. DATES: Submission deadline" December 13, 1993, Notification: February 21, 1994, Final papers due: April 15, 1994, Conference: July 4- 7, 1994 LICS' 94 is sponsered by the mF~E Technical Committee on Mathematical Foundations of Computing, in cooperation with the Association for Symbolic Logic and European Association for Theoretical Computer Science. The cooperation of the ACM is anticipated. The symposium is organized by INRIA, and hosted by the Conservatoire National des Arts et M6tiers (CNAM) as part of its bicentennial. Sponsership by the CNRS and Universit6 d' Orsay is expected. For further 
TI - Call for papers
JF - Annals of Mathematics and Artificial Intelligence
DO - 10.1007/BF01531268
DA - 2005-04-05
UR - https://www.deepdyve.com/lp/springer-journals/call-for-papers-HQSGfl3Ha0
SP - II
EP - II
VL - 9
IS - 2
DP - DeepDyve
ER -