Context

Context of Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science (LICS 2016) : July 5-8, 2016, New York City, USA, LICS general chair: Martin Grohe ; LICS conference chair: Eric Koskinen ; LICS program chair: Natarajan Shankar ; sponsored by IEEE Computer Society [and 7 others]
Processing Feedback ...