The Community for Technology Leaders
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2015)
Kyoto, Japan
July 6, 2015 to July 10, 2015
ISSN: 1043-6871
ISBN: 978-1-4799-8875-4

Cover Art (PDF)

pp. C4

Title Page i (PDF)

pp. i

Title Page iii (PDF)

pp. iii

Copyright Page (PDF)

pp. iv

Foreword (PDF)

pp. xi-xii

Conference Organization (PDF)

pp. xiii-xiv

External Reviewers (PDF)

pp. xvi-xx

Author Index (PDF)

pp. 762-763
94 ms
(Ver 3.3 (11022016))