Downloads & Free Reading Options - Results

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.