The LICS Symposium is an annual international forum on theoretical and practical topics<br>in computer science that relate to logic, broadly construed. We invite submissions on<br>topics that fit under that rubric. Suggested, but not exclusive, topics of interest include:<br>automata theory, automated deduction, categorical models and logics, concurrency and distributed<br>computation, constraint programming, constructive mathematics, database theory,<br>decision procedures, description logics, domain theory, finite model theory, formal aspects of<br>program analysis, formal methods, foundations of computability, higher–order logic, lambda<br>and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical<br>aspects of bioinformatics, logical aspects of computational complexity, logical aspects of<br>quantum computation, logical frameworks, logics of programs, modal and temporal logics,<br>model checking, probabilistic systems, process calculi, programming language semantics,<br>proof theory, real–time systems, reasoning about security, rewriting, type systems and type<br>theory, and verification.<br>
Abbrevation
LICS
City
Dubrovnik
Country
Croatia
Deadline Paper
Start Date
End Date
Abstract