The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic broadly construed. LICS 2006 will be organized as part of the Fourth Federated Logic Conference (FLoC 2006) to be held in Seattle from August 10 to August 22, 2006. Visit http://research.microsoft.com/floc06/ for information regarding FLoC 2006 and the participating meetings. Suggested, but not exclusive, topics of interest for LICS 2006 include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, domain theory, 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, logic programming, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, reasoning about security, rewriting, specifications, type systems and type theory, and verification. We welcome submissions in emergent areas, such as bioinformatics and quantum computation, if they have a substantial connection with logic. <b>Keywords:</b>
Abbrevation
LICS
City
SeattleWA
Country
United States
Deadline Paper
Start Date
End Date
Abstract