IEEE Symposium on Logic in Computer Science (LICS)

The IEEE Symposium on Logic in computer Science is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed.   It was founded in 1986 and is celebrating its 25th anniversary.    A sampling of the many subjects covered by the LICS conference includes automated deduction, concurrency and distributed computation,  constructive mathematics, database theory, finite model theory, formal aspects of program analysis, formal methods, logical aspects of computational complexity, logic in artificial intelligence, logics of programs, model checking,  programming language semantics, proof theory, reasoning about security, type systems and type theory, and formal verification.   

The LICS conference web site is: http://www2.informatik.hu-berlin.de/lics/