[TYPES/announce] LICS 2016 Call for Participation

[Sam Staton]

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