LICS 2005 : 20th Annual IEEE Symposium on Logic in Computer Science (26-29 June 2005/Chicago, IL)

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science focusing on the field of logic. The proceedings explores finite model theory, formal aspects of program analysis, formal methods, logical aspects of computational complexity, logics in AI, logics of programs, and logic programming. LICS 2005 also examines topics such as automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, and domain theory.IEEE Computer Society Staff is the author of 'LICS 2005 : 20th Annual IEEE Symposium on Logic in Computer Science (26-29 June 2005/Chicago, IL)', published 2005 under ISBN 9780769522661 and ISBN 0769522661.