Revision as of 15:35, 8 August 2022

IFIP Working Group 2.11, Twenty-first Meeting

August 15th-18th in Odense, Denmark

The meeting will be held in Odense, Denmark, hosted by Ulrik Pagh Schultz.

The meeting will last 3.5 days; the first three days will be full-day, whereas the last day will be a half-day session.

Venue

The meeting will take place at the main campus of the University of Southern Denmark located in the city of Odense, in the meeting room Ellehammer which is in the main building of The Faculty of Engineering (building 42).

To get to the main campus there is both a city bus and a tram ("letbane") that leaves from the city center/train station and stops at the university. Both have frequent departures morning and afternoon, and operate most of the day. The tram is easier to use and takes you precisely where you need to go, so this is the recommended option.

• For the tram, when starting in the city center you should take it in the direction "Hjallese" (there is only a single line, so provided you go in the right direction, you're fine). The stop named "SDU University" is closest to the meeting room. From there walk up the stairs and enter the building, then turn right and keep walking in the same direction, using bridges to cross between buildings (see map). When you cannot get any further in the same direction, you will basically need to get one level up, and then you will be at Ellehammer. There will be signs at this point showing you which way to go, but basically just turn right and use the stairway that you can find on your left.
• For the bus you simply get off at the the university, which will usually be the terminus. From there it takes 5 minutes to walk to the meeting room (see map). Enter through the main entrance as indicated on the map, and walk up the huge orange stairs, turn right, and you will be at Ellehammer.

Call or text Ulrik on +4540797629 if you need help.

Tickets can be purchased at the train station, but you can also use a pre-paid card "Rejsekort" that works with all Danish publish transportation and can be bought at train stations (the "Anonymous" version), or the FynBus mobile phone app. When using the "Rejsekort" on the Odense tram each ticket costs DKK 18 (so make sure to pre-load it with at least 36 DKK before starting out in the morning), whereas it costs DKK 24 with the app. You don't need to show your mobile ticket when using the tram, but should be able to show it on request. You can read more about using the tramway at the official website Odense Letbane. With the "Rejsekort" you need to check in/check out yourself, read more about it at the Rejsekort website.

Travel

The easiest way to travel to Odense is via Copenhagen International Airport. From the airport a 2-hour direct train ride will take you to the center of Odense, with hotels located within walking distance from the train station.

Tickets can be bought from vending machines at the airport, or you can use the aforementioned "Rejsekort" if you have enough money on it (at least DKK 300 if you want to use it for the trip to Odense). You can also buy a ticked in advance at dsb.dk, use "CPH lufthavn" as starting point and "Odense St." as destination. Reserved seats are optional but are definitely recommended in rush hour e.g. Monday morning. There is also an app "DSB" (iPhone, android), where you can buy tickets electronically. If you buy a ticked well in advance for non-rush-hour times, you can get "Orange" tickets which are significantly cheaper but cannot be refunded or changed, or sometimes "Orange Fri" which are also cheaper and can be freely changed up to 30 minutes before departure. Rather than buying combined return ticket, you are recommended to buy separate tickets (there is no price reduction in buying them as a return ticket, and having two separate tickets means you can cancel one without cancelling the other).

Accommodation

We recommend that you stay at Hotel Odeon in the center of Odense. It's conveniently located within walking distance of the train station, and is right next to a tramway station for direct connection to the university campus. A block of rooms have been reserved, and there is a special rate available if you fill out a form and send it by email to the hotel assistance at University of Southern Denmark, deadline August 1st 2022. (Information has been circulated on the mailing list, contact the organiser or one of the Chairs for additional information.) Note however that the number of room available Sunday-Monday is limited, and are made available on a first-come first-serve basis - alternatives include either finding a room for that night somewhere else in Odense, or staying the night in Copenhagen (we will have a late start Monday so that it's possible to catch the morning train).

Registration

Registration is on-line and paid via credit card at the registration site https://event.sdu.dk/wg211 (note: anyone registering from a Danish university is recommended to use the EAN method to pay). The fee is paid in Danish Kroner (DKK) and is roughly equivalent to EUR 383. Deadline for registration is August 8th (but some flexibility is possible, write Ulrik if you need more time).

COVID-19

Currently there are no covid-related restrictions in Denmark. The vaccination rate is one of the highest in the world, and the current infection rates are very low. Many studies have indicated that Denmark reached a good balance between restrictions and public safety. Given that Covid-19 so far has been seasonal similar to e.g. the flu, it currently seems unlikely that there will be any covid-related restrictions or issues in Denmark in August.

Attendance

Members: please add yourself here (in alphabetical order by last name) or email a chair-person to be added. [Guests will be added by chair-people]

Nada Amin, Sandrine Blazy, Edwin Brady, Miguel Campusano, Jacques Carette, Charisee Chiw, Sebastian Erdweg, Robert Glück, Ohad Kammar, Paul Kelly, Julia Lawall, Geoff Mainland, Peter Mosses, Christoph Reichenbach, Sven-Bodo Scholz, Ulrik Pagh Schultz, Thiago Rocha Silva, Satnam Singh, Eric Van Wyk, Jeremy Yallop, Vadim Zaytsev.

Talks

See below for schedule, note that the actual scheduling of talks will not be available until the meeting starts. Members: please add yourself and your topic, alphabetical order by last name:

• Nada Amin Staged Relational Interpreters: Running with Holes, Faster
• Sandrine Blazy Bridging the Semantic Gap between SSA and Gated SSA
• Sebastian Erdweg Functional Programming with Datalog

We will follow our usual format of interactive talks with an active audience, using a chess clock for timing, as follows. For each talk the speaker and the audience each get at most 25 minutes. The audience does not have to wait until the end of a talk to ask questions; interaction and discussion is encouraged. (But experience from previous meeting shows that it is useful to let the speaker at least finish their introduction before interrupting.) To ensure fairness, administration of the time used by each party is done using a chess clock. Operation of the clock rotates among participants. Both speakers and audience are expected to contribute to make talks and discussions engaging, interesting, and useful. Therefore, we observe a policy of no use of electronic devices during talks (other than the device the speaker uses to present slides). Bring paper and pen for making notes.

Program / schedule

Scientific program

PRELIMINARY PROGRAM, TO BE FINALIZED

Monday, August 15:

• 10:00 - 12:00: Welcome and talks (2 talks)
• 12:00 - 13:30: Lunch in SDU Canteen
• 13:30 - TBD: Afternoon session (3 or 4 talks)

• 19:00: Dinner at Oluf Bagers Gård (MAP city center)

Tuesday, August 16:

• 9:00 - 9:45: Talk
• 10:00-10:30: Excursion to SDU Industry 4.0 lab
• 10:45-12:15: Talks (1 normal + 1 short)
• 12:15 - 14:00: Lunch in SDU Restaurant
• 14:00 - TBD: Talks (3 talks?)
• TBD - TBD: Business Meeting, members only

• 19:00: Dinner at Nordatlantisk Hus (MAP 15-minutes walk from train station)

Wednesday, August 17:

• 8:30 - 12:00: Talks (4 talks)
• 12:00 - 13:30: Lunch in SDU Canteen
• 13:30 - 14:15: Talk
• 14:30 - 17:00: Excursion by bus to SDU UAS Labs at Beldringe Airport, bus picks us up on campus and will drop us off at city center.

• 19:15: Dinner at Sortebro Kro (MAP, easily accessible by quick local train ride from Odense St at 18:46 getting off at "Fruens Bøge", Ulrik will guide)

Thursday, August 18:

• 8:30 - 12:00: Talks (4 talks)
• 12:00 - TBD: Lunch in SDU Canteen

Social events

There will be a short visit to the main robotics lab at University of Southern Denmark and an afternoon bus excursion Wednesday afternoon to the Drone Lab located at Hans Christian Andersen Airport.

Touristy information

Odense is the birthplace of Hans Christian Andersen, see Visit Odense for more information on sights to see in Odense and nearby. When traveling to Odense consider making a stop in Copenhagen. Copenhagen Central Station is easily accessible from the airport, and there are direct trains two times per hour during the day (and evening) from Copenhagen Central Station to Odense. Google Maps is useful for navigating Danish public transportation, but also consider using e.g. [www.rejseplanen.dk https://www.rejseplanen.dk]. An alternative travel route is to fly into Denmark via Billund airport, which is located just next to Legoland. From Billund public transportation to Odense via bus and train takes roughly 90 minutes.