5-8 Jul 2016
New York NY, U.S.A.
Thirty-first Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2016) New York, New York July 5--8, 2016 http://lics.rwth-aachen.de/lics16/ The LICS Symposium is an annual forum on theoretical and practical topics in computer science that relate to logic. This event marks the thirtieth anniversary of LICS. The Program Committee Chair is N. Shankar, the Conference Chair is E. Koskinen, the Workshop Chair is P. Bouyer-Decitre, and the General Chair is L. Ong. The Kleene Award for the best student paper, as judged by the Program Committee, will be presented at the symposium. -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam