5-8 July 2016, 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2016), New York NY, U.S.A.

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. LICS 2016 will be hosted at Columbia University in New York City.

Affiliated Workshops:
Logic Mentoring Workshop
LSB: 6th Workshop on Logic and Systems Biology
NLCS: 4th Workshop on Natural Language and Computer Science.
SR: 4th International Workshop on Strategic Reasoning.
LOLA: Syntax and Semantics of Low-Level Languages.

Early Registration Deadline: June 3, 2016. For more information, see http://lics.rwth-aachen.de/lics16/