Sixteenth Annual IEEE Symposium on Logic in Computer Science

Abstract

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense. Topics of interest include: automata theory, category theory, concurrency, constraint programming, database theory, domain theory, finite model theory, formal methods, hybrid systems, language calculi, linear logic, complexity, artificial intelligence, logic programming, modal and temporal logics, model checking, semantics, security, rewriting, specifications, type theory, and verification.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 2001
Accession Number
ADA400637

Tags

Communities of Interest

  • Biomedical
  • C4I
  • Energy and Power Technologies
  • Engineered Resilient Systems
  • Ground and Sea Platforms

DTIC Thesaurus Topics

  • Automata
  • Automata Theory
  • Birds
  • Boolean Algebra
  • Computational Science
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Cryptography
  • Electronic Mail
  • Grammars
  • Instruction Set Architecture
  • Network Protocols
  • Security Protocols
  • Software Development
  • Web Browsers

Fields of Study

  • Computer science

Readers

  • Academic Conference Management
  • Artificial Intelligence
  • Mathematical Modeling and Probability Theory.

Technology Areas

  • AI & ML