10th Workshop

Computational Logic and Applications

Göteborg, Sweden, 18-19 May 2017


The worshop will be held at the Chalmers University of Technology, Campus Johanneberg.

The talks will take place in the EDIT building at Campus Johanneberg. The room EDIT 3364 is located in the part of the building indicated by the pin on this map. The building can be accessed through entrances marked by numbers 8 and 11.

The room EDIT 8103 is located on the 7th floor in another part of the building, marked by the pin on this map. To reach the rooms follow the signs that will be put up inside of the building.


You may consider these choices for accommodation:

Other options can be found here or on your favourite accommodation website.


To get from the Göteborg Airport (GOT) to the city centre, you may use the airport busses Flygbussarna.
If you choose to take a taxi from the airport to the city centre, be prepared to pay around 450 SEK.
The trams and busses in Göteborg are run by Västtrafik.

Göteborg half-marathon (Göteborgsvarvet)

The Göteborg half-marathon will take place on May 20, one day after the end of the worksop, and will be attended by around 45k runners. This will cause disturbance to transportation in the city, so please start your trip to the airport in good time before your flight. The details on the disruption are not known at this point, but you can look at the map of the course here. Please note that a few smaller events are also organised during the week of the marathon, which might also cause minor disruption.


The map of planned diversions is available here. The main disruption of traffic is planned between 12:30 and 19:00 on 20 May. Live traffic information is available under this link.