Difference between revisions of "WG211/M22Schedule"

From WG 2.11
Jump to: navigation, search
(→‎Attendance)
(→‎Monday April 3rd in Snijderzaal)
 
(85 intermediate revisions by 8 users not shown)
Line 1: Line 1:
 
=IFIP Working Group 2.11, Twenty-second Meeting=
 
=IFIP Working Group 2.11, Twenty-second Meeting=
  
−
== April 3rd-4th 2023 in Delft, The Netherlands ==
+
== April 3rd–4th 2023 in Delft, The Netherlands ==
  
 
The meeting will be hosted by [https://pdmosses.github.io Peter Mosses].
 
The meeting will be hosted by [https://pdmosses.github.io Peter Mosses].
Line 11: Line 11:
 
A commemorative symposium for [https://www.tudelft.nl/en/2022/eemcs/in-memoriam-eelco-visser-1966-2022 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.
 
A commemorative symposium for [https://www.tudelft.nl/en/2022/eemcs/in-memoriam-eelco-visser-1966-2022 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 https://symposium.eelcovisser.org.
+
For further details, see [https://symposium.eelcovisser.org the symposium website].
  
−
----
+
=== Venue ===
 +
 
 +
The Twenty-second meeting of WG 2.11 takes place on the campus of
 +
[https://www.tudelft.nl/en/ Delft University of Technology] (TU Delft)
 +
in
 +
[https://map.tudelftcampus.nl '''Building 36''']
 +
located at Mekelweg 4, 2628 CD, Delft.
 +
 
 +
A co-located [https://languagedesign.org/meetings/Delft2023.html 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).
  
−
'''''This page is still being updated.'''''
+
The '''WG 2.16''' meetings are in '''Timmanzaal''' (Monday) and '''Lipkenszaal''' (Tuesday).
  
−
----
+
The joint talk on Monday afternoon is in Snijderzaal.
  
−
=== Venue ===
+
The route from the '''Mekelpark bus stop''' to the meeting rooms in '''building 36''' is shown below:
 +
<gallery mode=slideshow>
 +
Delft_36.jpeg|Building 36
 +
Delft_Mekelpark.jpeg|Mekelpark bus stop
 +
Delft_36_entrance.jpeg|Entrance
 +
Delft_36_foyer.jpeg|Foyer
 +
Delft_36_turn.jpeg|Left turn
 +
Delft_36_climb.jpeg|Up one level
 +
Delft_Snijderzaal.jpeg|Snijderzaal
 +
Delft_Lipkenszaal Timmanzaal.jpeg|Lipkens- and Timmanzaal
 +
Delft_Timmanzaal.jpeg|Timmanzaal
 +
</gallery>
  
−
The Twenty-second meeting of WG 2.11 will take place on the campus of [https://www.tudelft.nl/en/ Delft University of Technology] (TU Delft) in the [https://www.tudelft.nl/en/x/about-x/our-story '''X Building''']. The [https://symposium.eelcovisser.org Eelco Visser Commemorative Symposium] (EVCS) will take place in the same building.
+
==== Lunch room ====
  
−
The X Building is located at Mekelweg 8, 2628CD, Delft ([https://map.tudelftcampus.nl Building 37 on campus]).
+
The lunch room is in [https://map.tudelftcampus.nl '''Building 28'''] located at Van Mourik Broekmanweg 6,
 +
2628 XE Delft. The route starts from the ''other'' side of Mekelweg from building 36:
 +
<gallery mode=slideshow>
 +
Delft_28.jpeg|Building 28
 +
Delft_lunch_route_1.jpeg|Under 23
 +
Delft_lunch_route_2.jpeg|Bear right
 +
Delft_lunch_route_3.jpeg|Enter 28
 +
Delft_lunch_room.jpeg|Lunch room
 +
</gallery>
  
 
===  Travel ===
 
===  Travel ===
Line 35: Line 66:
 
* The smaller '''Delft Campus''' station has only Sprinter connections – Intercity trains do ''not'' stop there.  
 
* 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 Belgium and France (''Thalys'') and from England (''Eurostar'').  
+
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).  
 
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). Some connections are direct, for others you need to change at Leiden.  
+
* 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.  
 
* Rotterdam-The Hague Airport has bus connections to Rotterdam.  
  
 
To determine your route and travel time to (or in) Delft you can use [https://www.9292ov.nl '''9292'''].
 
To determine your route and travel time to (or in) Delft you can use [https://www.9292ov.nl '''9292'''].
 +
 +
For information about car parking, see the [https://www.tudelftcampus.nl/accessibility/ Contact and Accessibility] section on the TU Delft website.
  
 
==== In Delft ====
 
==== 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, Berlageweg'''.  The ride takes about 10 minutes.  
+
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).
 
'''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).
Line 51: Line 87:
 
==== Train and bus tickets ====
 
==== Train and bus tickets ====
  
−
For tourists and short stay visitors it is advised to use an '''anonymous OV-chipcard''', it’s the most common way 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.  
+
You may now be able to check in and out using your [https://ovpay.nl/en/frequently-asked-questions#what-payment-methods-can-i-use-to-check-in-and-out 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 [https://ovpay.nl/en 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!   
 
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!   
Line 57: Line 95:
 
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.   
 
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.
+
'''Note: Most ticket machines do not accept cash, nor do buses and trams.'''
  
 
=== Accommodation ===
 
=== Accommodation ===
Line 63: Line 101:
 
We recommend that you stay at  [https://hotelarsenaal.com '''Hotel Arsenaal'''] or [https://www.grandcanaldelft.nl/en/ '''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.
 
We recommend that you stay at  [https://hotelarsenaal.com '''Hotel Arsenaal'''] or [https://www.grandcanaldelft.nl/en/ '''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.
  
−
Blocks of rooms have been reserved at these hotels for WG 2.11 meeting participants, for arrival on '''Sunday 2nd April''' and departure '''Thursday 6th April'''.
+
Other conveniently located hotels in Delft include [https://all.accor.com/hotel/B5M3/index.nl.shtml Ibis Styles Hotel], [https://westcordhotels.com/hotel/hotel-delft/ WestCord Hotel], and [https://www.thesocialhub.co/delft/ The Social Hub].
  
−
''The organiser has now circulated additional information on the WG 2.11 mailing list about booking these rooms.''
+
=== Registration ===
 +
 
 +
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.
  
−
'''Booking deadline: Monday 30th January.''' Note: The number of rooms available is limited, and the rooms are made available on a first-come first-served basis. Rooms not booked by the end of January will be released, to avoid potential cancellation charges.
+
=== Excursion ===
  
−
Participants are welcome to book rooms directly – either at the same hotels, or at other hotels in Delft, such as [https://all.accor.com/hotel/B5M3/index.nl.shtml Ibis Styles Hotel], [https://westcordhotels.com/hotel/hotel-delft/ WestCord Hotel], and [https://www.thesocialhub.co/delft/ The Social Hub].
+
Based on the registered interest for an excursion and dinner on Sunday, we have now arranged:
  
−
=== Registration ===
+
* 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 [https://www.aanmelder.nl/excursiondinner here] for further details regarding the locations. Registration for the excursion and/or the dinner has now closed.
  
−
TBA
+
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.
  
 
== Attendance ==
 
== 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]
+
* Sandrine Blazy (I will be absent from the meeting Monday morning.)
−
 
 
 
* Edwin Brady
 
* Edwin Brady
 
* Jacques Carette
 
* Jacques Carette
Line 84: Line 133:
 
* Sebastijan Dumančić  
 
* Sebastijan Dumančić  
 
* Sebastian Erdweg
 
* Sebastian Erdweg
 +
* Bernd Fischer
 +
* Jeremy Gibbons
 
* Robert Glück
 
* Robert Glück
 +
* Kevin Hammond
 
* Ohad Kammar
 
* Ohad Kammar
 +
* Paul Kelly
 
* Julia Lawall
 
* Julia Lawall
 
* Ralf Lämmel
 
* Ralf Lämmel
Line 106: Line 159:
 
== Program / schedule ==
 
== Program / schedule ==
  
−
=== Scientific program ===
+
=== Schedule and Scientific program ===
 +
 
 +
==== Monday April 3rd in ''Snijderzaal'' ====
 +
 
 +
09:00 Jeremy Gibbons - [[WG211/M22Gibbons | Breadth-First Traversal Via Staging]]
 +
 
 +
09:50 Break (10)
 +
 
 +
10:00 Jesper Cockx
 +
 
 +
10:50 Coffee Break (50)
  
−
Details TBA
+
11:40 Eric Van Wyk - [[WG211/M22VanWyk | Scope trees, graphs, and DSLs]]
  
−
Monday April 3rd
+
12:30 Walk to lunch location
  
−
Tuesday April 4th
+
12:45 Lunch
  
−
Wednesday April 5th
+
14:00 '''Joint 2.11/2.16 talk (Martin Odersky)'''
−
* Eelco Visser Symposium
+
 
 +
14:50 Break (10)
 +
 
 +
15:00 Ohad Kammar - [[WG211/M22Kammar | From modern partial evaluation to modern algebra using first principles]]
 +
 
 +
15:50 Coffee Break (50)
 +
 
 +
16:40 Bernd Fischer - [[WG211/M222Fischer | Automatic Grammar Repair]]
 +
 
 +
17:30 Close
 +
 
 +
'''19:00 Dinner at Moodz (WG 2.11 and 2.16)'''
 +
 
 +
[https://www.google.nl/maps/place/Moodz+eten+%26+drinken/@52.0085593,4.3621332,17z/data=!3m1!4b1!4m6!3m5!1s0x47c5b5ea74b30299:0x29272bbf97b5e9ea!8m2!3d52.0085593!4d4.3621332!16s%2Fg%2F1ts_5sh9 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: [[WG211/M22Erdweg | Interactive Debugging of Datalog Programs]]
 +
 
 +
10:50 Coffee Break (50)
 +
 
 +
11:40 Talk 8 Short (Jeremy Y., Julia, Kevin)
 +
 
 +
Julia Lawall: [[WG211/M22Lawall | Graphing Tools for Tracing Task Schedulers: The Quest for a DSL]]
 +
 
 +
Jeremy Yallop [[WG211/M22Yallop | 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: [http://softlang.uni-koblenz.de/ifip-wg211-2023/ 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)'''
 +
 
 +
[https://www.google.nl/maps/place/Café+de+Wijnhaven/@52.0114856,4.357382,17z/data=!3m1!4b1!4m6!3m5!1s0x47c5b5c3bfa4eac9:0xb02ca2b8310c501c!8m2!3d52.0114856!4d4.357382!16s%2Fg%2F1tmxdrdq 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 ====
 +
 
 +
* [https://symposium.eelcovisser.org/ Eelco Visser Symposium]
  
 
=== Social events ===
 
=== Social events ===
  
−
TBA
+
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 [https://www.bachkoorholland.nl/agenda/matthaus-passion-2023 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 ==
 
==  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'''.
 
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'''.

Latest revision as of 11:51, 28 April 2023

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.

Venue

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:

  • Building 36

  • Mekelpark bus stop

  • Entrance

  • Foyer

  • Left turn

  • Up one level

  • Snijderzaal

  • Lipkens- and Timmanzaal

  • Timmanzaal

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:

  • Building 28

  • Under 23

  • Bear right

  • Enter 28

  • Lunch room

Travel

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.

Accommodation

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.

Registration

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.

Excursion

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.

Attendance

  • 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

Talks

TBA

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.

Retrieved from "https://wiki.hh.se/wg211/index.php?title=WG211/M22Schedule&oldid=2507"