Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Call for papers

Call for papers 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 http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Annals of Mathematics and Artificial Intelligence Springer Journals

Call for papers

Abstract

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...
Loading next page...
 
/lp/springer-journals/call-for-papers-HQSGfl3Ha0

References (0)

References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.

Publisher
Springer Journals
Copyright
Copyright
Subject
Computer Science; Artificial Intelligence; Mathematics, general; Computer Science, general; Complex Systems
ISSN
1012-2443
eISSN
1573-7470
DOI
10.1007/BF01531268
Publisher site
See Article on Publisher Site

Abstract

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

Journal

Annals of Mathematics and Artificial IntelligenceSpringer Journals

Published: Apr 5, 2005

There are no references for this article.