5-8 Jul 2016
New York NY, U.S.A.
THIRTY-FIRST ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016) 5-8 July 2016, New York City, USA http://lics.rwth-aachen.de/lics16/ https://regmaster4.com/2016conf/LICS16/register.php * EVENT LICS 2016 will be hosted in New York City during July 5-8, 2016. This event also marks the thirtieth anniversary of LICS. * 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. * ACCEPTED PAPERS http://lics.rwth-aachen.de/lics16/accepted.html * IMPORTANT DATES May 15, 2016 - Logic Mentoring Workshop and Student Volunteers June 3, 2016 - Early Registration Deadline July 5-8, 2016 - Conference July 9-10, 2016 - Workshops -- [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