Reykjavik University
The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. LICS 2017 will be hosted at Reykjavik University [map] during 20–23 June 2017, with affiliated workshops 18–19 June.

Latest News


Workshop chair: Patricia Bouyer.

Sunday 18 June:

  • LMW: Logic Mentoring Workshop. Room V1.02. Anupam Das, Valeria Vignudelli, Fabio Zanasi.

Monday 19 June:

  • WiL: Women in Logic. Room M1.02. Valeria de Paiva, Amy Felty, Anna Ingolfsdottir, Ursula Martin.
  • LearnAut: Learning and Automata. Room M1.03. Borja Balle, Leonor Becerra-Bonache, Remi Eyraud.
  • INFINITY: 19th International Workshop on Verification of Infinite-State Systems. Room M1.04. Dmitry Chistikov and Christoph Haase.
  • LOLA: Syntax and Semantics of\ Low-Level Languages. Room M1.05. Matija Pretnar, Noam Zeilberger.
  • LCC: Logic and Computational Complexity. Room M1.08. Norman Danner, Anuj Dawar, Isabel Oitavem, Heribert Vollmer.
  • Metafinite model theory and def\ inability and complexity of numeric graph parameters. Room M1.09. Andrew Goodall, Janos A. Makowsky, Elena V. Ravve.

Invited Speakers

Important Dates

Titles and Short Abstracts Due 3 January 2017
Full Papers Due 9 January 2017
Author Feedback/Rebuttal Period 28 February – 4 March 2017
Author Notification 21 March 2017
Early Registration Deadline 7 April 2017
Final Versions Due for Proceedings 18 April 2017
Conference 20–23 June 2017 2017