The logo of ICE-TCS is courtesy of Emilka Bojanczyk.

Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
18-23 June 2017, Reykjavik University
Registration information

Important notice

We strongly encourage conference and workshop participants to register, and to make their travel and accommodation arrangements as soon as possible. Iceland is a very hot holiday destination these days and it becomes fully booked soon, especially during the summer months.

Conference location

LICS 2017 and all the co-located workshops will be held on the premises of Reykjavik University (location on Google maps). Note: The university consists of only one building!

Registration links


The registration pages include one from which rooms that have been reserved for LICS 2017 participants can be booked. In case this is of help in planning your accommodation, we list those hotels below and suggest some alternatives. We strongly encourage you to book accommodation as early as possible.
Please send comments and bug reports to Luca Aceto.