Logic in Stockholm 2017, August 7-25

Venues for Logic in Stockholm 2017

The conferences will all take place on the Frescati campus and Kräftriket campus of Stockholm University which is located in the northern part of Stockholm, in the Royal National City Park. Stockholm city is easily accessible by plane via the airports Arlanda (40 km), Bromma (10 km) and Skavsta (150 km), and by train via Stockholm central station; see below for local transport information.

Frescati campus

The ASL Logic Colloquium (14–20 August) and Computer Science Logic (20–24 August), 2017 will take place at the Frescati campus ( map (pdf 2,0 MB) ), which is easily accessible by metro (Red Line, towards Mörby Centrum), station Universitetet, or by bus no.50, stop Universitetet.

All talks of the ASL Logic Colloquium will take place in Södra Huset (see map). The joint ASL–EACSL session on 20 August will take place in the Geovetenskapens hus (Geosciences Building, see map), as will the rest of Computer Science Logic.

The main lunch restaurant is Lantis  (see map).

Kräftriket campus

Kräftriket campus ( map (pdf 1,7 MB) ) is located 500 meters south of Frescati campus and is also accessible via bus 50, stop Albano. It hosts the Department of Mathematics. The conference venues are in building 5 (see map)

The Nordic Logic Summer School (7–11 August) will take place in building 5. The CSL affiliated workshops Logic and Algorithms in Computational Linguistics (16–19 August), Logic and Automata Theory (25 August) and Logical Aspects of Multi-Agent Systems (25 August) will be held in the same building.

The main lunch restaurant is Kräftan  in building 9 (see map).

Transport

Stockholm has extensive and reliable public transport — buses, metro (T-bana), and local trains (Pendeltag). Payment for all is via “SL Access Card”, which you can buy at stations and newsagents, either with pay-as-you-go credit or a fixed-duration pass ( fares and information ), or by smartphone app. Route information and timetables can be found on the SL journey planner  and on Google maps . Anywhere close to the T-bana (especially the red line) or to the route of bus 50 will be convenient for travel to/from campus.

There is also an extensive City Bikes  rental network, including stands at both Frescati and Kräftriket campuses; subscription is via prepaid access card (can be loaded on SL Access Card).

Stockholm has three airports: Arlanda ARL (main airport, most frequent transport connections), Bromma BMA (small, close to city) and Skavsta/Nyköping NYO (further away, mostly used by budget airlines). Transport options from the airports to central Stockholm include Flygbussarna airport coaches  (Arlanda and Skavsta), Arlanda express , Pendeltag (Arlanda), and city buses (Bromma). More details.