The first edition of the Iris workshop will be held in Aarhus and it will be focused on Iris-related research to allow for in-depth talks and discussions.
There will be a two-day long program with talks on Monday 28 October and Tuesday 29 October.
We will have a number of invited speakers and allow for a number of contributed talks.
Participants are encouraged to stay 1-3 days longer if they can, for more
informal discussions and interaction.
Invited and contributed speakers
The following speakers have confirmed to give an invited talk:
In addition to the invited talks, there will be the following contributed talks:
- Andrew Appel (Princeton, USA): Recent developments in the Verified Software Toolchain
- Jesper Bengtson (ITU, Denmark): Actris: Session-Type Based Reasoning in Separation Logic
- Hai Dang (MPI-SWS, Germany): RustBelt Relaxed
- Philippa Gardner (Imperial College, UK): Compositional Reasoning for the Termination of Fine-grained Concurrent Programs
- Paolo Giarrusso (TUDelft, The Netherlands): Step-Indexed Logical Relations for (guarded) Dependent Object Types
- Aina Linn Georges (Aarhus University, Denmark): Implementing a Capability Machine model into Iris
- Armaël Guéneau (Inria, France): Formal verification of an incremental cycle detection algorithm
- Rodolphe Lepigre (MPI-SWS, Germany): TBA
- Glen Mével (Inria, France): Iris for Multicore OCaml
- Amin Timany (KU Leuven, Belgium): Aneris: A Logic for Node-Local, Modular Reasoning of Distributed Systems
Travel by airplane to Aarhus
- Aarhus Airport, Tirstrup (AAR). The airport situated closest to Aarhus, but it is small and has only few connections. Transportation time to the city of Aarhus is approximately 45 minutes by bus 925x, which departs 20 minutes after each arrival.
- Billund Airport (BLL). A slightly bigger airport, with more connections. The transportation time by bus 912x is approximately one hour and a half to the city of Aarhus. The bus departs almost every hour.
- Copenhagen Airports (CPH). A large airport with lots of connections. You can continue to Aarhus by domestic flights or by train. Flight time to Aarhus Airport is 40 minutes, but train is often easier. The direct train from Copenhagen Airport to central Aarhus is about three and a half hours.
Travel by train to Aarhus
There are frequent trains from Copenhagen to Aarhus and also many from Hamburg (and thus the European train network).
You can use the Journey Planner to schedule your trip. Danish rail services are called DSB.
Accommodation in Aarhus
We recommend that you find accommodation in the city center or in the north of the city. At the computer science department we usually book the following hotels:
Registration is free, but you should register online at https://events.au.dk/iris2019.
With approximately 300.000 inhabitants, Aarhus is the second largest city in Denmark. It was founded by the Vikings in the 8th century, and is located in a natural bay along a small river and surrounded by forests. Aarhus is often referred to as "the youngest and brightest city in Denmark” because of its large student population, almost 1/5 of the residents are students. The young population and the fact that the city is the unofficial "capital of west Denmark" means that Aarhus has a large concentration of attractions, shopping and city life.
What to see and do in Aarhus:
- ARoS Aarhus Art Museum. One of the biggest museums in the northern part of Europe. Enjoy the permanent and temporary exhibitions or take a walk in Your Rainbow Panorama with a scenic view of the city.
Address: Aros Allé 2, 8000 Aarhus C.
- The Old Town. A Danish Open Air Museum / The Old Town ("Den Gamle By") was founded in 1909 as the world's first open-air museum of urban history and culture. Take a tour in the city as it looked from the 16th century and forward.
Address: Viborgvej 2, 8000 Aarhus C.
- Tropical Houses at the Botanical Garden. The Greenhouses will give you an educational and sensuous experience strolling through the beautiful and varied sceneries, and you will find plants from most parts of the world. There is a free admission to the Greenhouses and the café serves great food at fair prices.
Address: Møllevejen 10, 8000 Aarhus C.
- DOKK1. The city's new impressive library which is located at the waterfront in the city center. Here you will find much more than just books.
- Harbors, forests and beaches. If the weather behaves, Aarhus also has a lot of outdoor attractions/activities. They obviously include strolling the harbors, forests and beaches on both the north and south side of the city. On the south side of the city close to the Queens summer residence Marselisborg you will find Marselisborg Habor with nice restaurants and the Marselisborg forest extending along the ocean and beaches.
- Cafés along the river or in the Latin Quarter. Most of these cafés turn into regular bars towards midnight and there are several clubs downtown.
The website Visit Aarhus provides lots of information about Aarhus.