Foreword

This volume contains the proceedings of the Twenty-Seventh Annual ACM/IEEE Symposium on Logic in Computer Science. LICS is an annual international forum on the broad range of topics that lie at the intersection of computer science and mathematical logic. LICS 2012 was sponsored by the IEEE Technical Committee on Mathematical Foundations of Computing and by the ACM Special Interest Group on Algorithms and Computation Theory (SIGACT), in cooperation with the Association for Symbolic Logic and the European Association for Theoretical Computer Science. The meeting was held at the Electrical Engineering and Computing Department of the University of Dubrovnik, in Dubrovnik, Croatia, from June 25th to 28th, 2012. The 60 contributed papers in this volume were selected from 171 submissions. Submissions were initially reviewed by at least three members of the program committee. In some cases, the committee chose to consult additional reviewers, whose names are listed below. The program committee carried out extensive electronic discussions, which included communication with many authors to obtain clarifications regarding specific aspects of their submissions. I would like to thank my fellow program committee members for all their very hard work selecting a high quality, stimulating program of contributed papers. The symposium program also included short-paper sessions, co-chaired by Andrei Bulatov and Olivier Laurent, with 13 presentations.