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
Local information
(under construction)

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! You can take a virtual 360-degrees tour of the building by following this link.

Nearby amenities include:

How to get to Reykjavik University

[Location of Reykjavik University and walking directions from Hotel Natura Reykjavik]
[Location of Reykjavik University and walking directions from Hotel Fron]
Bus number 5 comes to Reykjavik University (bus stop: Nauthólsvík - HR) every 15 minutes in the mornings. See here (for more information on the journey from Hlemmur, which is the main bus station in the city centre).

Getting to Reykjavik from the airport

Keflavik airport is located 45 minutes from Reykjavik. We recommend the FlyBus to get from the airport to the Reykjavik Bus Terminal (BSI) for 1950 ISK. A premium service called FlyBus+ will drop you off at your hotel. You can buy your ticket on line, which we recommend.

Where to eat and drink in Reykjavik

You can try the suggestions from these links. You are always welcome to ask one of the organizers or student helpers for advice.

How to get to the conference dinner

The conference dinner will be held at at Kolabrautin, which is located in the stunning Harpa concert hall. The main designers of the Harpa concert hall and conference centre are Danish architectural firm Henning Larsen Architects, who also designed the building of Reykjavik University, and Icelandic architectural firm Batteríið Architects. Danish-Icelandic artist Olafur Eliasson designed the south facade, and developed the principle for the remaining north/east/west facades and roof in collaboration with Henning Larsen Architects and Batteríið Architects.

What to do in Reykjavik

For general information on what to do in Reykjavik, see this official site or I Heart Reykjavik, which also has a section devoted to June in Iceland. You are always welcome to ask the organizers and their assistants for advice.


Please send comments and bug reports to Luca Aceto.