LICS - Symposium on Logic in Computer Science

5th July 2016   -   8th July 2016
New York City, United States
http://lics.rwth-aachen.de/lics16/

Abstract

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

Related Fields

Share with others

Attendance Distribution

Attending this conference 0
Not attendind this conference 0
Not decided 0
Total responses 0

Are you attending this conference ?


Number of Views

Multiple view by same person within a gap of 5 min is counted as single view

Upcoming Conferences in United States

Based on the conferences in our database