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 Lundquist.
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.
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.
- You can also walk from the city center, it's a safe walking area and google maps provides useful pedestrian instructions.
Call or text Ulrik on +4540797629 if you need help.
There are a number of options for tickets:
- Plain old paper tickets: Tickets can be purchased at the train station and in the university bookstore.
- Rejsekort: you can use a pre-paid card "Rejsekort" that works with all Danish publish transportation and can be bought at train stations (the "Anonymous" version).
- The FynBus mobile phone app.
- Online ticket from the FynBus webshop.
The cheapest option seems to be the 72-hour tourist ticket plus a 24-hour tourist ticket. 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 tickets when using the tram, but should be able to show it on request. You can read more about tickets for 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.
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).
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 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).
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.
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, Peter Mosses, Christoph Reichenbach, Ulrik Pagh Schultz, Thiago Rocha Silva, Satnam Singh, Eric Van Wyk, Jeremy Yallop, Vadim Zaytsev.
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
- Edwin Brady Refactoring for Dependently Typed Languages
- Miguel Campusano Dynamic Forward Slicing for Dynamic Replanning Multi-Drone Missions
- Jacques Carette Partial Evaluation of Quantum Programs
- Charisee Chiw Empowering scientist with program generation
- Sebastian Erdweg Functional Programming with Datalog
- Robert Glück A Technique for Reversible Memoization of Recurrence Functions
- Ohad Kammar Frex: staged-optimisation and equational-proof-synthesis using universal algebra
- Paul Kelly Compiling for data not code
- Julia Lawall Coccinelle, Prequel, and Spinfer: Automating Summarization and Application of Code Evolutions in the Linux Kernel
- Ulrik Pagh Schultz Lundquist Drones and end-user programming: motivation
- Peter Mosses Using Spoofax to Support Online Code Navigation
- Christoph Reichenbach Declarative Views on Bug Detection
- Tiago Rocha Silva Empowering “citizen developers”: towards a high-level DSL for specifying software behavior
- Walid Taha Bean Machine
- Eric Van Wyk Strategic Tree Rewriting in Attribute Grammars
- Jeremy Yallop Fusing Lexing and Parsing
- Vadim Zaytsev Program Verification Tools, Classified
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
PRELIMINARY PROGRAM, TO BE FINALIZED
Monday, August 15:
- 10:00 - 12:00: Welcome and talks (2 talks)
- 10:15 Peter Mosses
- 11:00 Christoph Reichenbach
- 12:00 - 13:30: Lunch in SDU Canteen
- 13:30 - 15:00: Session (2 talks, online via zoom)
- 13:30 Robert Glück
- 14:15 Paul Kelly
- 15:00 - 15:30: Break (cake, coffee)
- 15:30 - 17:00: Session (2 talks)
- 15:30 Eric Van Wyk
- 16:15 Sandrine Blazy
Tuesday, August 16:
- 9:00 - 9:45: Session (1 talk)
- Charisee Chiw
- 10:00-10:30: Excursion to SDU Industry 4.0 lab
- 10:45-12:15: Session (2 talks)
- Ohad Kammar
- Nada Amin
- 12:15 - 14:15: Lunch in SDU Restaurant
- 14:15 - 15:45: Session (2 talks, online via zoom)
- Sebastian Erdweg
- Tiago Rocha Silva
- 16:00 - 17:00: Business Meeting, members only (full remote participation via zoom).
Wednesday, August 17:
- 8:30 - 12:00: Session (4 talks, half hour break)
- Walid Taha
- Jeremy Yallop
- Edwin Brady
- Miguel Campusano
- 12:00 - 13:30: Lunch in SDU Canteen
- 13:30 - 14:15: Talk (Ulrik Pagh Schultz Lundquist)
- 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)
- You can make your own way there, walking distance is similar to the university, you can also take a bus. Google Maps easily lets you plan the trip.
- You need to get your own tickets for the train (see above guidelines for getting train tickets), your FynBus n-day tickets are not valid for the train, you can buy a same-day return ticket.
- If you want to go there with Ulrik, meet on the platform (7 or 8) at 18:40, we board the train a few minutes before departure.
Thursday, August 18:
- 9:00 - 11:45: Session (3 talks, half hour break)
- Vadim Zaytsev
- Jacques Carette
- 11:45 - 13:30: Lunch in SDU Canteen
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.
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.