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

Registration for LICS 2017 and possibly workshops

You can register for LICS 2017 and possibly some of the affiliated workshops held on Sunday, 18 June, and on Monday, 19 June, by following this link. Due to strong competition of the tourist industry in Iceland, the early registration deadline for LICS 2017 is Friday, 7 April 2017.

Before you register, we encourage you to review the following information.

Registration fees for the main conference, LICS 2017

The regular registration fees include the cost of the rooms, technical equipment, four lunches (one per conference day), eight coffee breaks (two per conference day), welcome reception and conference dinner at Kolabrautin (three course meal with three glasses of wine per participant).

The student registration fees include all the above items, apart from the conference dinner.

Note to prospective participants who are not members of ACM, ASL, EATCS or IEEE

We strongly encourage you to become a member of one of those scientific associations. Apart from saving a substantial amount on your registration fees, your membership fee will be used to support research in logic in computer science and in theoretical computer science as a whole. The following information might be of help in choosing which association to join.
Please send comments and bug reports to Luca Aceto.