Logic in Computer Science Proceedings 18th Annual IEEE Symposium

The LICS proceedings covers topics that include automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, and domain theory. The program also looks into finite model theory, formal aspects of program analysis, formal methods, hybrid systems, lambda and combinatory calculi, linear logic, logical aspects of computational complexity, logics in artificial intelligence, logics of programs, and logic programming.IEEE Computer Society Staff is the author of 'Logic in Computer Science Proceedings 18th Annual IEEE Symposium' with ISBN 9780769518848 and ISBN 0769518842.