LICS 2018 - Thirty-Third Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. We invite submissions on topics that fit under that rubric. Suggested, but not exclusive, topics of interest include:
automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, games and logic, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security and privacy, rewriting, type systems and type theory, and verification.
Program Committee Chair
Martin Hofmann, LMU Munich
Program Committee
Gilles Barthe, IMDEA Software Institute
Michael Benedikt, Univ. Oxford
Hans L. Bodlaender, Utrecht University
Ugo Dal Lago, Univ. Bologna & INRIA Sophia Antipolis
Samir Datta, Chennai Mathematical Institute
Anuj Dawar, Univ. Cambridge
Josee Desharnais, Univ. Laval
Jerome Feret, INRIA, ENS Paris
Erich Grädel, RWTH Aachen
Ichiro Hasuo, NII Tokyo
Alan Jeffrey, Mozilla Research
Bartek Klin, Univ. Warsaw
Antonina Kolokolova, Memorial Univ. Newfoundland
Orna Kupferman, Hebrew Univ. Jerusalem
Daniel Leivant, Indiana Univ.
Daniel R. Licata, Carnegie Mellon University
Anthony Widjaja Lin, Univ. Oxford
Sebastian Maneth, Univ. Bremen
Anca Muscholl, Univ. Bordeaux
Brigitte Pientka, McGill University
Thomas Place, Univ. Bordeaux
Ramyaa Ramyaa, New Mexico Tech.
Giselle Reis, Carnegie Mellon (Qatar)
Sylvain Schmitz, ENS Paris-Saclay
Nicole Schweikardt, HU Berlin
Peter Selinger, Dalhousie University
Zhong Shao, Yale University
Ana Sokolova, Univ. Salzburg
Thomas Streicher, TU Darmstadt
Carolyn Talcott, SRI International
Lijun Zhang, Chinese Academy of Sciences, Beijing
Workshop Chair
Patricia Bouyer, CNRS, ENS Cachan
LICS Publicity and Proceedings Chair
Sam Staton, Univ. Oxford
Local Organization
LICS Local Organizer: Sam Staton, Univ. Oxford
FLOC Organization Chairs: Daniel Kroening and Marta Kwiatkowkska, Univ. Oxford
FLOC Organizing Committee: J. Avigad, R. Calinescu, M. Chan, H. Chockler, C. Cremers, M. Gavanelli, J. Gutierrez, C. Haase, I. Horrocks, D. Kroening, M. Kwiatkowska, S. Kiefer, A. Murawski, G. Norman, D. Parker, A. Silva, P. Severi, S. Staton, M. Tautschnig, E. de Vink, G. Weissenbacher, C. Wintersteiger
Steering Committee
LICS Steering Committee: M. Abadi, L. Aceto, R. Alur, P. Bouyer, K. Chatterjee, M. Grohe (chair), M. Hasegawa, T. Henzinger, A. Ingólfsdóttir, E. Koskinen, S. Kreutzer, D. Miller, L. Ong, J. Ouaknine, C. Palamidessi, N. Shankar, A. Silva, S. Staton, M. Vardi.
FLOC Steering Committee: F. Baader, A. Biere, A. Cavalcanti, S. Chong, M. Grohe, O. Grumberg, D. Kroening (co-chair), M. Kwiatkowska (co-chair), L. Ong, P. Panangaden, L. Paulson, T. Schaub, M. Vardi (general chair)