WG 2.11 - User contributions [en]

WG211/M25Schedule

2025-12-01T08:18:47Z

Eric: /* Talks and Schedule */

= IFIP Working Group 2.11, Twenty-fifth Meeting =

== December 2-5, 2025, Stellenbosch, South Africa ==

The meeting will be held in Stellenbosch, South Africa, hosted by [mailto:bfischer@sun.ac.za Bernd Fischer]. The meeting is planned for 3.5 days, with a half day on December 5. More details, program, and registration information will be appearing on this page in the next few weeks.

=== Venue ===

The meeting will be held at the Wallenberg Center of the [http://stias.ac.za/ Stellenbosch Institute for Advanced Study] ([https://maps.app.goo.gl/AZg9SFDFsrLBL8Dr7 Streetview]). This is to the east of the [http://en.wikipedia.org/wiki/Stellenbosch_University Stellenbosch University] Campus ([https://www.sun.ac.za/english/welcome/Documents/Main%20campus%20map%20revised.pdf Campus map]). Most B&B's, hotels, and restaurants are within 10-15mins walk.

Note that STIAS doesn't serve breakfast before the meeting starts, but that should be covered by your B&B.

=== Group dinners ===

Stellenbosch has many restaurants, but they get quite busy from mid-November. I have thus made dinner reservations for 19:00 each night:
* Tuesday: [https://www.devier.co.za De Vier]
* Wednesday: [https://bertusbasson.com/#spek-bone Spek en Bone]
* Thursday: [https://devleispaleis.co.za De Vleispaleis]

For people attending the excursion, I have made a reservation at 19:30:
* Friday: [https://www.de-eetkamer.co.za De Eetkamer]

All restaurants are within walking distance from the old town. All restaurants have vegetarian options available, despite their names ;-).

=== Group excursion ===

I have arranged a group excursion on Friday, Dec 5. We will be visiting Boulder's Beach for penguin watching and take the cable car up to [https://en.wikipedia.org/wiki/Table_Mountain Table Mountain], with time for a walk at the plateau. We will be doing a wine tasting along the way - this is the winelands, after all!

Note that Table Mountain has a notoriously fickle weather, and could be shrouded in clouds (the so called "table cloth") any time. If the [https://www.tablemountain.net/plan-your-visit/getting-here weather] doesn't co-operate, we will drive to Cape of Good Hope as a backup.

Departure will likely be around 8:30 or 9:00, return to Stellenbosch should be around 18:00 or 18:30, depending on traffic.

Please sign up here if you plan to attend.
* Shraddha Barke
* Jacques Carette (+1)
* Sebastian Erdweg (have to leave before dinner)
* Bernd Fischer
* Cezary Kaliszyk
* Ohad Kammar
* Yuito Murase
* Klaus Ostermann
* Chung-Chieh Shan
* Michel Steuwer
* Eric Van Wyk
* Jeremy Yallop
* Julia Lawall

=== Registration fee ===

Registration fee for the meeting is EUR 275 / ZAR 5500; this covers all lunches on the meeting days and the dinners Tuesday - Thursday (including reasonable amounts of drinks ;-). Additional dinner tickets for partners will be EUR 150 / ZAR 3000.

The cost for the [[WG211/M25Schedule#Group excursion|excursion]] on Dec 5 will be EUR 125 / ZAR 2500 (based on 16 people attending; the price will go up slightly if fewer people attend, because of the fixed bus hire costs); this includes transport, entrance fees at Boulder's Beach, the Table Mountain cable car, boxed lunch and wine tasting, and dinner at [https://www.de-eetkamer.co.za De Eetkamer] in Stellenbosch.

Payment is in cash (either in Euros or in Rand) on arrival, or via electronic bank transfer; please mail me for the account details, if you want to use that option. I will issue a signed receipt on University stationary for the amount paid in the currency used.

=== Members attending ===

Please add your name to the following list (alphabetical by last name, please) if you are planning to attend the meeting.

* Jacques Carette
* Sebastian Erdweg
* Bernd Fischer
* Ohad Kammar
* Julia Lawall
* Klaus Ostermann
* Chung-chieh Shan
* Friedrich Steimann
* Eric Van Wyk
* Jeremy Yallop

=== Guests and Observers ===

* [https://michaeldadams.org/ Michael Adams]
* [https://www.microsoft.com/en-us/research/people/sbarke/ Shraddha Barke]
* [https://www.tue.nl/en/research/researchers/loek-cleophas Loek Cleophas] (local observer)
* [https://ckaliszyk.github.io/ Cezary Kaliszyk]
* Yuito Murase (as proxy of Atsushi Igarashi)
* [https://www.moeketsi.me/ Moeketsi Raselimo] (local observer)
* [https://steuwer.info/ Michel Steuwer]

== Talks and Schedule ==

The following people have confirmed they will giving a talk:

* Michael D. Adams
* Shraddha Barke [[WG211/M25Barke| Toward Trustworthy LLM Generation: From Verifiable Proofs to Reliable Agents]]
* Jacques Carette [[WG211/M25Carette| Definite Folds]]
* Sebastian Erdweg
* Bernd Fischer (or maybe Moeketsi Raselimo) [[WG211/M25Fischer| Learning Lexical Structure of Black-Box Systems via Repeated String Edit Operations]]
* Cezary Kaliszyk
* Ohad Kammar [[WG211/M25Kammar| Intrinsically typed and well-scoped SMTLIB FFI bindings with modular abstract syntax trees (MAST)]]
* Julia Lawall TBD
* Yuito Murase and Atsushi Igarashi [[WG211/M25Murase| Refined^2 Environment Classifiers]]
* Chung-chieh Shan
* Friedrich Steimann [[WG211/M25Steimann| Relative Multiplication of Infinite Relations]]
* Michel Steuwer [[WG211/M25Steuwer| Slotted E-Graphs]]
* Jeremy Yallop [[WG211/M25Yallop| Frex: Dependently Typed Algebraic Simplification]]
* Eric Van Wyk: [[WG211/M25VanWyk| On Scope Graphs and Reference Attribute Grammars: Answering Eelco's Questions]]

== Travel ==

Note that the meeting will be in the southern Summer, just before the local holiday season starts in earnest, and Stellenbosch (and all of South Africa) will be getting busy, so arrange your flights and accommodation early.

==== Visa Information ====

Visitors from [http://en.wikipedia.org/wiki/Visa_policy_of_South_Africa most EU countries, US, Canada, Japan, Australia and most of South America] don't need a visa to visit South Africa. The complete (official) list is available at the [https://www.dha.gov.za/index.php/countries-exempt-from-sa-visas Department of Home Affairs]. Please contact [mailto:bfischer@sun.ac.za Bernd Fischer] if you need a visa to visit South Africa; please note that applications can take substantial amounts of time to get processed (although the backlog has been cleaned up after the last election...)

==== Vaccinations and Prophylaxis ====

South Africa requires yellow fever vaccinations for travelers arriving from a [https://www.southafrica.net/gl/en/travel/article/yellow-fever-entry-requirements risk area]; this includes most of South America and Central Africa, but excludes Europe, North America, Asia, and Oceania. You should probably have up-to-date standard vaccinations (such as tetanus) as you would have for travel in Europe or North America. Malaria prophylaxis is only required if you go to Kruger National Park or Victoria Falls.

The medical system is very good around Stellenbosch, but sometimes less so in other parts of the country. Check with your (travel) insurance whether they cover your trip.

==== Getting to Stellenbosch ====

The closest airport to Stellenbosch is [https://en.wikipedia.org/wiki/Cape_Town_International_Airport Cape Town International (CPT / FACT)]. There are direct flights from London (Virgin, BA), Amsterdam (KLM), Paris (Air France), Frankfurt (Condor, Lufthansa), Munich (Lufthansa), Zuerich (Edelweiss), Istanbul (Turkish Airlines), Doha (Qatar Airways), Dubai (Emirates), Addis Ababa (Ethiopian), Washington (United), Newark (United), Atlanta (Delta), and Singapore (Singapore Airlines). Note that some of these flights are seasonal and operate only during the southern Summer, so they might not show up yet. There are also regional connections to many places in southern Africa (e.g., Windhoek).

Further connections (e.g., from India, East Asia, Australia, or South America) are available with a transfer in Johannesburg. I recommend to fly into Cape Town, if feasible, because the transfer in Johannesburg requires you to clear immigration and customs (like in the US), which can be a bit unpredictable.

Flight prices vary of course wildly. I have recently paid anything between EUR 700 and 1200 for a Germany round trip, and EUR 1500 for a California round trip.

CPT is about 35km from Stellenbosch; there is no public transport, but Uber is widely available, cheap (< EUR 20 to Stellenbosch), and I always take it. Please be aware that taxi touts will try to talk you into a metered taxi as soon as you leave customs; I always politely ignore them.

If you prefer a pre-booked airport shuttle, try:
* [https://bettinashuttle.co.za/ Bettina's]
* [http://www.shuttleup.co.za/ Shuttle Up]

Stellenbosch is small and easily navigable by foot, and the venue is in walking distance to most hotels and B&Bs. You won't need a rental car unless you are planning to go on a road-trip before or after the conference. There is no public transport in Stellenbosch; do *not* take the train to Cape Town, or a minibus taxi.

==== Accommodation ====

Stellenbosch does not have big corporate hotels but offers a wide variety of different smaller accommodation options. Most centrally located B&Bs (look for the "Stellenbosch Central" or "Mostertsdrift" areas) will be in the range from EUR 80 to EUR 150 per night; there are also Airbnb-style accommodations but they tend to be more in the suburbs, and are not necessarily cheaper. Many wine farms offer luxury accommodation, but they are typically out of town and require a rental car.

Below are a number of guest houses covering different price ranges. Note that I haven't stayed in any of these... Please make your own arrangements and please note that places begin to fill up.

'''Between Stias and the town center''':
* [https://avenuesguesthouse.co.za/ Avenues Guesthouse], 32 Die Laan
* [https://beauclair-guest-cottage.hotels-of-stellenbosch.com/en/ Beauclair Guest Cottage], 1 Coetzenburg Road
* [https://www.bonneesperance.com/ Bonne Esperance], corner of Neethling and Van Riebeeck
* [https://caledon-villa.hotels-of-stellenbosch.com/en/ Caledon Villa], 7 Neethling Street
* [https://www.dehaasliving.co.za/die-laan-2/ De Haas Luxury Living - Die Laan], 2 Die Laan
* [https://www.dehaasliving.co.za/die-laan-40/ De Haas Luxury Living - Die Laan 40], 40 Die Laan
* [https://www.evergreenmanor.co.za/ Evergreen Manor], 11 Murray Street
* [https://koloniestuin.co.za/ Kolonie's Tuin], 22 Die Laan
* [https://www.laanhof.co.za/ Laanhof], 28 Die Laan (self-catering)
* [https://www.lifeandleisure.co.za/ Life & Leisure], 20 Van Riebeeck St
* [https://www.middedorp.com/ Middedorp Manor], 14 Neethling Street
* [https://www.minseriecollection.co.za/ Minserie Collection], Minserie Street (self-catering)
* [https://thelivingjourneycollection.co.za/river-manor/ River Manor], 6-8 Die Laan
* [https://www.roosenwijn.co.za/ Roosenwijn Guesthouse], 14 Van Riebeeck Street
* [https://thelivingjourneycollection.co.za/river-manor/ De Haas Luxury Living - Villa Grande], 1 Keeroom Street

'''Mostertsdrift''' (east of Stias):
* [https://www.5-seasons.co.za/ 5 Seasons Guesthouse], 60 Van Der Stel Street
* [https://lanzerac.co.za/ Lanzerac Wine Estate], Lanzerac Road (wine estate in walking distance from Stias)
* [https://www.stellenboschmanor.com/ Stellenbosch Manor], 2 Van Der Stel Street
* [https://summerwood.co.za/ Summerwood Guest House], 28 Jonkershoek Road
* [https://vanderstelmanor.com/ Van Der Stel Manor], 64 Van Der Stel Street

'''Town center''':
* [https://www.batavia-stellenbosch.co.za/ Batavia Boutique Hotel], 12 Louw Street
* [https://coopmanhuijs.co.za/ Coopmanhuijs Boutique Hotel & Spa], 33 Church Stree
* [https://www.eendracht-hotel.com/ Eendracht Hotel & Self Catering], 160 Drop Street
* [https://www.justjoey.co.za/ Just Joey Lodge], 13 Noordwal-Wes
* [https://stellenboschhotel.co.za/ Stellenbosch Hotel], corner of Dorp & Andringa

==== Security ====

South Africa has a reputation as an unsafe country but most crimes happen in township areas, and the center of Stellenbosch is generally safe; walking around town, or from town to the guesthouses in Mostertsdrift is fine, even after dinner. However, there are a few things to keep in mind:
* Do not flash your valuables (phone, wallet, camera) in public.
* Do not hand over your ATM/credit card - servers will bring a machine to your table (or will ask you to pay at the counter); if you withdraw money from an ATM, check that nobody is lurking around, and do not accept "help" from people.
* Do '''not''' walk or drive into any township (in Stellenbosch, that means Kayamandi and Cloetesville); if you are interested, you can book guided tours.
* Do '''not''' take the train between Cape Town and Stellenbosch (or trains around Cape Town).

==== Weather ====

Early December is late spring in South Africa. The weather in Stellenbosch ''should'' be nice - the average day-time highs are around 25C, night-time lows around 15C, and it ''should'' be dry. However, there are chances of an early heat wave, with temperatures above 30C, or (fortunately less likely) a late rain front with temperatures dropping by 5-10 degrees.

==== Pre- / post-meeting excursions ====

Here are a few ideas if you are planning to spend a few extra days in Stellenbosch or travel around the country:
* Spend the weekend in Cape Town and explore the city - Table Mountain is certainly a prime target. You could also go to Kirstenbosch Botanical Garden (although the prime bloom will be over then), and even climb Table Mountain from there (although this could be hot and strenuous that time of the year). Cape Town has quite a lot of night life, especially on the weekend.
* Explore the Stellenbosch surroundings. For this, you should probably get a rental car. There are literally hundreds of wine farms in the surroundings, if you want to go for a tasting. The Paarl Taal Monument (monument to the Afrikaans language) is an interesting cultural experience, and you can go on to the Paarl rock (large granite Boulder). Franschhoeck is a another cute town.
* Get out to the Cederberg Mountains - a nice mountainous area about 2-3hours north of Cape Town, with nice mountain walks (Wolfberg Cracks, some caves). You could stay at Clanwilliam, or look for a place in the mountain reserve (look for Algeria). The roads are mostly dirt (ie unpaved) but we have driven them in a Polo...
* Hike the Bosmanskloof Traverse (either as an overnight hike, or as a day-hike), staying in McGregor or Grayton.
* Go to Calitzdorp for Port tasting, Oudtshoorn for the ostriches (and the very tourist-trappy Cango Caves, a huge limestone cave), and drive some of the old Mountain passes, like [http://en.wikipedia.org/wiki/Swartberg_Pass Swartbergpass] into Prince Albert, a quaint Karoo town, and "poorts" (i.e., mountain notches), like [https://en.wikipedia.org/wiki/Seweweekspoort| Seweweekspoort].
* Go shark cage diving in Struisbaai.

Except for the Cape Town weekend, most trips will require a rental car. You can get an uber or a dedicated driver for a wine tasting tour, which is probably a smart idea in the first place...

'''Safaris.'''
There are no lions running around in Stellenbosch ;-). The closest ones are at the [http://www.lionrescue.org.za/ Drakenstein Lion Park], which is basically a retirement home for lions. There are a few private game reserves within two to three hours drive of Stellenbosch (e.g., [https://grgamelodge.co.za/ Garden Route Game Lodge] or [http://www.sanbona.com/propertydefault.asp?MicroSiteID=3 Sanbona]), but they are not cheap. The closest National Parks with substantial wildlife are [http://www.sanparks.co.za/parks/mountain_zebra/ Mountain Zebra NP] and [http://www.sanparks.org/parks/addo/ Addo Elephant NP] (about 8-10hrs drive from Stellenbosch, but Addo is quite close to Port Elizabeth, which is one hour by plane from Cape Town). If you plan to visit [http://www.sanparks.org/parks/kruger/ Krueger NP] you should probably fly with a stop-over in Johannesburg, and plan on at least four extra days.

==== Arrivals and departures of attendants ====

* Friedrich will arrive on Monday morning (Condor flight DE2290, ETA 10:45 am) and leave on Friday evening (DE2291 at 7:50 pm); will stay at Evergreen Manor.
* Sebastian will arrive on Monday morning (Condor flight DE2290, ETA 10:45 am) and leave on Friday evening (DE2291 at 7:50 pm); will stay at Evergreen Manor.
* Julia will arrive on Monday morning at 5:50am (Air France from Paris) and leave on the following Monday morning at 7:55am; staying at The Avenues Guest House.
* Jacques will arrive a whole week before, Sunday Nov. 23, stay in Cape Town, then get to Stellenbosch on Monday 1 December, and leave on Saturday Dec 6 at 5 PM (Turkish Airlines TK 45). Staying at Laanhof.
* Shraddha will arrive on 1st Dec 11.40am and leave on Sunday 7th Dec 9.30pm; staying at the 5 Seasons Guest House.

WG211/M25Schedule

2025-12-01T08:18:24Z

Eric: /* Talks and Schedule */

= IFIP Working Group 2.11, Twenty-fifth Meeting =

== December 2-5, 2025, Stellenbosch, South Africa ==

The meeting will be held in Stellenbosch, South Africa, hosted by [mailto:bfischer@sun.ac.za Bernd Fischer]. The meeting is planned for 3.5 days, with a half day on December 5. More details, program, and registration information will be appearing on this page in the next few weeks.

=== Venue ===

The meeting will be held at the Wallenberg Center of the [http://stias.ac.za/ Stellenbosch Institute for Advanced Study] ([https://maps.app.goo.gl/AZg9SFDFsrLBL8Dr7 Streetview]). This is to the east of the [http://en.wikipedia.org/wiki/Stellenbosch_University Stellenbosch University] Campus ([https://www.sun.ac.za/english/welcome/Documents/Main%20campus%20map%20revised.pdf Campus map]). Most B&B's, hotels, and restaurants are within 10-15mins walk.

Note that STIAS doesn't serve breakfast before the meeting starts, but that should be covered by your B&B.

=== Group dinners ===

Stellenbosch has many restaurants, but they get quite busy from mid-November. I have thus made dinner reservations for 19:00 each night:
* Tuesday: [https://www.devier.co.za De Vier]
* Wednesday: [https://bertusbasson.com/#spek-bone Spek en Bone]
* Thursday: [https://devleispaleis.co.za De Vleispaleis]

For people attending the excursion, I have made a reservation at 19:30:
* Friday: [https://www.de-eetkamer.co.za De Eetkamer]

All restaurants are within walking distance from the old town. All restaurants have vegetarian options available, despite their names ;-).

=== Group excursion ===

I have arranged a group excursion on Friday, Dec 5. We will be visiting Boulder's Beach for penguin watching and take the cable car up to [https://en.wikipedia.org/wiki/Table_Mountain Table Mountain], with time for a walk at the plateau. We will be doing a wine tasting along the way - this is the winelands, after all!

Note that Table Mountain has a notoriously fickle weather, and could be shrouded in clouds (the so called "table cloth") any time. If the [https://www.tablemountain.net/plan-your-visit/getting-here weather] doesn't co-operate, we will drive to Cape of Good Hope as a backup.

Departure will likely be around 8:30 or 9:00, return to Stellenbosch should be around 18:00 or 18:30, depending on traffic.

Please sign up here if you plan to attend.
* Shraddha Barke
* Jacques Carette (+1)
* Sebastian Erdweg (have to leave before dinner)
* Bernd Fischer
* Cezary Kaliszyk
* Ohad Kammar
* Yuito Murase
* Klaus Ostermann
* Chung-Chieh Shan
* Michel Steuwer
* Eric Van Wyk
* Jeremy Yallop
* Julia Lawall

=== Registration fee ===

Registration fee for the meeting is EUR 275 / ZAR 5500; this covers all lunches on the meeting days and the dinners Tuesday - Thursday (including reasonable amounts of drinks ;-). Additional dinner tickets for partners will be EUR 150 / ZAR 3000.

The cost for the [[WG211/M25Schedule#Group excursion|excursion]] on Dec 5 will be EUR 125 / ZAR 2500 (based on 16 people attending; the price will go up slightly if fewer people attend, because of the fixed bus hire costs); this includes transport, entrance fees at Boulder's Beach, the Table Mountain cable car, boxed lunch and wine tasting, and dinner at [https://www.de-eetkamer.co.za De Eetkamer] in Stellenbosch.

Payment is in cash (either in Euros or in Rand) on arrival, or via electronic bank transfer; please mail me for the account details, if you want to use that option. I will issue a signed receipt on University stationary for the amount paid in the currency used.

=== Members attending ===

Please add your name to the following list (alphabetical by last name, please) if you are planning to attend the meeting.

* Jacques Carette
* Sebastian Erdweg
* Bernd Fischer
* Ohad Kammar
* Julia Lawall
* Klaus Ostermann
* Chung-chieh Shan
* Friedrich Steimann
* Eric Van Wyk
* Jeremy Yallop

=== Guests and Observers ===

* [https://michaeldadams.org/ Michael Adams]
* [https://www.microsoft.com/en-us/research/people/sbarke/ Shraddha Barke]
* [https://www.tue.nl/en/research/researchers/loek-cleophas Loek Cleophas] (local observer)
* [https://ckaliszyk.github.io/ Cezary Kaliszyk]
* Yuito Murase (as proxy of Atsushi Igarashi)
* [https://www.moeketsi.me/ Moeketsi Raselimo] (local observer)
* [https://steuwer.info/ Michel Steuwer]

== Talks and Schedule ==

The following people have confirmed they will giving a talk:

* Michael D. Adams
* Shraddha Barke [[WG211/M25Barke| Toward Trustworthy LLM Generation: From Verifiable Proofs to Reliable Agents]]
* Jacques Carette [[WG211/M25Carette| Definite Folds]]
* Sebastian Erdweg
* Bernd Fischer (or maybe Moeketsi Raselimo) [[WG211/M25Fischer| Learning Lexical Structure of Black-Box Systems via Repeated String Edit Operations]]
* Cezary Kaliszyk
* Ohad Kammar [[WG211/M25Kammar| Intrinsically typed and well-scoped SMTLIB FFI bindings with modular abstract syntax trees (MAST)]]
* Julia Lawall TBD
* Yuito Murase and Atsushi Igarashi [[WG211/M25Murase| Refined^2 Environment Classifiers]]
* Chung-chieh Shan
* Friedrich Steimann [[WG211/M25Steimann| Relative Multiplication of Infinite Relations]]
* Michel Steuwer [[WG211/M25Steuwer| Slotted E-Graphs]]
* Jeremy Yallop [[WG211/M25Yallop| Frex: Dependently Typed Algebraic Simplification]]
* Eric Van Wyk: [[WG211/M25VanWyk] On Scope Graphs and Reference Attribute Grammars: Answering Eelco's Questions]]

== Travel ==

Note that the meeting will be in the southern Summer, just before the local holiday season starts in earnest, and Stellenbosch (and all of South Africa) will be getting busy, so arrange your flights and accommodation early.

==== Visa Information ====

Visitors from [http://en.wikipedia.org/wiki/Visa_policy_of_South_Africa most EU countries, US, Canada, Japan, Australia and most of South America] don't need a visa to visit South Africa. The complete (official) list is available at the [https://www.dha.gov.za/index.php/countries-exempt-from-sa-visas Department of Home Affairs]. Please contact [mailto:bfischer@sun.ac.za Bernd Fischer] if you need a visa to visit South Africa; please note that applications can take substantial amounts of time to get processed (although the backlog has been cleaned up after the last election...)

==== Vaccinations and Prophylaxis ====

South Africa requires yellow fever vaccinations for travelers arriving from a [https://www.southafrica.net/gl/en/travel/article/yellow-fever-entry-requirements risk area]; this includes most of South America and Central Africa, but excludes Europe, North America, Asia, and Oceania. You should probably have up-to-date standard vaccinations (such as tetanus) as you would have for travel in Europe or North America. Malaria prophylaxis is only required if you go to Kruger National Park or Victoria Falls.

The medical system is very good around Stellenbosch, but sometimes less so in other parts of the country. Check with your (travel) insurance whether they cover your trip.

==== Getting to Stellenbosch ====

The closest airport to Stellenbosch is [https://en.wikipedia.org/wiki/Cape_Town_International_Airport Cape Town International (CPT / FACT)]. There are direct flights from London (Virgin, BA), Amsterdam (KLM), Paris (Air France), Frankfurt (Condor, Lufthansa), Munich (Lufthansa), Zuerich (Edelweiss), Istanbul (Turkish Airlines), Doha (Qatar Airways), Dubai (Emirates), Addis Ababa (Ethiopian), Washington (United), Newark (United), Atlanta (Delta), and Singapore (Singapore Airlines). Note that some of these flights are seasonal and operate only during the southern Summer, so they might not show up yet. There are also regional connections to many places in southern Africa (e.g., Windhoek).

Further connections (e.g., from India, East Asia, Australia, or South America) are available with a transfer in Johannesburg. I recommend to fly into Cape Town, if feasible, because the transfer in Johannesburg requires you to clear immigration and customs (like in the US), which can be a bit unpredictable.

Flight prices vary of course wildly. I have recently paid anything between EUR 700 and 1200 for a Germany round trip, and EUR 1500 for a California round trip.

CPT is about 35km from Stellenbosch; there is no public transport, but Uber is widely available, cheap (< EUR 20 to Stellenbosch), and I always take it. Please be aware that taxi touts will try to talk you into a metered taxi as soon as you leave customs; I always politely ignore them.

If you prefer a pre-booked airport shuttle, try:
* [https://bettinashuttle.co.za/ Bettina's]
* [http://www.shuttleup.co.za/ Shuttle Up]

Stellenbosch is small and easily navigable by foot, and the venue is in walking distance to most hotels and B&Bs. You won't need a rental car unless you are planning to go on a road-trip before or after the conference. There is no public transport in Stellenbosch; do *not* take the train to Cape Town, or a minibus taxi.

==== Accommodation ====

Stellenbosch does not have big corporate hotels but offers a wide variety of different smaller accommodation options. Most centrally located B&Bs (look for the "Stellenbosch Central" or "Mostertsdrift" areas) will be in the range from EUR 80 to EUR 150 per night; there are also Airbnb-style accommodations but they tend to be more in the suburbs, and are not necessarily cheaper. Many wine farms offer luxury accommodation, but they are typically out of town and require a rental car.

Below are a number of guest houses covering different price ranges. Note that I haven't stayed in any of these... Please make your own arrangements and please note that places begin to fill up.

'''Between Stias and the town center''':
* [https://avenuesguesthouse.co.za/ Avenues Guesthouse], 32 Die Laan
* [https://beauclair-guest-cottage.hotels-of-stellenbosch.com/en/ Beauclair Guest Cottage], 1 Coetzenburg Road
* [https://www.bonneesperance.com/ Bonne Esperance], corner of Neethling and Van Riebeeck
* [https://caledon-villa.hotels-of-stellenbosch.com/en/ Caledon Villa], 7 Neethling Street
* [https://www.dehaasliving.co.za/die-laan-2/ De Haas Luxury Living - Die Laan], 2 Die Laan
* [https://www.dehaasliving.co.za/die-laan-40/ De Haas Luxury Living - Die Laan 40], 40 Die Laan
* [https://www.evergreenmanor.co.za/ Evergreen Manor], 11 Murray Street
* [https://koloniestuin.co.za/ Kolonie's Tuin], 22 Die Laan
* [https://www.laanhof.co.za/ Laanhof], 28 Die Laan (self-catering)
* [https://www.lifeandleisure.co.za/ Life & Leisure], 20 Van Riebeeck St
* [https://www.middedorp.com/ Middedorp Manor], 14 Neethling Street
* [https://www.minseriecollection.co.za/ Minserie Collection], Minserie Street (self-catering)
* [https://thelivingjourneycollection.co.za/river-manor/ River Manor], 6-8 Die Laan
* [https://www.roosenwijn.co.za/ Roosenwijn Guesthouse], 14 Van Riebeeck Street
* [https://thelivingjourneycollection.co.za/river-manor/ De Haas Luxury Living - Villa Grande], 1 Keeroom Street

'''Mostertsdrift''' (east of Stias):
* [https://www.5-seasons.co.za/ 5 Seasons Guesthouse], 60 Van Der Stel Street
* [https://lanzerac.co.za/ Lanzerac Wine Estate], Lanzerac Road (wine estate in walking distance from Stias)
* [https://www.stellenboschmanor.com/ Stellenbosch Manor], 2 Van Der Stel Street
* [https://summerwood.co.za/ Summerwood Guest House], 28 Jonkershoek Road
* [https://vanderstelmanor.com/ Van Der Stel Manor], 64 Van Der Stel Street

'''Town center''':
* [https://www.batavia-stellenbosch.co.za/ Batavia Boutique Hotel], 12 Louw Street
* [https://coopmanhuijs.co.za/ Coopmanhuijs Boutique Hotel & Spa], 33 Church Stree
* [https://www.eendracht-hotel.com/ Eendracht Hotel & Self Catering], 160 Drop Street
* [https://www.justjoey.co.za/ Just Joey Lodge], 13 Noordwal-Wes
* [https://stellenboschhotel.co.za/ Stellenbosch Hotel], corner of Dorp & Andringa

==== Security ====

South Africa has a reputation as an unsafe country but most crimes happen in township areas, and the center of Stellenbosch is generally safe; walking around town, or from town to the guesthouses in Mostertsdrift is fine, even after dinner. However, there are a few things to keep in mind:
* Do not flash your valuables (phone, wallet, camera) in public.
* Do not hand over your ATM/credit card - servers will bring a machine to your table (or will ask you to pay at the counter); if you withdraw money from an ATM, check that nobody is lurking around, and do not accept "help" from people.
* Do '''not''' walk or drive into any township (in Stellenbosch, that means Kayamandi and Cloetesville); if you are interested, you can book guided tours.
* Do '''not''' take the train between Cape Town and Stellenbosch (or trains around Cape Town).

==== Weather ====

Early December is late spring in South Africa. The weather in Stellenbosch ''should'' be nice - the average day-time highs are around 25C, night-time lows around 15C, and it ''should'' be dry. However, there are chances of an early heat wave, with temperatures above 30C, or (fortunately less likely) a late rain front with temperatures dropping by 5-10 degrees.

==== Pre- / post-meeting excursions ====

Here are a few ideas if you are planning to spend a few extra days in Stellenbosch or travel around the country:
* Spend the weekend in Cape Town and explore the city - Table Mountain is certainly a prime target. You could also go to Kirstenbosch Botanical Garden (although the prime bloom will be over then), and even climb Table Mountain from there (although this could be hot and strenuous that time of the year). Cape Town has quite a lot of night life, especially on the weekend.
* Explore the Stellenbosch surroundings. For this, you should probably get a rental car. There are literally hundreds of wine farms in the surroundings, if you want to go for a tasting. The Paarl Taal Monument (monument to the Afrikaans language) is an interesting cultural experience, and you can go on to the Paarl rock (large granite Boulder). Franschhoeck is a another cute town.
* Get out to the Cederberg Mountains - a nice mountainous area about 2-3hours north of Cape Town, with nice mountain walks (Wolfberg Cracks, some caves). You could stay at Clanwilliam, or look for a place in the mountain reserve (look for Algeria). The roads are mostly dirt (ie unpaved) but we have driven them in a Polo...
* Hike the Bosmanskloof Traverse (either as an overnight hike, or as a day-hike), staying in McGregor or Grayton.
* Go to Calitzdorp for Port tasting, Oudtshoorn for the ostriches (and the very tourist-trappy Cango Caves, a huge limestone cave), and drive some of the old Mountain passes, like [http://en.wikipedia.org/wiki/Swartberg_Pass Swartbergpass] into Prince Albert, a quaint Karoo town, and "poorts" (i.e., mountain notches), like [https://en.wikipedia.org/wiki/Seweweekspoort| Seweweekspoort].
* Go shark cage diving in Struisbaai.

Except for the Cape Town weekend, most trips will require a rental car. You can get an uber or a dedicated driver for a wine tasting tour, which is probably a smart idea in the first place...

'''Safaris.'''
There are no lions running around in Stellenbosch ;-). The closest ones are at the [http://www.lionrescue.org.za/ Drakenstein Lion Park], which is basically a retirement home for lions. There are a few private game reserves within two to three hours drive of Stellenbosch (e.g., [https://grgamelodge.co.za/ Garden Route Game Lodge] or [http://www.sanbona.com/propertydefault.asp?MicroSiteID=3 Sanbona]), but they are not cheap. The closest National Parks with substantial wildlife are [http://www.sanparks.co.za/parks/mountain_zebra/ Mountain Zebra NP] and [http://www.sanparks.org/parks/addo/ Addo Elephant NP] (about 8-10hrs drive from Stellenbosch, but Addo is quite close to Port Elizabeth, which is one hour by plane from Cape Town). If you plan to visit [http://www.sanparks.org/parks/kruger/ Krueger NP] you should probably fly with a stop-over in Johannesburg, and plan on at least four extra days.

==== Arrivals and departures of attendants ====

* Friedrich will arrive on Monday morning (Condor flight DE2290, ETA 10:45 am) and leave on Friday evening (DE2291 at 7:50 pm); will stay at Evergreen Manor.
* Sebastian will arrive on Monday morning (Condor flight DE2290, ETA 10:45 am) and leave on Friday evening (DE2291 at 7:50 pm); will stay at Evergreen Manor.
* Julia will arrive on Monday morning at 5:50am (Air France from Paris) and leave on the following Monday morning at 7:55am; staying at The Avenues Guest House.
* Jacques will arrive a whole week before, Sunday Nov. 23, stay in Cape Town, then get to Stellenbosch on Monday 1 December, and leave on Saturday Dec 6 at 5 PM (Turkish Airlines TK 45). Staying at Laanhof.
* Shraddha will arrive on 1st Dec 11.40am and leave on Sunday 7th Dec 9.30pm; staying at the 5 Seasons Guest House.

File:Stellenbosch.pdf

2025-12-01T08:17:39Z

Eric:

WG211/M25Schedule

2025-11-29T14:41:20Z

Eric: /* Talks and Schedule */

= IFIP Working Group 2.11, Twenty-fifth Meeting =

== December 2-5, 2025, Stellenbosch, South Africa ==

The meeting will be held in Stellenbosch, South Africa, hosted by [mailto:bfischer@sun.ac.za Bernd Fischer]. The meeting is planned for 3.5 days, with a half day on December 5. More details, program, and registration information will be appearing on this page in the next few weeks.

=== Venue ===

The meeting will be held at the Wallenberg Center of the [http://stias.ac.za/ Stellenbosch Institute for Advanced Study] ([https://maps.app.goo.gl/AZg9SFDFsrLBL8Dr7 Streetview]). This is to the east of the [http://en.wikipedia.org/wiki/Stellenbosch_University Stellenbosch University] Campus ([https://www.sun.ac.za/english/welcome/Documents/Main%20campus%20map%20revised.pdf Campus map]). Most B&B's, hotels, and restaurants are within 10-15mins walk.

Note that STIAS doesn't serve breakfast before the meeting starts, but that should be covered by your B&B.

=== Group dinners ===

Stellenbosch has many restaurants, but they get quite busy from mid-November. I have thus made dinner reservations for 19:00 each night:
* Tuesday: [https://www.devier.co.za De Vier]
* Wednesday: [https://bertusbasson.com/#spek-bone Spek en Bone]
* Thursday: [https://devleispaleis.co.za De Vleispaleis]

For people attending the excursion, I have made a reservation at 19:30:
* Friday: [https://www.de-eetkamer.co.za De Eetkamer]

All restaurants are within walking distance from the old town. All restaurants have vegetarian options available, despite their names ;-).

=== Group excursion ===

I have arranged a group excursion on Friday, Dec 5. We will be visiting Boulder's Beach for penguin watching and take the cable car up to [https://en.wikipedia.org/wiki/Table_Mountain Table Mountain], with time for a walk at the plateau. We will be doing a wine tasting along the way - this is the winelands, after all!

Note that Table Mountain has a notoriously fickle weather, and could be shrouded in clouds (the so called "table cloth") any time. If the [https://www.tablemountain.net/plan-your-visit/getting-here weather] doesn't co-operate, we will drive to Cape of Good Hope as a backup.

Departure will likely be around 8:30 or 9:00, return to Stellenbosch should be around 18:00 or 18:30, depending on traffic.

Please sign up here if you plan to attend.
* Shraddha Barke
* Jacques Carette (+1)
* Sebastian Erdweg (have to leave before dinner)
* Bernd Fischer
* Cezary Kaliszyk
* Ohad Kammar
* Yuito Murase
* Klaus Ostermann
* Chung-Chieh Shan
* Michel Steuwer
* Eric Van Wyk
* Jeremy Yallop
* Julia Lawall

=== Registration fee ===

Registration fee for the meeting is EUR 275 / ZAR 5500; this covers all lunches on the meeting days and the dinners Tuesday - Thursday (including reasonable amounts of drinks ;-). Additional dinner tickets for partners will be EUR 150 / ZAR 3000.

The cost for the [[WG211/M25Schedule#Group excursion|excursion]] on Dec 5 will be EUR 125 / ZAR 2500 (based on 16 people attending; the price will go up slightly if fewer people attend, because of the fixed bus hire costs); this includes transport, entrance fees at Boulder's Beach, the Table Mountain cable car, boxed lunch and wine tasting, and dinner at [https://www.de-eetkamer.co.za De Eetkamer] in Stellenbosch.

Payment is in cash (either in Euros or in Rand) on arrival, or via electronic bank transfer; please mail me for the account details, if you want to use that option. I will issue a signed receipt on University stationary for the amount paid in the currency used.

=== Members attending ===

Please add your name to the following list (alphabetical by last name, please) if you are planning to attend the meeting.

* Jacques Carette
* Sebastian Erdweg
* Bernd Fischer
* Ohad Kammar
* Julia Lawall
* Klaus Ostermann
* Chung-chieh Shan
* Friedrich Steimann
* Eric Van Wyk
* Jeremy Yallop

=== Guests and Observers ===

* [https://michaeldadams.org/ Michael Adams]
* [https://www.microsoft.com/en-us/research/people/sbarke/ Shraddha Barke]
* [https://www.tue.nl/en/research/researchers/loek-cleophas Loek Cleophas] (local observer)
* [https://ckaliszyk.github.io/ Cezary Kaliszyk]
* Yuito Murase (as proxy of Atsushi Igarashi)
* [https://www.moeketsi.me/ Moeketsi Raselimo] (local observer)
* [https://steuwer.info/ Michel Steuwer]

== Talks and Schedule ==

The following people have confirmed they will giving a talk:

* Michael D. Adams
* Shraddha Barke [[WG211/M25Barke| Toward Trustworthy LLM Generation: From Verifiable Proofs to Reliable Agents]]
* Jacques Carette [[WG211/M25Carette| Definite Folds]]
* Sebastian Erdweg
* Bernd Fischer (or maybe Moeketsi Raselimo) [[WG211/M25Fischer| Learning Lexical Structure of Black-Box Systems via Repeated String Edit Operations]]
* Cezary Kaliszyk
* Ohad Kammar [[WG211/M25Kammar| Intrinsically typed and well-scoped SMTLIB FFI bindings with modular abstract syntax trees (MAST)]]
* Julia Lawall TBD
* Yuito Murase and Atsushi Igarashi [[WG211/M25Murase| Refined^2 Environment Classifiers]]
* Chung-chieh Shan
* Friedrich Steimann [[WG211/M25Steimann| Relative Multiplication of Infinite Relations]]
* Michel Steuwer [[WG211/M25Steuwer| Slotted E-Graphs]]
* Jeremy Yallop [[WG211/M25Yallop| Frex: Dependently Typed Algebraic Simplification]]
* Eric Van Wyk: On Scope Graphs and Reference Attribute Grammars: Answering Eelco's Questions

== Travel ==

Note that the meeting will be in the southern Summer, just before the local holiday season starts in earnest, and Stellenbosch (and all of South Africa) will be getting busy, so arrange your flights and accommodation early.

==== Visa Information ====

Visitors from [http://en.wikipedia.org/wiki/Visa_policy_of_South_Africa most EU countries, US, Canada, Japan, Australia and most of South America] don't need a visa to visit South Africa. The complete (official) list is available at the [https://www.dha.gov.za/index.php/countries-exempt-from-sa-visas Department of Home Affairs]. Please contact [mailto:bfischer@sun.ac.za Bernd Fischer] if you need a visa to visit South Africa; please note that applications can take substantial amounts of time to get processed (although the backlog has been cleaned up after the last election...)

==== Vaccinations and Prophylaxis ====

South Africa requires yellow fever vaccinations for travelers arriving from a [https://www.southafrica.net/gl/en/travel/article/yellow-fever-entry-requirements risk area]; this includes most of South America and Central Africa, but excludes Europe, North America, Asia, and Oceania. You should probably have up-to-date standard vaccinations (such as tetanus) as you would have for travel in Europe or North America. Malaria prophylaxis is only required if you go to Kruger National Park or Victoria Falls.

The medical system is very good around Stellenbosch, but sometimes less so in other parts of the country. Check with your (travel) insurance whether they cover your trip.

==== Getting to Stellenbosch ====

The closest airport to Stellenbosch is [https://en.wikipedia.org/wiki/Cape_Town_International_Airport Cape Town International (CPT / FACT)]. There are direct flights from London (Virgin, BA), Amsterdam (KLM), Paris (Air France), Frankfurt (Condor, Lufthansa), Munich (Lufthansa), Zuerich (Edelweiss), Istanbul (Turkish Airlines), Doha (Qatar Airways), Dubai (Emirates), Addis Ababa (Ethiopian), Washington (United), Newark (United), Atlanta (Delta), and Singapore (Singapore Airlines). Note that some of these flights are seasonal and operate only during the southern Summer, so they might not show up yet. There are also regional connections to many places in southern Africa (e.g., Windhoek).

Further connections (e.g., from India, East Asia, Australia, or South America) are available with a transfer in Johannesburg. I recommend to fly into Cape Town, if feasible, because the transfer in Johannesburg requires you to clear immigration and customs (like in the US), which can be a bit unpredictable.

Flight prices vary of course wildly. I have recently paid anything between EUR 700 and 1200 for a Germany round trip, and EUR 1500 for a California round trip.

CPT is about 35km from Stellenbosch; there is no public transport, but Uber is widely available, cheap (< EUR 20 to Stellenbosch), and I always take it. Please be aware that taxi touts will try to talk you into a metered taxi as soon as you leave customs; I always politely ignore them.

If you prefer a pre-booked airport shuttle, try:
* [https://bettinashuttle.co.za/ Bettina's]
* [http://www.shuttleup.co.za/ Shuttle Up]

Stellenbosch is small and easily navigable by foot, and the venue is in walking distance to most hotels and B&Bs. You won't need a rental car unless you are planning to go on a road-trip before or after the conference. There is no public transport in Stellenbosch; do *not* take the train to Cape Town, or a minibus taxi.

==== Accommodation ====

Stellenbosch does not have big corporate hotels but offers a wide variety of different smaller accommodation options. Most centrally located B&Bs (look for the "Stellenbosch Central" or "Mostertsdrift" areas) will be in the range from EUR 80 to EUR 150 per night; there are also Airbnb-style accommodations but they tend to be more in the suburbs, and are not necessarily cheaper. Many wine farms offer luxury accommodation, but they are typically out of town and require a rental car.

Below are a number of guest houses covering different price ranges. Note that I haven't stayed in any of these... Please make your own arrangements and please note that places begin to fill up.

'''Between Stias and the town center''':
* [https://avenuesguesthouse.co.za/ Avenues Guesthouse], 32 Die Laan
* [https://beauclair-guest-cottage.hotels-of-stellenbosch.com/en/ Beauclair Guest Cottage], 1 Coetzenburg Road
* [https://www.bonneesperance.com/ Bonne Esperance], corner of Neethling and Van Riebeeck
* [https://caledon-villa.hotels-of-stellenbosch.com/en/ Caledon Villa], 7 Neethling Street
* [https://www.dehaasliving.co.za/die-laan-2/ De Haas Luxury Living - Die Laan], 2 Die Laan
* [https://www.dehaasliving.co.za/die-laan-40/ De Haas Luxury Living - Die Laan 40], 40 Die Laan
* [https://www.evergreenmanor.co.za/ Evergreen Manor], 11 Murray Street
* [https://koloniestuin.co.za/ Kolonie's Tuin], 22 Die Laan
* [https://www.laanhof.co.za/ Laanhof], 28 Die Laan (self-catering)
* [https://www.lifeandleisure.co.za/ Life & Leisure], 20 Van Riebeeck St
* [https://www.middedorp.com/ Middedorp Manor], 14 Neethling Street
* [https://www.minseriecollection.co.za/ Minserie Collection], Minserie Street (self-catering)
* [https://thelivingjourneycollection.co.za/river-manor/ River Manor], 6-8 Die Laan
* [https://www.roosenwijn.co.za/ Roosenwijn Guesthouse], 14 Van Riebeeck Street
* [https://thelivingjourneycollection.co.za/river-manor/ De Haas Luxury Living - Villa Grande], 1 Keeroom Street

'''Mostertsdrift''' (east of Stias):
* [https://www.5-seasons.co.za/ 5 Seasons Guesthouse], 60 Van Der Stel Street
* [https://lanzerac.co.za/ Lanzerac Wine Estate], Lanzerac Road (wine estate in walking distance from Stias)
* [https://www.stellenboschmanor.com/ Stellenbosch Manor], 2 Van Der Stel Street
* [https://summerwood.co.za/ Summerwood Guest House], 28 Jonkershoek Road
* [https://vanderstelmanor.com/ Van Der Stel Manor], 64 Van Der Stel Street

'''Town center''':
* [https://www.batavia-stellenbosch.co.za/ Batavia Boutique Hotel], 12 Louw Street
* [https://coopmanhuijs.co.za/ Coopmanhuijs Boutique Hotel & Spa], 33 Church Stree
* [https://www.eendracht-hotel.com/ Eendracht Hotel & Self Catering], 160 Drop Street
* [https://www.justjoey.co.za/ Just Joey Lodge], 13 Noordwal-Wes
* [https://stellenboschhotel.co.za/ Stellenbosch Hotel], corner of Dorp & Andringa

==== Security ====

South Africa has a reputation as an unsafe country but most crimes happen in township areas, and the center of Stellenbosch is generally safe; walking around town, or from town to the guesthouses in Mostertsdrift is fine, even after dinner. However, there are a few things to keep in mind:
* Do not flash your valuables (phone, wallet, camera) in public.
* Do not hand over your ATM/credit card - servers will bring a machine to your table (or will ask you to pay at the counter); if you withdraw money from an ATM, check that nobody is lurking around, and do not accept "help" from people.
* Do '''not''' walk or drive into any township (in Stellenbosch, that means Kayamandi and Cloetesville); if you are interested, you can book guided tours.
* Do '''not''' take the train between Cape Town and Stellenbosch (or trains around Cape Town).

==== Weather ====

Early December is late spring in South Africa. The weather in Stellenbosch ''should'' be nice - the average day-time highs are around 25C, night-time lows around 15C, and it ''should'' be dry. However, there are chances of an early heat wave, with temperatures above 30C, or (fortunately less likely) a late rain front with temperatures dropping by 5-10 degrees.

==== Pre- / post-meeting excursions ====

Here are a few ideas if you are planning to spend a few extra days in Stellenbosch or travel around the country:
* Spend the weekend in Cape Town and explore the city - Table Mountain is certainly a prime target. You could also go to Kirstenbosch Botanical Garden (although the prime bloom will be over then), and even climb Table Mountain from there (although this could be hot and strenuous that time of the year). Cape Town has quite a lot of night life, especially on the weekend.
* Explore the Stellenbosch surroundings. For this, you should probably get a rental car. There are literally hundreds of wine farms in the surroundings, if you want to go for a tasting. The Paarl Taal Monument (monument to the Afrikaans language) is an interesting cultural experience, and you can go on to the Paarl rock (large granite Boulder). Franschhoeck is a another cute town.
* Get out to the Cederberg Mountains - a nice mountainous area about 2-3hours north of Cape Town, with nice mountain walks (Wolfberg Cracks, some caves). You could stay at Clanwilliam, or look for a place in the mountain reserve (look for Algeria). The roads are mostly dirt (ie unpaved) but we have driven them in a Polo...
* Hike the Bosmanskloof Traverse (either as an overnight hike, or as a day-hike), staying in McGregor or Grayton.
* Go to Calitzdorp for Port tasting, Oudtshoorn for the ostriches (and the very tourist-trappy Cango Caves, a huge limestone cave), and drive some of the old Mountain passes, like [http://en.wikipedia.org/wiki/Swartberg_Pass Swartbergpass] into Prince Albert, a quaint Karoo town, and "poorts" (i.e., mountain notches), like [https://en.wikipedia.org/wiki/Seweweekspoort| Seweweekspoort].
* Go shark cage diving in Struisbaai.

Except for the Cape Town weekend, most trips will require a rental car. You can get an uber or a dedicated driver for a wine tasting tour, which is probably a smart idea in the first place...

'''Safaris.'''
There are no lions running around in Stellenbosch ;-). The closest ones are at the [http://www.lionrescue.org.za/ Drakenstein Lion Park], which is basically a retirement home for lions. There are a few private game reserves within two to three hours drive of Stellenbosch (e.g., [https://grgamelodge.co.za/ Garden Route Game Lodge] or [http://www.sanbona.com/propertydefault.asp?MicroSiteID=3 Sanbona]), but they are not cheap. The closest National Parks with substantial wildlife are [http://www.sanparks.co.za/parks/mountain_zebra/ Mountain Zebra NP] and [http://www.sanparks.org/parks/addo/ Addo Elephant NP] (about 8-10hrs drive from Stellenbosch, but Addo is quite close to Port Elizabeth, which is one hour by plane from Cape Town). If you plan to visit [http://www.sanparks.org/parks/kruger/ Krueger NP] you should probably fly with a stop-over in Johannesburg, and plan on at least four extra days.

==== Arrivals and departures of attendants ====

* Friedrich will arrive on Monday morning (Condor flight DE2290, ETA 10:45 am) and leave on Friday evening (DE2291 at 7:50 pm); will stay at Evergreen Manor.
* Sebastian will arrive on Monday morning (Condor flight DE2290, ETA 10:45 am) and leave on Friday evening (DE2291 at 7:50 pm); will stay at Evergreen Manor.
* Julia will arrive on Monday morning at 5:50am (Air France from Paris) and leave on the following Monday morning at 7:55am; staying at The Avenues Guest House.
* Jacques will arrive a whole week before, Sunday Nov. 23, stay in Cape Town, then get to Stellenbosch on Monday 1 December, and leave on Saturday Dec 6 at 5 PM (Turkish Airlines TK 45). Staying at Laanhof.
* Shraddha will arrive on 1st Dec 11.40am and leave on Sunday 7th Dec 9.30pm; staying at the 5 Seasons Guest House.

WG211/M25Schedule

2025-11-09T16:44:47Z

Eric: /* Talks and Schedule */

= IFIP Working Group 2.11, Twenty-fifth Meeting =

== December 2-5, 2025, Stellenbosch, South Africa ==

The meeting will be held in Stellenbosch, South Africa, hosted by [mailto:bfischer@sun.ac.za Bernd Fischer]. The meeting is planned for 3.5 days, with a half day on December 5. More details, program, and registration information will be appearing on this page in the next few weeks.

=== Venue ===

The meeting will be held at the Wallenberg Center of the [http://stias.ac.za/ Stellenbosch Institute for Advanced Study] ([https://maps.app.goo.gl/AZg9SFDFsrLBL8Dr7 Streetview]). This is to the east of the [http://en.wikipedia.org/wiki/Stellenbosch_University Stellenbosch University] Campus ([https://www.sun.ac.za/english/welcome/Documents/Main%20campus%20map%20revised.pdf Campus map]). Most B&B's, hotels, and restaurants are within 10-15mins walk.

Note that STIAS doesn't serve breakfast before the meeting starts, but that should be covered by your B&B.

=== Group dinners ===

Stellenbosch has many restaurants, but they get quite busy from mid-November. I have thus made dinner reservations for 19:00 each night:
* Tuesday: [https://www.devier.co.za De Vier]
* Wednesday: [https://bertusbasson.com/#spek-bone Spek en Bone]
* Thursday: [https://devleispaleis.co.za De Vleispaleis]

For people attending the excursion, I have made a reservation at 19:30:
* Friday: [https://www.de-eetkamer.co.za De Eetkamer]

All restaurants are within walking distance from the old town. All restaurants have vegetarian options available, despite their names ;-).

=== Group excursion ===

I have arranged a group excursion on Friday, Dec 5. We will be visiting Boulder's Beach for penguin watching and take the cable car up to [https://en.wikipedia.org/wiki/Table_Mountain Table Mountain], with time for a walk at the plateau. We will be doing a wine tasting along the way - this is the winelands, after all!

Note that Table Mountain has a notoriously fickle weather, and could be shrouded in clouds (the so called "table cloth") any time. If the [https://www.tablemountain.net/plan-your-visit/getting-here weather] doesn't co-operate, we will drive to Cape of Good Hope as a backup.

Departure will likely be around 8:30 or 9:00, return to Stellenbosch should be around 18:00 or 18:30, depending on traffic.

Please sign up here if you plan to attend.
* Jacques Carette (+1)
* Bernd Fischer
* Jeremy Yallop
* Ohad Kammar
* Eric Van Wyk

=== Registration fee ===

Registration fee for the meeting is EUR 275 / ZAR 5500; this covers all lunches on the meeting days and the dinners Tuesday - Thursday (including reasonable amounts of drinks ;-). Additional dinner tickets for partners will be EUR 150 / ZAR 3000.

The cost for the [[WG211/M25Schedule#Group excursion|excursion]] on Dec 5 will be EUR 125 / ZAR 2500 (based on 16 people attending; the price will go up slightly if fewer people attend, because of the fixed bus hire costs); this includes transport, entrance fees at Boulder's Beach, the Table Mountain cable car, boxed lunch and wine tasting, and dinner at [https://www.de-eetkamer.co.za De Eetkamer] in Stellenbosch.

Payment is in cash (either in Euros or in Rand) on arrival, or via electronic bank transfer; please mail me for the account details, if you want to use that option. I will issue a signed receipt on University stationary for the amount paid in the currency used.

=== Members attending ===

Please add your name to the following list (alphabetical by last name, please) if you are planning to attend the meeting.

* Jacques Carette
* Sebastian Erdweg
* Bernd Fischer
* Ohad Kammar
* Julia Lawall
* Klaus Ostermann
* Chung-chieh Shan
* Ulrik Pagh Schultz Lundquist
* Sven-Bodo Scholz ? (TBC)
* Friedrich Steimann
* Eric Van Wyk
* Jeremy Yallop

=== Guests and Observers ===

* Shraddha Barke
* [https://www.tue.nl/en/research/researchers/loek-cleophas Loek Cleophas] (local observer)
* Cezary Kaliszyk
* Yuito Murase (as proxy of Atsushi Igarashi)
* [https://www.moeketsi.me/ Moeketsi Raselimo] (local observer)
* Michel Steuwer

== Talks and Schedule ==

The following people have confirmed they will giving a talk:

* Jacques Carette [[WG211/M25Carette| Definite Folds]]
* Sebastian Erdweg
* Bernd Fischer (or maybe Moeketsi Raselimo) [[WG211/M25Fischer| Learning Lexical Structure of Black-Box Systems via Repeated String Edit Operations]]
* Ohad Kammar [[WG211/M25Kammar| Intrinsically typed and well-scoped SMTLIB FFI bindings with modular abstract syntax trees (MAST)]]
* Ulrik Pagh Schultz Lundquist [[WG211/M25Lundquist| The E-CoRe Project: Energy-efficient Computing via Reversibility]]
* Chung-chieh Shan
* Friedrich Steimann "Relative Multiplication of Infinite Relations"
* Jeremy Yallop [[WG211/M25Yallop| Frex: Dependently Typed Algebraic Simplification]]
* Eric Van Wyk TBD

== Travel ==

Note that the meeting will be in the southern Summer, just before the local holiday season starts in earnest, and Stellenbosch (and all of South Africa) will be getting busy, so arrange your flights and accommodation early.

==== Visa Information ====

Visitors from [http://en.wikipedia.org/wiki/Visa_policy_of_South_Africa most EU countries, US, Canada, Japan, Australia and most of South America] don't need a visa to visit South Africa. The complete (official) list is available at the [https://www.dha.gov.za/index.php/countries-exempt-from-sa-visas Department of Home Affairs]. Please contact [mailto:bfischer@sun.ac.za Bernd Fischer] if you need a visa to visit South Africa; please note that applications can take substantial amounts of time to get processed (although the backlog has been cleaned up after the last election...)

==== Vaccinations and Prophylaxis ====

South Africa requires yellow fever vaccinations for travelers arriving from a [https://www.southafrica.net/gl/en/travel/article/yellow-fever-entry-requirements risk area]; this includes most of South America and Central Africa, but excludes Europe, North America, Asia, and Oceania. You should probably have up-to-date standard vaccinations (such as tetanus) as you would have for travel in Europe or North America. Malaria prophylaxis is only required if you go to Kruger National Park or Victoria Falls.

The medical system is very good around Stellenbosch, but sometimes less so in other parts of the country. Check with your (travel) insurance whether they cover your trip.

==== Getting to Stellenbosch ====

The closest airport to Stellenbosch is [https://en.wikipedia.org/wiki/Cape_Town_International_Airport Cape Town International (CPT / FACT)]. There are direct flights from London (Virgin, BA), Amsterdam (KLM), Paris (Air France), Frankfurt (Condor, Lufthansa), Munich (Lufthansa), Zuerich (Edelweiss), Istanbul (Turkish Airlines), Doha (Qatar Airways), Dubai (Emirates), Addis Ababa (Ethiopian), Washington (United), Newark (United), Atlanta (Delta), and Singapore (Singapore Airlines). Note that some of these flights are seasonal and operate only during the southern Summer, so they might not show up yet. There are also regional connections to many places in southern Africa (e.g., Windhoek).

Further connections (e.g., from India, East Asia, Australia, or South America) are available with a transfer in Johannesburg. I recommend to fly into Cape Town, if feasible, because the transfer in Johannesburg requires you to clear immigration and customs (like in the US), which can be a bit unpredictable.

Flight prices vary of course wildly. I have recently paid anything between EUR 700 and 1200 for a Germany round trip, and EUR 1500 for a California round trip.

CPT is about 35km from Stellenbosch; there is no public transport, but Uber is widely available, cheap (< EUR 20 to Stellenbosch), and I always take it. Please be aware that taxi touts will try to talk you into a metered taxi as soon as you leave customs; I always politely ignore them.

If you prefer a pre-booked airport shuttle, try:
* [https://bettinashuttle.co.za/ Bettina's]
* [http://www.shuttleup.co.za/ Shuttle Up]

Stellenbosch is small and easily navigable by foot, and the venue is in walking distance to most hotels and B&Bs. You won't need a rental car unless you are planning to go on a road-trip before or after the conference. There is no public transport in Stellenbosch; do *not* take the train to Cape Town, or a minibus taxi.

==== Accommodation ====

Stellenbosch does not have big corporate hotels but offers a wide variety of different smaller accommodation options. Most centrally located B&Bs (look for the "Stellenbosch Central" or "Mostertsdrift" areas) will be in the range from EUR 80 to EUR 150 per night; there are also Airbnb-style accommodations but they tend to be more in the suburbs, and are not necessarily cheaper. Many wine farms offer luxury accommodation, but they are typically out of town and require a rental car.

Below are a number of guest houses covering different price ranges. Note that I haven't stayed in any of these... Please make your own arrangements and please note that places begin to fill up.

'''Between Stias and the town center''':
* [https://avenuesguesthouse.co.za/ Avenues Guesthouse], 32 Die Laan
* [https://beauclair-guest-cottage.hotels-of-stellenbosch.com/en/ Beauclair Guest Cottage], 1 Coetzenburg Road
* [https://www.bonneesperance.com/ Bonne Esperance], corner of Neethling and Van Riebeeck
* [https://caledon-villa.hotels-of-stellenbosch.com/en/ Caledon Villa], 7 Neethling Street
* [https://www.dehaasliving.co.za/die-laan-2/ De Haas Luxury Living - Die Laan], 2 Die Laan
* [https://www.dehaasliving.co.za/die-laan-40/ De Haas Luxury Living - Die Laan 40], 40 Die Laan
* [https://www.evergreenmanor.co.za/ Evergreen Manor], 11 Murray Street
* [https://koloniestuin.co.za/ Kolonie's Tuin], 22 Die Laan
* [https://www.laanhof.co.za/ Laanhof], 28 Die Laan (self-catering)
* [https://www.lifeandleisure.co.za/ Life & Leisure], 20 Van Riebeeck St
* [https://www.middedorp.com/ Middedorp Manor], 14 Neethling Street
* [https://www.minseriecollection.co.za/ Minserie Collection], Minserie Street (self-catering)
* [https://thelivingjourneycollection.co.za/river-manor/ River Manor], 6-8 Die Laan
* [https://www.roosenwijn.co.za/ Roosenwijn Guesthouse], 14 Van Riebeeck Street
* [https://thelivingjourneycollection.co.za/river-manor/ De Haas Luxury Living - Villa Grande], 1 Keeroom Street

'''Mostertsdrift''' (east of Stias):
* [https://www.5-seasons.co.za/ 5 Seasons Guesthouse], 60 Van Der Stel Street
* [https://lanzerac.co.za/ Lanzerac Wine Estate], Lanzerac Road (wine estate in walking distance from Stias)
* [https://www.stellenboschmanor.com/ Stellenbosch Manor], 2 Van Der Stel Street
* [https://summerwood.co.za/ Summerwood Guest House], 28 Jonkershoek Road
* [https://vanderstelmanor.com/ Van Der Stel Manor], 64 Van Der Stel Street

'''Town center''':
* [https://www.batavia-stellenbosch.co.za/ Batavia Boutique Hotel], 12 Louw Street
* [https://coopmanhuijs.co.za/ Coopmanhuijs Boutique Hotel & Spa], 33 Church Stree
* [https://www.eendracht-hotel.com/ Eendracht Hotel & Self Catering], 160 Drop Street
* [https://www.justjoey.co.za/ Just Joey Lodge], 13 Noordwal-Wes
* [https://stellenboschhotel.co.za/ Stellenbosch Hotel], corner of Dorp & Andringa

==== Security ====

South Africa has a reputation as an unsafe country but most crimes happen in township areas, and the center of Stellenbosch is generally safe; walking around town, or from town to the guesthouses in Mostertsdrift is fine, even after dinner. However, there are a few things to keep in mind:
* Do not flash your valuables (phone, wallet, camera) in public.
* Do not hand over your ATM/credit card - servers will bring a machine to your table (or will ask you to pay at the counter); if you withdraw money from an ATM, check that nobody is lurking around, and do not accept "help" from people.
* Do '''not''' walk or drive into any township (in Stellenbosch, that means Kayamandi and Cloetesville); if you are interested, you can book guided tours.
* Do '''not''' take the train between Cape Town and Stellenbosch (or trains around Cape Town).

==== Weather ====

Early December is late spring in South Africa. The weather in Stellenbosch ''should'' be nice - the average day-time highs are around 25C, night-time lows around 15C, and it ''should'' be dry. However, there are chances of an early heat wave, with temperatures above 30C, or (fortunately less likely) a late rain front with temperatures dropping by 5-10 degrees.

==== Pre- / post-meeting excursions ====

Here are a few ideas if you are planning to spend a few extra days in Stellenbosch or travel around the country:
* Spend the weekend in Cape Town and explore the city - Table Mountain is certainly a prime target. You could also go to Kirstenbosch Botanical Garden (although the prime bloom will be over then), and even climb Table Mountain from there (although this could be hot and strenuous that time of the year). Cape Town has quite a lot of night life, especially on the weekend.
* Explore the Stellenbosch surroundings. For this, you should probably get a rental car. There are literally hundreds of wine farms in the surroundings, if you want to go for a tasting. The Paarl Taal Monument (monument to the Afrikaans language) is an interesting cultural experience, and you can go on to the Paarl rock (large granite Boulder). Franschhoeck is a another cute town.
* Get out to the Cederberg Mountains - a nice mountainous area about 2-3hours north of Cape Town, with nice mountain walks (Wolfberg Cracks, some caves). You could stay at Clanwilliam, or look for a place in the mountain reserve (look for Algeria). The roads are mostly dirt (ie unpaved) but we have driven them in a Polo...
* Hike the Bosmanskloof Traverse (either as an overnight hike, or as a day-hike), staying in McGregor or Grayton.
* Go to Calitzdorp for Port tasting, Oudtshoorn for the ostriches (and the very tourist-trappy Cango Caves, a huge limestone cave), and drive some of the old Mountain passes, like [http://en.wikipedia.org/wiki/Swartberg_Pass Swartbergpass] into Prince Albert, a quaint Karoo town, and "poorts" (i.e., mountain notches), like [https://en.wikipedia.org/wiki/Seweweekspoort| Seweweekspoort].
* Go shark cage diving in Struisbaai.

Except for the Cape Town weekend, most trips will require a rental car. You can get an uber or a dedicated driver for a wine tasting tour, which is probably a smart idea in the first place...

'''Safaris.'''
There are no lions running around in Stellenbosch ;-). The closest ones are at the [http://www.lionrescue.org.za/ Drakenstein Lion Park], which is basically a retirement home for lions. There are a few private game reserves within two to three hours drive of Stellenbosch (e.g., [https://grgamelodge.co.za/ Garden Route Game Lodge] or [http://www.sanbona.com/propertydefault.asp?MicroSiteID=3 Sanbona]), but they are not cheap. The closest National Parks with substantial wildlife are [http://www.sanparks.co.za/parks/mountain_zebra/ Mountain Zebra NP] and [http://www.sanparks.org/parks/addo/ Addo Elephant NP] (about 8-10hrs drive from Stellenbosch, but Addo is quite close to Port Elizabeth, which is one hour by plane from Cape Town). If you plan to visit [http://www.sanparks.org/parks/kruger/ Krueger NP] you should probably fly with a stop-over in Johannesburg, and plan on at least four extra days.

WG211/M25Schedule

2025-11-09T16:44:11Z

WG211/M23VanWyk

2024-03-19T18:56:13Z

Eric: Created page with "Abstract coming soon ..."

Abstract coming soon ...

WG211/M23Schedule

2024-03-19T18:56:00Z

Eric: /* Talks */

= IFIP Working Group 2.11, Twenty-third Meeting =

== March 25th–28th 2024 in Philadelphia, Pennsylvania, USA ==

The meeting will be hosted by [https://www.cs.drexel.edu/~gbm26/ Geoffrey Mainland].

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.

This [https://www.google.com/maps/d/u/0/edit?mid=1AhXrbDYk0H2YfwZq0t5OgDjyc_M5UxE&usp=sharing Google map] includes the venue, hotel, and locations of social events.

=== Venue ===

[https://drexel.edu/cci/ Drexel College of Computing and Informatics]<br/>
[https://ucitysquare.com/property/3675-market-street/ 3675 Market Street]

When you arrive, check in with the concierge immediately to your left once you pass the double doors and let them know you are here for the IFIP working group meeting; they have a list of all attendees' names. The concierge will open a turnstyle for you, which provides access to the elevator bank. Take the elevator to the 11th floor. We will meet in room 1103.

==== WiFi Access ====

If you have EduRoam credentials, you may use them to access the eduroam network while at Drexel.

If you do not have EduRoam credentials, you may connect to the DrexelGuest network as follows:

* Choose "DrexelGuest" from the list of available wireless networks.
* Open a browser and attempt to access a web site, you should be directed to the Drexel Guest login page. If you are not automatically redirected, please browse to http://drexelguest.drexel.edu.
* Follow the instructions, providing your email address to login to the guest network.

Further details concerning the Drexel guest network are available [https://drexel.edu/it/help/a-z/drexelguest/ here].

=== Travel ===

Philadelphia International Airport (PHL) has frequent flights to both Europe and the USA/Canada. A taxi between PHL and the Center City Zone of Philadelphia, which includes the venue and most hotels, costs a flat rate of $32.00. There is a taxi queue. Uber and Lyft have designated pick-up and drop-off areas at the airport; they are sometimes less expensive and sometimes more expensive than a taxi. It is possible to take regional rail to University City (Penn Medicine Station) and walk/take a car from there, but that is much less convenient.

It is also possible to fly into Newark Liberty International Airport (EWR) and take Amtrak from there to 30th St. Station. The trip takes slightly over an hour, and train ticket prices vary widely depending on time of day and how far one books in advance ($20-$100 each way). 30th St. Station is a 15-20 minute walk from the venue (a straight shot down Market St.).

Amtrak also provides reliable, regular service to New York City (about 1.5 hours) and Washington D.C. (about 2 hours). If you are extending your stay and would like to visit either of these cities, that could be a viable option. It might make sense to fly into New York City just for the meeting, but flying in to D.C. would not be a good choice. Email Geoff if you're thinking about either option.

==== Getting Around Philadelphia ====

Philadelphia is a very walkable city. It is both pedestrian and bicycle friendly, with designated bike lanes on many streets. SEPTA provides metro (reliable) and bus (not so reliable) service throughout the city. I (Geoff) usually walk everywhere, including between work and home (about 1.5 miles/2.4 km). Center City and University City (where the venue is) are quite safe. There is a SEPTA trolley stop a block away from the venue.

==== Philadelphia Transportation Resources ====

* [https://philapark.org/taxicab-tariffs/ Taxi tariffs]
* [https://www.septa.org/schedules/AIR Regional rail from PHL]
* [https://www.amtrak.com/ Amtrak]
* [https://www.rideindego.com/ Indego] city bikes
* [https://www.septa.org/ SEPTA] Metro, bus, and regional rail.

=== Accommodation ===

We have negotiated a rate of $159/night for a block of 25 rooms at the Sheraton University City, which is the closest hotel to the venue. To receive this rate, we must guarantee 80% occupancy, so please book at the Sheraton if you can.

You may book a room at [https://www.marriott.com/event-reservations/reservation-link.mi?id=1707507388612&key=GRP&app=resvlink this direct link] or by calling +1 888 627 7071. '''The deadline for reservations is Thursday, February 29'''.

=== Registration ===

Please note that '''two separate registrations are required'''.

==== Participant Registration (Coffee, Lunch, Excursion, Tuesday Dinner) ====

The first registration (USD 200) covers

* Coffee and group lunches for all 4 days.
* The group excursion to the [https://www.barnesfoundation.org/ Barnes Foundation] Monday afternoon.
* Group dinner at [https://vedaphilly.com/ Veda] on Tuesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4416&SINGLESTORE=true this link].

==== Participant Registration (Monday and Wednesday Dinners) ====

The second registration (USD 140) covers

* Group dinner at [https://harpcrown.com/ Harp & Crown] on Monday.
* Group dinner at [https://www.spicefinchphilly.com/ Spice Finch] on Wednesday.

You may complete this registration at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4423&SINGLESTORE=true this link].

==== Observer Registration ====

Observers may register for coffee and lunch. Two options are available:

* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4417&SINGLESTORE=true four-day registration] (USD 100)
* A [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4422&SINGLESTORE=true one-day registration] (USD 25)

If you would like to register for more than one day but fewer than four, you may purchase multiple one-day registrations.

== Attendance ==
(Alphabetical by last name please)

* Nada Amin
* Michael Ballantyne
* Jacques Carette
* Colin Gordon
* Jeremy Johnson
* Yukiyoshi Kameyama
* Ohad Kammar
* Martin Kellog
* Oleg Kiselyov
* András Kovács
* Julia Lawall
* Geoffrey Mainland
* Igor Pikovets
* Sven-Bodo Scholz
* Ken Shan
* Satnam Singh
* Friedrich Steimann
* Stephanie Weirich
* Eric Van Wyk
* Jeremy Yallop

=== Local Observers ===

* Patrick Brinich (Drexel)
* Joseph Cutler (UPenn)
* Lawrence Dunn (UPenn)
* Yiyun Liu (UPenn)
* Ernest Ng (UPenn)
* Nick Rioux (UPenn)
* Naifeng Zhang (CMU)

== Talks ==

See below for the schedule (but note that the actual scheduling of talks will not be available until the meeting starts). Members: please add yourself and your topic, alphabetically ordered by surname:

* Nada Amin [[WG211/M23Amin | A Redesign for Staged Relational Programming ]]
* Michael Ballantyne [[WG211/M23Ballantyne | A language workbench as library ]]
* Jacques Carette [[WG211/M23Carette | Partial Evaluation meets Denotational Semantics ]]
* Martin Kellogg [[WG211/M23Kellogg | Static Program Reduction via Specification Slicing ]]
* Oleg Kiselyov [[WG211/M23Kiselyov | The Mysteries of AXPY ]]
* András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* Julia Lawall [[WG211/M23Lawall | Towards Verification of Linux Kernel Code]]
* Igor Pikovets [[WG211/M23Pikovets | OCaml in the Big Data World ]]
* Satnam Singh [[WG211/M23Singh | Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips ]]
* Friedrich Steimann [[WG211/M23Steimann | Relate! Concatenative Relational Programming ]]
* Eric Van Wyk [[WG211/M23VanWyk | Modular Metatheory for Extensible Languages]]

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 meetings shows that it is useful to let the speaker at least finish the 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 speaker 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 ===

Monday, March 25

* 8:45 - 9:00 Welcome
* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 12:45 Lunch
* 12:45 - 14:15 Two talks
* 15:00 - 17:00 Excursion to [https://www.barnesfoundation.org/ Barnes Foundation]
* 18:00 Dinner at [https://harpcrown.com/ Harp & Crown]

Tuesday, March 26

* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
* 14:30 - 15:00 Break
* 15:00 - 16:30 Two talks
* 18:00 Dinner at [https://vedaphilly.com/ Veda]

Wednesday, March 27

* 9:00 - 10:30 Two talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 One talk
* 11:45 - 13:00 Lunch
* 13:00 - 14:30 Two talks
* 14:30 - 15:00 Break
* 15:30 - 16:15 One talk
* 16:15 - 17:45 Business Meeting (members only)
* 18:30 Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Thursday, March 28

* 9:00 - 10:30 2 talks
* 10:30 - 11:00 Break
* 11:00 - 11:45 1 talk
* 11:45 Lunch

=== Social events ===

March 25: Visit to the [https://www.barnesfoundation.org/ Barnes Foundation]

March 25: Dinner at [https://harpcrown.com/ Harp & Crown]

March 26: Dinner at [https://vedaphilly.com/ Veda]

March 27: Dinner at [https://www.spicefinchphilly.com/ Spice Finch]

Lunch will be served at the meeting location all four days of the meeting.

The following attendees have indicated interest in meeting Sunday evening for dinner:
* Michael Ballantyne
* Jacques Carette
* Julia Lawall
* Geoffrey Mainland
* Sven-Bodo Scholz

WG211/M23Schedule

2024-01-30T01:21:59Z

Eric: /* Attendance */

WG211/M22VanWyk

2023-04-06T18:32:51Z

Eric:

Scope trees, scope graphs, and reference attribute grammars for name resolution in (domain-specific) languages

In this talk we discuss a new project on network functions and software-defined networks in which we are creating a DSL based on the actor model for specifying networking applications. In prototyping this DSL we investigate the use of Eelco Visser's scope graphs as a mechanism for name binding in an effort to rapidly prototype an implementation.

Slides: [[File:M22-Van-Wyk-scopes-trees-graphs-dsls.pdf]]

WG211/M22VanWyk

2023-04-06T18:31:17Z

Eric:

File:M22-Van-Wyk-scopes-trees-graphs-dsls.pdf

2023-04-06T18:30:21Z

Eric:

WG211/M22VanWyk

2023-04-06T18:28:53Z

Eric: Created page with "Scope trees, scope graphs, and reference attribute grammars for name resolution in (domain-specific) languages In this talk we discuss a new project on network functions and..."

WG211/M22Schedule

2023-04-06T18:23:15Z

Eric: /* Monday April 3rd in Snijderzaal */

=IFIP Working Group 2.11, Twenty-second Meeting=

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

The meeting will be hosted by [https://pdmosses.github.io Peter Mosses].

The meeting will last 2 full days; it will be followed by [https://symposium.eelcovisser.org EVCS: Eelco Visser Commemorative Symposium] on April 5th.

=== EVCS: Eelco Visser Commemorative Symposium ===

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 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).

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:
<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>

==== Lunch room ====

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 ===

==== 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 [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 ====

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 [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!

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  [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.

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].

=== 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 [https://www.aanmelder.nl/excursiondinner 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

09:50 Break (10)

10:00 Jesper Cockx

10:50 Coffee Break (50)

11:40 Eric Van Wyk - [[WG211/M22VanWyk | 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

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

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]]

12:30 Walk to lunch location

12:45 Lunch

14:00 Talk 9 Sebastijan

14:50 Break (10)

15:00 Talk 10 Ralf

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 ===

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 ==

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'''.

WG211/M22Schedule

2023-01-05T21:21:00Z

Eric: /* Attendance */

=IFIP Working Group 2.11, Twenty-second Meeting=

== April 3rd-4th 2023 in Delft, The Netherlands ==

The meeting will be hosted by [https://pdmosses.github.io Peter Mosses].

The meeting will last 2 full days; it will be followed by [https://symposium.eelcovisser.org EVCS: Eelco Visser Commemorative Symposium] on April 5th.

=== EVCS: Eelco Visser Commemorative Symposium ===

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.

----

'''''This page is currently being updated.'''''

----

=== Venue ===

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.

The X Building is located at Mekelweg 8, 2628CD, Delft ([https://map.tudelftcampus.nl Building 37 on campus]).

=== 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 Belgium and France (''Thalys'') and from 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). 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 [https://www.9292ov.nl '''9292'''].

==== 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.

'''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 ====

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.

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  [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'''. ''The organiser will circulate additional information about booking these rooms by 9th January.''

'''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.

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].

=== Registration ===

TBA

== 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]

Jacques Carette, Julia Lawall, Peter Mosses, Eric Van Wyk

== Talks ==

TBA

== Program / schedule ==

=== Scientific program ===

Details TBA

Monday April 3rd

Tuesday April 4th

Wednesday April 5th
* Eelco Visser Symposium

=== Social events ===

TBA

== 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'''.

WG211/M21VanWyk

2022-08-10T00:03:27Z

2019-05-01T10:20:18Z

Eric: /* Talks */

=IFIP Working Group 2.11, Nineteenth Meeting=

== April 29-May 2nd 2019 in Boston, USA ==

The meeting will be held in Boston, USA, hosted by Armando Solar-Lezama.

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 be held at Salem Waterfront Hotel & Suites in Salem MA, http://www.salemwaterfronthotel.com

We will be in Ballroom A.

=== Travel ===

Travel recommendations (based on mailing list discussion):
* Generic Boston to Salem taxi fare estimated at $60 including tips, add your name below to find people who arrive/leave at similar times and might want to share a ride.
* The commuter rail seems to be running from Chelsea to Salem over the weekend https://www.mbta.com/schedules/CR-Newburyport/timetable?date=2019-04-28&direction_id=0
* The MBTA #459 bus does not run over the weekend, but can be used for transport to the airport https://www.tripadvisor.co.uk/ShowTopic-g60954-i1100-k11774787-Transportation_From_Boston_airport_to_Salem-Salem_Massachusetts.html
* Reports from people travelling to Salem are somewhat mixed - see excerpt at bottom of page.

Flight arrivals and departures:
<blockquote>
{|
!Name
!Arr flight
!Arr time (at BOS)
!Dep flight
!Dep time (at BOS)
!Contact/notes
|-
|Jeremy Gibbons
|BA213
|Sat 13:35
|BA238
|Fri 07:30
|-
|Sandrine Blazy
|AF334
|Sun 15:55
|AF333
|Thu 18:05
|-
|Jacques Carette
|AC7606
|Sun 16:30
|AC527
|Thu 12:20
|-
|Maryam Mehri Dehnavi
|Porter Airlines 941
|Sun 13:30
|(...)
|(...)
|mmehride@cs.toronto.edu, 416-948-2008
|-
|Ulrik Pagh Schultz
|KL6031
|Sun 16:53
|KL6030
|Thu 16:41
|(changed flight)
|-
|Eric Walkingshaw
|AS 30
|Sun 18:00
|UA 8852
|Thu 17:00
|walkiner@oregonstate.edu
|-
|Julia Lawall
|AF 0334
|Sat 15:55
|AF333
|Thu 18:05
|}
</blockquote>

=== Accommodation ===

As noted above, the meeting will take place at the Salem Waterfront Hotel & Suites in Salem MA. We have a block of rooms reserved at the following rates:
* Superior Full: $149.00
* Superior Queen: $159.00
* Superior King: $159.000
* Deluxe King: $169.00
* Junior Suite: $189.00
* King Suite: $209.00
All the costs are per night before taxes for up to 2 guests per room ($10 plus tax is added for extra guests in a room). In order to get this rate people need to call the hotel directly at 1-888-337-253 (US) or +1-978-740-8788 (internationally) and refer to MIT.
The block is held until April 2nd 2019, but please reserve as soon as possible so we have a good headcount.

=== Registration ===

Registration is done using eventbrite: https://www.eventbrite.com/e/wg-211-meeting-tickets-57113878147

The password is circulated by email. The registration is $520.42. (People from the US can save the eventbrite fee of 5% by paying with a check when they arrive, in this case they only need to pay $497.00.)

== Attendance ==

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

Sandrine Blazy,
Edwin Brady,
Jacques Carette (not Thursday),
Maryam Mehri Dehnavi,
Jack Feser,
Franz Franchetti (Monday and Tuesday),
Jeremy Gibbons,
Kevin Hammond,
Christian Kaestner (not Thursday),
James Koppel,
Julia Lawall,
Geoff Mainland,
Ulrik Pagh Schultz,
Chung-chieh Shan (not Thursday),
Yannis Smaragdakis,
Armando Solar-Lezama,
Eelco Visser (not Thursday),
Eric Walkingshaw,
Eric Van Wyk,
Jeremy Yallop.

== 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, following the template below.

* Sandrine Blazy [[WG211/M19Blazy | Teaching deductive verification with Why3 to undergraduate students]]
* Edwin Brady [[WG211/M19Brady | Resource Safety with Linear Dependent Types]]
* Jacques Carette [[WG211/M19Carette | Metaprogramming Agda]]
* Maryam Mehri Dehnavi [[WG211/M19Dehnavi | Sparse Matrix Code Generation with Symbolic Decoupling ]]
* Franz Franchetti [[WG211/M19Franchetti | Formal Software Synthesis of Computational Kernels]] ([[Media:WG211_M19_Franchetti.pdf|slides]])
* Jeremy Gibbons [[WG211/M19Gibbons | Asymmetric Numeral Systems]] ([[Media:Wg211m19-20190429-edited.pdf|slides]])
* Kevin Hammond [[WG211/M19Hammond | Energy Usage for Parallel Haskell Programs]]
* Christian Kaestner [[WG211/M19Kaestner | Higher-Order Mutation Testing with Variational Execution ]]
* James Koppel [[WG211/M19Koppel | Language-Parametric Tools]]
* Julia Lawall [[WG211/M19Lawall | Julia's adventures with Why3]] ([[Media:WG211_M19_lawall.pdf|slides]])
* Geoffrey Mainland [[WG211/M19Mainland | Compiling Low-level Radio Protocols]]
* Ulrik Pagh Schultz [[WG211/M19Schultz | Teaching Program Generation to the Masses (all the Non-Computer-Scientists)]]
* Chung-chieh Shan [[WG211/M19Shan | From high-level inference algorithms to efficient code]] ([[Media:WG211_M19_ccshan.pdf|slides]])
* Yannis Smaragdakis [[WG211/M19Smaragdakis | Smart Contract Static Analysis: Decompilation and Gas Vulnerabilities]]
* Armando Solar-Lezama [[WG211/M19Lezama | TBD]]
* Eric Van Wyk [[WG211/M19VanWyk | Monads in Attribute Grammars ]] ([[Media:WG211_M19_VanWyk.pdf|slides]])
* Eelco Visser [[WG211/M19Visser | Declarative Type System Specification with Statix]]
* Eric Walkingshaw [[WG211/M19Walkingshaw | Toward a Variational Programming Language]] ([[Media:WG211_M19_Walkinshaw.pdf|slides]])
* Jeremy Yallop [[WG211/M19Yallop | A typed, algebraic approach to parsing]]

We will follow our usual format of interactive talks with an active audience, but this time making use of 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 ===

Note that links to slides are provided for some talks in the alphabetical list of talks above.

Monday, April 29:
* 8:45 - 10:30: Welcome and 2 talks
** 9:00: Chung-chieh Shan [[WG211/M19Shan | From high-level inference algorithms to efficient code]]
** 9:45: Julia Lawall [[WG211/M19Lawall | Julia's adventures with Why3]]
* 10:30 - 11:15: Break
* 11:15 - 12:00: 1 talk
** Eelco Visser [[WG211/M19Visser | Declarative Type System Specification with Statix]]
* 12:00 - 14:00: Lunch
* 14:00 - 15:30: 2 regular talks
** Maryam Mehri Dehnavi [[WG211/M19Dehnavi | Sparse Matrix Code Generation with Symbolic Decoupling ]]
** Jeremy Gibbons [[WG211/M19Gibbons | Asymmetric Numeral Systems]]
* 15:30 - 16:15: Break
* 16:15 - 17:30: 1 talk
** Geoffrey Mainland [[WG211/M19Mainland | Compiling Low-level Radio Protocols]]
* 18:30 Dinner at Adriatic Restaurant (155 Washington Street)

Tuesday, April 30:
* 9:00 - 10:30: Welcome and 2 talks
** 9:00: Sandrine Blazy [[WG211/M19Blazy | Teaching deductive verification to undergraduate students]]
** 9:45: Franz Franchetti [[WG211/M19Franchetti | Formal Software Synthesis of Computational Kernels]]
* 10:30 - 11:15: Break
* 11:15 - 12:00: 1 talk
** 11:15: Jacques Carette [[WG211/M19Carette | Metaprogramming Agda]]
* 12:00 - 14:00: Lunch
* 14:00 - 15:30: 2 regular talks
** 14:00: Eric Van Wyk [[WG211/M19VanWyk | Monads in Attribute Grammars ]]
** 14:45: Eric Walkingshaw [[WG211/M19Walkingshaw | Toward a Variational Programming Language]]
* 15:30 - 16:00: Break
* 16:00 - 17:30: Business Meeting, members only
* 18:30 Dinner at Bambolina Restaurant (288 Derby Street)

Wednesday, May 1:
* 9:00 - 10:30: Welcome and 2 talks
** 9:00: Christian Kaestner [[WG211/M19Kaestner | Higher-Order Mutation Testing with Variational Execution ]]
** 9:45: James Koppel [[WG211/M19Koppel | Language-Parametric Tools]]
* 10:30 - 11:15: Break
* 11:15 - 12:00: 1 talk
** 11:15: Jeremy Yallop [[WG211/M19Yallop | A typed, algebraic approach to parsing]]
* 12:00 - 14:00: Lunch
* 14:00 - 15:30: 2 regular talks
** 14:00: Ulrik Pagh Schultz [[WG211/M19Schultz | Teaching Program Generation to the Masses (all the Non-Computer-Scientists)]]
** 14:45: Armando Solar-Lezama [[WG211/M19Lezama | TBD]]
* 17:00 - 19:00: Excursion, The Salem Historical Tours (starts at hotel, ends at restaurant)
* 19:00 Dinner at Opus (87 Washington Street)

Thursday, May 2:
* 9:00 - 10:30: 2 talks
** 9:00: Kevin Hammond [[WG211/M19Hammond | Energy Usage for Parallel Haskell Programs]]
** 9:45: Yannis Smaragdakis [[WG211/M19Smaragdakis | Smart Contract Static Analysis: Decompilation and Gas Vulnerabilities]]
* 10:30 - 11:00: Break
* 11:00 - 12:00: 1 talk
** 11:00: Edwin Brady [[WG211/M19Brady | Resource Safety with Linear Dependent Types]]
* 12:00: Lunch and/or departure

=== Social events ===

The Salem Historical Tours, https://www.salemhistoricaltours.com/
They are going to give a mixed tour of general history and a witch tour (Salem is famous for the Salem Witch Trials). They will pick us up at the hotel at 17:15 (so we meet 17:00 in the lobby), and will drop us off directly at the restaurant.

'''Dinner Locations and Schedule'''

* Monday April 29, 6:30 pm. Adriatic Restaurant, 155 Washington Street, Salem, Ma 01970. T: 978-594-1832
* Tuesday, April 30, 6:30 pm. Bambolina Restaurant, 288 Derby Street, Salem, Ma 01970. T: 978-594-8709
* Wednesday May 1, 7:00 pm. Opus Restaurant, 87 Washington Street, Salem, MA 01970. T: 978-744-9600

== Travel Recommendations ==

People travelling to Salem over the weekend have reported somewhat mixed experiences with the public transportation system, excerpt:

* JL: The commuter rail was substantially less easy than expected. I was expecting something that runs every 5-10 minutes, but actually it runs every 1-2 hours. Theer are trains from Chelsea at 2:40, 4:40 and 5:40 (verify on the the mbta website). From the airport, you take the 33 bus (free) to the blue line (airport T station) and then silver line 3 to the commuter rail at Chelsea. I don't know if one is supposed to pay for the silver line or not. The driver didn't seem very interested when I asked if it was necessary to pay, but other people were using tickets. At Chelsea, the train is just to the right of the bus stop. There is only one platform that says inbound. You wait there and cross the tracks to get to the outbound train. You need to wave at the train to get it to stop. I bought my ticket with the mticket app, so I don't know where or whether the tickets can be bought at the station. Taking a taxi or uber may be a simpler option.

* JG: I asked for directions at the airport information desk - they recommended instead going into the city and catching the commuter train from there. From the airport, take the Silver Line 1 bus to South Station, then the red then orange T lines to North Station, from where it is a short walk to the commuter rail station (underneath TD Garden, a sports stadium). At least there is a ticket office at North Station. Of course, the trains go no more frequently. I understand that the SL1 and T is free all the way to North Station (though in fact I walked from South Station to North Station, to get some daylight).

2019-04-26T16:18:56Z

Eric: /* Talks */

WG211/M19Schedule

2019-04-25T17:02:23Z

Eric: /* Travel */