Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 20–23 June 2017

The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. 

  • 20.6.2017 - 23.6.2017, 8:00 - 17:00

Thirty-Second Annual ACM/IEEE Symposium onLogic in Computer Science (LICS)20–23 June 2017 • ReykjavikReykjavik UniversityThe 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

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

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 ScienceReyjavik University, and the Icelandic Centre of Excellence in Theoretical Computer Science.

  • ACM
  •  
  • IEEE
  •  
  • ASL
  •  
  • EATCS
  •  
  • Microsoft
  •  
  • Google
  •  
  • HR
  •  
  • ICETCS

Website by Sam Staton based on a bootstrap design by Hartmut Eilers and Eric Koskinen.