Thirty-Second Annual ACM/IEEE Symposium on
Logic in Computer Science (LICS)
18-23 June 2017, Reykjavik University
Registration for LICS 2017 and possibly workshops
You can register for LICS 2017 and possibly some of the
workshops held on Sunday, 18 June, and on Monday, 19 June, by
link. Due to strong competition of the tourist industry in
Iceland, the early registration deadline for LICS 2017 is Friday, 7
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.
- Early registration fee (members of ACM, ACM SIGLOG, ASL, EATCS or IEEE): 64,000 ISK
- Early student registration fee: 46,000 ISK
- Early registration fee (others): 88,000 ISK
- Late registration fee (members of ACM, ACM SIGLOG, ASL, EATCS or IEEE): 85,000 ISK
- Late student registration fee: 75,000 ISK
- Late registration fee (others): 115,000 ISK
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.
- The EATCS annual membership fee is of 30€. (For students, that would give a two-year membership.) The EATCS sponsors the Kleene Award 2017 and its Bulletin of the EATCS is published in an open-access form. See here for the benefits of membership, dues and how to join the EATCS.
- Information on ACM membership is available here. Professional membership costs 99 USD. See here for membership benefits.
- Information on ACM SIGLOG membership is available here. There is no need to have a separate ACM membership in order to join SIGLOG.
- Information on IEEE Computer Society membership is available here . Membership of the IEEE Computer Society costs 60 USD.
- Information on membership of the ASL is available here. A discounted introductory rate is available to new regular members of the Association for the first two consecutive years of membership (US$47 in 2017 and 2018). Dues may also be paid for up to 3 additional years (through 2021) at the current full $US94 rate.
Please send comments and bug