From WG 2.11
Jump to: navigation, search

IFIP Working Group 2.11, Twenty-second Meeting

April 3rd–4th 2023 in Delft, The Netherlands

The meeting will be hosted by Peter Mosses.

The meeting will last 2 full days; it will be followed by EVCS: Eelco Visser Commemorative Symposium on April 5th.

EVCS: Eelco Visser Commemorative Symposium

A commemorative symposium for Eelco Visser is to be held on April 5th 2023: the first anniversary of his untimely passing. It will bring together colleagues from various communities, with presentations of papers on topics related to his research and his other academic activities.

For further details, see the symposium website.


The Twenty-second meeting of WG 2.11 takes place on the campus of Delft University of Technology (TU Delft) in Building 36 located at Mekelweg 4, 2628 CD, Delft.

A co-located meeting of WG 2.16 takes place on the same days.

Meeting rooms

The WG 2.11 meetings are in Snijderzaal (Monday) and Timmanzaal (Tuesday).

The WG 2.16 meetings are in Timmanzaal (Monday) and Lipkenszaal (Tuesday).

The joint talk on Monday afternoon is in Snijderzaal.

The route from the Mekelpark bus stop to the meeting rooms in building 36 is shown below:

Lunch room

The lunch room is in Building 28 located at Van Mourik Broekmanweg 6, 2628 XE Delft. The route starts from the other side of Mekelweg from building 36:


Getting to Delft

The city of Delft is located about halfway between The Hague (Den Haag) and Rotterdam.

Delft has two train stations:

  • The main one Delft (“Delft Station” on travel planners) has frequent Intercity (IC) connections from Amsterdam, The Hague, Rotterdam, and other Dutch cities.
  • The smaller Delft Campus station has only Sprinter connections – Intercity trains do not stop there.

You can reach Amsterdam and Rotterdam by high-speed trains from:

  • Germany and Switzerland (ICE International via Utrecht),
  • Belgium and France (Thalys),
  • England (Eurostar).

The closest airports to Delft are Schiphol Airport (AMS) and Rotterdam-The Hague Airport (RTM).

  • Schiphol Airport has train connections to Delft (usually every 15 minutes, and taking about 40 minutes). Some connections are direct, for others you need to change at Leiden.
  • Rotterdam-The Hague Airport has bus connections to Rotterdam.

To determine your route and travel time to (or in) Delft you can use 9292.

For information about car parking, see the Contact and Accessibility section on the TU Delft website.

In Delft

The main bus and tram station in Delft is next to Delft train station. Bus routes 40, 69, and 174 go from the station directly to the venue. The bus stop to get off at is Delft, Mekelpark.  The ride takes about 10 minutes.

Walking to the venue from the main Delft station takes about 30 minutes (2.5 km), and from Delft Campus train station about 15 minutes (1.3 km).

Train and bus tickets

You may now be able to check in and out using your contactless debit card, credit card or mobile phone. That is already possible for all NS trains (for travel in 2nd class). The same goes for *most* bus and tram companies. See the OVpay website for full details and updates.

You can also use an anonymous OV-chipcard to travel by all forms of public transportation in The Netherlands. This is a blue-coloured card with no personal details on it, and can therefore be used by anyone (but not for group travel). You can buy an OV-chipcard at the train station at an NS (Dutch Railways) ticketing machine or NS service desk. It can also be bought at large supermarkets (Albert Heijn, Jumbo) or tobacco shops (Primera, Readshop, Bruna). The price is €7.50. It remains valid for 5 years.

The OV-chipcard gives you access to travel in 2nd class. You need a balance of at least €20 to travel by train. You can charge credit on your OV-chipcard at the ticket machines at the train stations and tobacco shops. Once credit has been charged onto your card, you can check in at the designated posts or turnstiles, which are usually located close to or on the platform. Don’t forget to check out once you leave any form of public transport!

In trams and buses you can also buy a paper day-ticket or a single-use, disposable chipcard instead of an anonymous OV-chipcard. For metros you can buy a ticket at the ticket machines near the platform or metro station.

Note: Most ticket machines do not accept cash, nor do buses and trams.


We recommend that you stay at  Hotel Arsenaal or Hotel Grand Canal. These hotels are conveniently located within 5 minutes walking distance of Delft’s main station, between the station and the university campus.

Other conveniently located hotels in Delft include Ibis Styles Hotel, WestCord Hotel, and The Social Hub.


The registration deadline was on Friday 10 March.

The registration fee covers:

  • the group lunches and dinners on Monday 3 and Tuesday 4 April;
  • the EVCS lunch and social dinner on the Wednesday 5 April.


Based on the registered interest for an excursion and dinner on Sunday, we have now arranged:

  • a combined canal and guided walking tour in Delft from 15:00 to 17:30, and
  • a dinner from 18:30 to 21:00.

(There was insufficient interest/availability for a Thursday excursion.)

Please see here for further details regarding the locations. Registration for the excursion and/or the dinner has now closed.

The fee is 25 euro for the combined canal and guided walking tour, and 45 euro for the dinner (3-course, incl. 2 drinks). The restaurant doesn’t need advance notice of dietary restrictions.


  • Sandrine Blazy (I will be absent from the meeting Monday morning.)
  • Edwin Brady
  • Jacques Carette
  • Jesper Cockx
  • Sebastijan Dumančić
  • Sebastian Erdweg
  • Bernd Fischer
  • Jeremy Gibbons
  • Robert Glück
  • Kevin Hammond
  • Ohad Kammar
  • Paul Kelly
  • Julia Lawall
  • Ralf Lämmel
  • Christian Lengauer
  • Ulrik Pagh Schultz Lundquist (arrival Monday afternoon)
  • Peter Mosses
  • Klaus Ostermann
  • Casper Bach Poulsen
  • Yannis Smaragdakis
  • Friedrich Steimann
  • Tijs van der Storm
  • Eric Van Wyk
  • Jeremy Yallop
  • Vadim Zaytsev



Program / schedule

Schedule and Scientific program

Monday April 3rd in Snijderzaal

09:00 Jeremy Gibbons - Breadth-First Traversal Via Staging

09:50 Break (10)

10:00 Jesper Cockx

10:50 Coffee Break (50)

11:40 Eric Van Wyk - Scope trees, graphs, and DSLs

12:30 Walk to lunch location

12:45 Lunch

14:00 Joint 2.11/2.16 talk (Martin Odersky)

14:50 Break (10)

15:00 Ohad Kammar - From modern partial evaluation to modern algebra using first principles

15:50 Coffee Break (50)

16:40 Bernd Fischer - Automatic Grammar Repair

17:30 Close

19:00 Dinner at Moodz (WG 2.11 and 2.16)

MOODZ eten & drinken

Vesteplein 4

2611 WG Delft

Google Maps and the Moodz reservation system show that Moodz is closed today, but we've reconfirmed the reservation this afternoon…

N.B. The WG registration fee covers the 3-course menu and 2 drinks per person. Please keep track of any further drinks that you have, and pay for them before leaving the restaurant!

Tuesday April 4th in Timmanzaal

09:00 Talk 6 Tijs

09:50 Break (10)

10:00 Talk 7 Sebastian: Interactive Debugging of Datalog Programs

10:50 Coffee Break (50)

11:40 Talk 8 Short (Jeremy Y., Julia, Kevin)

Julia Lawall: Graphing Tools for Tracing Task Schedulers: The Quest for a DSL

Jeremy Yallop Adding static staging to OCaml

12:30 Walk to lunch location

12:45 Lunch

14:00 Talk 9 Sebastijan

14:50 Break (10)

15:00 Talk 10 Ralf Lämmel (Discussion: WG 2.11 meets LLMs et al.)

15:50 Coffee Break (10)

16:00 Business meeting

17:30 Close

19:00 Dinner at Café de Wijnhaven (WG 2.11 and 2.16)

Café De Wijnhaven

Wijnhaven 22

2611 CS Delft

N.B. The WG registration fee covers the 3-course menu and 2 drinks per person. Please keep track of any further drinks that you have, and pay for them before leaving the restaurant!

Wednesday April 5th

Social events

An excursion and dinner on Sunday 2 April have been arranged (see above).

EVCS concludes with a social dinner on Wednesday 5 April.

For those planning to stay an extra night: on Thursday 6 April at 19:30, the Bachkoor Holland with the Concertgebouw Kamerorkest will perform Bach's St. Matthew Passion in Nieuwe Kerk, Delft. (The ticket site is only in Dutch: note that the "Rang 3" seats have no view of the podium.)

Touristic information

Delft is known for many things. The first things that would come to mind are Delft’s Blue Pottery, the painter Johannes Vermeer, and the University of Technology. But Delft also played a very important role in history of the Dutch Golden Age and the reigning of the Dutch royals (House of Orange-Nassau). It is recommended to visit Prinsenhof Museum for the history of the Dutch royals. Stroll down the city centre to visit the Old and New Churches, where you’ll find the graves of Johannes Vermeer and one of our first leaders: Willem of Orange.