LICS 2016 Committes and Organization

Program Committee Chair

• Joel Ouaknine, U. Oxford

Program Committee

TBC

Conference Chairs

• Luca Aceto, Reykjavik University
• Anna Ingólfsdóttir, Reykjavik University

Workshop Chair

• Patricia Bouyer-Decitre, CNRS & ENS Cachan

Publicity and Proceedings Chair

• Sam Staton, U. Oxford

General Chair

• Martin Grohe, RWTH Aachen University

Steering Committee

M. Abadi, R. Alur, P. Bouyer-Decitre, K. Chatterjee, M. Grohe, M. Hasegawa, T. Henzinger, E. Koskinen, S. Kreutzer, O. Kupferman, D. Miller, M. Mislove, L. Ong, C. Palamidessi, N. Shankar, A. Silva, S. Staton, M. Vardi.

Sponsorship

The symposium is sponsored by ACM SIGLOG and the IEEE Technical Committee on Mathematical Foundations of Computing, in cooperation with the Association for Symbolic Logic, the European Association for Theoretical Computer Science, Reyjavik University, and the Icelandic Centre of Excellence in Theoretical Computer Science.