[TYPES/announce] LICS 2016 Call for Participation
sam.staton at cs.ox.ac.uk
Sat May 14 16:19:35 EDT 2016
THIRTY-FIRST ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016)
5-8 July 2016, New York City, USA
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
* 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
More information about the Types-announce