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
- The proceedings are now available for those who have registered.
- The program has now been uploaded.
- The social program is now available. Drop Luca Aceto a line if you'd like to join the LICS football match on Wednesday.
- Winners of the Kleene Award for Best Student Paper and LICS 1997/2017 Test-of-Time Award announced.
- Accepted papers are now available.
- Local information is available.
- Registration is open. You are encouraged to make travel and accommodation arrangements as soon as possible.
Workshops
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
- Thomas Colcombet (Institut de Recherche en Informatique Fondamentale / CNRS)
- Kousha Etessami (University of Edinburgh)
- Luke Ong (University of Oxford)
- Corina Pasareanu (NASA Ames / Carnegie Mellon University)
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 |
LICS Sponsorship
The symposium is sponsored by ACM SIGLOG and the IEEE Technical Committee on Mathematical Foundations of Computing, and by Microsoft Research and Google, 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.
Website by Sam Staton based on a bootstrap design by Hartmut Eilers and Eric Koskinen.