WG 2.11 - User contributions [en]

WG211/M25Schedule

2025-11-23T12:15:29Z

Julia: /* Group excursion */

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

==== 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-18T20:25:38Z

Julia: /* Arrivals and departures of attendants */

= 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)
* Bernd Fischer
* Cezary Kaliszyk
* Ohad Kammar
* Yuito Murase
* Klaus Ostermann
* Chung-Chieh Shan
* Michel Steuwer
* Eric Van Wyk
* Jeremy Yallop

=== 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
* 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
* 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]]
* 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"
* Michel Steuwer
* 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.

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

WG211/M25Schedule

2025-08-11T08:57:16Z

Julia: /* Members attending */

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

Please let me know if you are interested in an organized post-meeting full-day group excursion. The "classic" tour is Boulder's Beach for penguin watching, and Cape of Good Hope; other alternatives are Table Mountain, Cape Town Aquarium, or Robben Island (the apartheid-era prison).

=== Registration ===

'''NOTE: this is still preliminary.'''
Registration fees will be around USD 350 / EUR 300; this will cover all lunches on the meeting days and the dinners Tuesday - Thursday. Additional dinner tickets for partners will be USD 175 / EUR 150.

=== 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
* Eric Van Wyk
* Jeremy Yallop
* Julia Lawall

=== Guests and Observers ===

* Moeketsi Raselimo (local observer)
* Michel Steuwer
* Ilya Sergey

The following gave a 'tentative yes'.

* Shraddha Barke
* Cezary Kaliszyk
* Ningnig Xie

== Talks and Schedule ==

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

==== 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:
* [http://www.bettinashuttle.co.za/home 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 "poorts" (ie old Mountain passes), like [http://en.wikipedia.org/wiki/Swartberg_Pass Swartbergpass] into Prince Albert, a quaint Karoo town.
* 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., [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/M24Schedule

2024-10-02T20:47:08Z

Julia: /* Attendance */

= IFIP Working Group 2.11, Twenty-fourth Meeting =

== December 3rd (Tues) - 6th (Fri) in Edinburgh, Scotland, UK ==

The meeting will be hosted by [https://www.denotational.co.uk/ Ohad Kammar], who will write in the first person in the remainder. If you want to know anything, please email me. This page is not yet finished, I'll try to add the missing information as soon as possible.

The meeting will last 3.5 days; the first three days (Tues-Thur) will
be full-day whereas the last day (Fri) will be a half-day session.

=== Venue ===

[https://www.ed.ac.uk/timetabling-examinations/timetabling/room-bookings/bookable-rooms3/room/0401_01_1.07 Althaus-Reid Room, 1.07] ([http://exhibition.div.ed.ac.uk/rooms-renamed-in-honour-of-two-inspirational-female-theologians/ named after the theologian Marcella Althaus-Reid])

New College 
School of Divinity 
The University of Edinburgh 
Central Campus 
1 Mound Place 
Edinburgh EH1 2LU

This is unfortunately '''not''' the School of Informatics, which is about 15 minutes walk south from this venue.

I'll include a Google map soon with the venue, and populate it with other
relevant locations closer to the event.

==== WiFi Access ====

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

I'm looking into setting up guest accounts for participants without
eduroam credentials, and will put the information here closer to the date.

==== Workspace ====

A quiet area for shared use is available in the [https://www.ed.ac.uk/timetabling-examinations/timetabling/room-bookings/bookable-rooms3/room/0401_01_1.09 Porteous Room 1.09]
(you can read more about it
[https://exhibition.div.ed.ac.uk/porteous%E2%80%AFroom/ here]) on the
same floor as the main room.

== Travel ==

=== Travel to Edinburgh ===

==== Air ====

[https://www.edinburghairport.com/ Edinburgh Airport] is located
approximately 8 miles away from the city centre.

The [https://edinburghtrams.com/ Edinburgh tram] runs from the
airport every 7 minutes, the last tram from the airport leaves after
22:30 (see tram webpage).

The [https://airlink100.co.uk/ Airlink bus] (service 100) runs
between the airport and the city centre, reaching Waverley Bridge
railway station in 25 minutes. The route to and from the airport runs
24 hours a day every 10 minutes approximately during the day.

Most advance hire taxi companies will offer an airport pick-up
service. [https://www.taxis-edinburgh.co.uk/ Here's one], but any will
do. There's also a taxi hailing stand at the airport, follow the signs.

You can also fly into another main UK city and continue to Edinburgh by [[#Train|train]].

==== Train ====

Edinburgh is well-connected to most other main UK cities. There are a
few faster trains from London (about 4h25min) every day. You can use [https://www.nationalrail.co.uk/ National Rail] to plan your trip and link you to the appropriate provider.

I have enjoyed taking the Eurostar from the main continent to London. There is also the [https://www.sleeper.scot/ Caledonian Sleeper] that can get you to Edinburgh or London by 7am very slowly overnight.

=== Travel around Edinburgh ===

Edinburgh is somewhat hilly and the venue is located [https://upload.wikimedia.org/wikipedia/commons/f/ff/The_Mound%2C_Edinburgh%2C_18_September_2014.jpg up a slope].
If that is not a problem, then Edinburgh is quite walkable.

Public transportation is available. Check out [https://transportforedinburgh.com/ Transport for Edinburgh] for all the details.

* Buses. [https://www.lothianbuses.com/ Lothian buses] operates many of the relevant buses. You can pay contactless with a card or app and there's a capped pay program ('TapTapCap'). Here's the [https://www.lothianbuses.com/wp-content/uploads/2024/09/Network_Map_240908.pdf map], but I usually use Google maps for directions.

* Taxis. You can usually just hail a black cab from anywhere in the centre, see their [https://www.taxis-edinburgh.co.uk/ webpage] for advance bookings. Your favourite search engine will provide other taxi companies.

* Tram. The [https://edinburghtrams.com/ Edinburgh tram] stops fairly close to the venue, so can be an easy way to the venue.

* Uber operates in Edinburgh.

== Accommodation ==

The venue is located quite centrally, with many hotels nearby. I'll
filter out some 3-star and 4-star suggestions nearby soon, but you'll
probably find somewhere charming by your own (just watch out for scams).
The tram and buses make it easy to also stay somewhere away from the
centre and commute in if you prefer.

== Weather ==

Edinburgh has temperate (and temperamental) climate, and in December it will likely be close to zero degrees centrigade, typically above. It will be windy, and potentially rainy, so make sure you dress appropriately. Locals wear waterproof/resistant clothes. Umbrellas tend to be rather useless due to the wind, one typically recognises the tourists by their futile struggles to turn inside-out umbrellas
while getting soaked.

The days are quite short in December, and you might be able to catch
the sunrise heading into the venue in the morning. I recommend
avoiding missing most of the daylight completely, e.g., make sure you go
for a short walk outside during the lunch break.

== Tourism ==

Edinburgh offers many tourist attractions and museums, and many are located centrally and close to the venue. Entrance to museums and galleries is free. Entrance to some exhibitions in the museum or gallery will require buying a separate ticket.

The meeting takes place just after [https://www.visitscotland.com/things-to-do/events/st-andrews-day Saint Andrew's Day] weekend, and Monday will be a public holiday in Scotland.
That should not affect travel, although the airport and railway might be busier than usual.

[https://www.historicenvironment.scot/about-us/news/st-andrews-day-ticket-giveaway/ Historic Environment Scotland] offer free tickets to visit some Historic Scotland attractions on Saint Andrew's day, such as the Edinburgh Castle. Registration for [https://www.historicenvironment.scot/ticket-giveaway/ free tourism tickets] opens Tuesday 12 November 10am UK time until Thursday 28 November.

If you go to the Castle, try to get there before 1pm to see them fire the Cannon.

Very near the venue is Scott Monument which you can climb, for a fee,
during the day for a stunning view. There will be a German Christmas
Market nearby I believe.

There are several hills within the city and you can easily climb up. The easiest (and closest to the venue) is [https://ewh.org.uk/calton-hill/ Carlton Hill] and has a road and steps leading all the way up.

[https://www.geolsoc.org.uk/GeositesArthursSeat Arthur's Seat and the Salisbury Crags] are most visible from the centre. It takes about 1.5 hours roundtrip to get to the top. The grass can be slippery after a rain, and people can slip to their death, so wear good shoes and only climb during the day.

You can sometimes take a daytrip on a guided tour to the highlands or a whisky distillery. If you have the time, I recommend spending a few days in the former, and maybe visiting some of the latter.

I'll try to add more stuff here, especially if people send me recommendations or ask questions.

== Registration ==

Working on it, I'll put up more details soon.

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

* Guillaume Allais
* Jacques Carette
* Ohad Kammar
* Andras Kovacs
* Lindsey Kuper
* Julia Lawall
* Tijs van der Storm

=== Local Observers ===

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

* <<TBD>>

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

To be determined.

Tuesday, December 3

* 8:45 - 9:00 Welcome
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>> Break
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>> Lunch
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>>

Wednesday, December 4

* 9:00 - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>> Break
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>> Lunch
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>>

Thursday, December 5

* 9:00 - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>> Break
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>> Lunch
* <<TBD>> - <<TBD>> <n> talks
** <<TBD>> - <<TBD>>
* <<TBD>> - <<TBD>>

Friday, December 6

* 9:00 - <<TBD>> <<n>> talks
** <<TBD>>-<<TBD>> <<TBD>>
* <<TBD>> - <<TBD>> Break
* <<TBD>> - <<TBD>> 1 talk
* <<TBD>> Lunch

=== Social events ===

To be determined.

WG211/M23Lawall

2024-03-10T08:34:21Z

Julia:

Towards Verification of Linux Kernel Code

Julia Lawall, Inria

There is a growing awareness that for critical infrastructure such as operating systems, more rigorous means of ensuring correctness are needed. Most previous efforts at operating system verification have considered operating systems for embedded systems, have created some form of model of the operating system code, or have designed the operating system from the ground up with verification in mind. In this talk we consider whether we can apply verification directly to the existing Linux kernel source code.

This is work in progress.

This is joint work with Keisuke Nishimura.

WG211/M23Lawall

2024-03-10T08:34:06Z

Julia: Created page with "Towards Verification of Linux Kernel Code Julia Lawall, Inria There is a growing awareness that for critical infrastructure such as operating systems, more rigorous means of..."

Towards Verification of Linux Kernel Code
Julia Lawall, Inria

There is a growing awareness that for critical infrastructure such as operating systems, more rigorous means of ensuring correctness are needed. Most previous efforts at operating system verification have considered operating systems for embedded systems, have created some form of model of the operating system code, or have designed the operating system from the ground up with verification in mind. In this talk we consider whether we can apply verification directly to the existing Linux kernel source code.

This is work in progress.

This is joint work with Keisuke Nishimura.

WG211/M23Schedule

2024-03-10T08:27:34Z

Julia: /* 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.

=== Venue ===

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

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

Registration is available at [https://secure.touchnet.com/C20688_ustores/web/product_detail.jsp?PRODUCTID=4416&SINGLESTORE=true this link]. The registration fee covers:

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

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

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

* Jacques Carette [[WG211/M23Carette | Partial Evaluation meets Denotational Semantics ]]
* Julia Lawall [[WG211/M23Lawall | Towards Verification of Linux Kernel Code]]
* Satnam Singh [[WG211/M23Singh | Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips ]]

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

TBA

=== Social events ===

An excursion has been arranged for Monday afternoon and a group dinner will take place Tuesday evening.

WG211/M23Schedule

2024-01-25T13:37:24Z

Julia: /* Attendance */

WG211/M22Lawall

2023-04-06T08:12:32Z

Julia:

An operating system task scheduler can have a significant impact om application performance. To understand its behavior on a large multicore machine, it is necessary to view traces of its execution from various points of view. In this talk, we show various visualizations can be helpful in debugging a scheduling problem, and propose a DSL for creating new visualization variants.

[[File:slides_lawall_m22.pdf]]

File:Slides lawall m22.pdf

2023-04-06T08:10:53Z

Julia: Slides

Slides

WG211/M22Lawall

2023-04-06T08:07:27Z

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

WG211/M22Schedule

2023-04-06T08:04:17Z

Julia: /* Tuesday April 4th in Timmanzaal */

=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

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-05T17:25:38Z

Julia: /* 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

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

2022-08-12T05:45:56Z

Julia: Created page with "Coccinelle is a tool for scripting repetitive transformations in C code, based on a notion of a semantic patch. Coccinelle has been used extensively on the Linux kernel. Sti..."

Coccinelle is a tool for scripting repetitive transformations in C code, based on a notion of a semantic patch. Coccinelle has been used extensively on the Linux kernel. Still, its use requires the developer should understand the desired transformation well enough to write the script. To this end, we propose Prequel, which searches a git history for change examples and Spinfer that abstracts these examples into a collection of Coccinelle transformation rules.

WG211/M21Schedule

2022-08-12T05:42:32Z

Julia: /* Talks */

=IFIP Working Group 2.11, Twenty-first Meeting=

== August 15th-18th in Odense, Denmark ==

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

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

=== Venue ===

The meeting will take place at the main campus of the [https://www.sdu.dk University of Southern Denmark] located in the city of Odense, in the meeting room [https://clients.mapsindoors.com/sdu/573f26e4bc1f571b08094312/details/560156db423b7e2140a27614 Ellehammer] which is in the main building of [https://goo.gl/maps/zVR7MU66e7yxjBca9 The Faculty of Engineering] (building 42).

To get to the main campus there is both a city bus and a tram ("letbane") that leaves from the city center/train station and stops at the university. Both have frequent departures morning and afternoon, and operate most of the day. The tram is easier to use and takes you precisely where you need to go, so this is the recommended option.
* For the tram, when starting in the city center you should take it in the direction "Hjallese" (there is only a single line, so provided you go in the right direction, you're fine). The stop named "SDU University" is closest to the meeting room. From there walk up the stairs and enter the building, then turn right and keep walking in the same direction, using bridges to cross between buildings (see [https://wiki.hh.se/wg211/index.php/File:SDU_getting_to_meeting_map.jpg map]). When you cannot get any further in the same direction, you will basically need to get one level up, and then you will be at Ellehammer. There will be signs at this point showing you which way to go, but basically just turn right and use the stairway that you can find on your left.
* For the bus you simply get off at the the university, which will usually be the terminus. From there it takes 5 minutes to walk to the meeting room (see [https://wiki.hh.se/wg211/index.php/File:SDU_getting_to_meeting_map.jpg map]). Enter through the main entrance as indicated on the map, and walk up the huge orange stairs, turn right, and you will be at Ellehammer.
* You can also walk from the city center, it's a safe walking area and google maps provides useful pedestrian instructions.
Call or text Ulrik on +4540797629 if you need help.

There are a number of options for tickets:
* Plain old paper tickets: Tickets can be purchased at the train station and in the university bookstore.
* Rejsekort: you can use a pre-paid card [https://www.rejsekort.dk/?sc_lang=en "Rejsekort"] that works with all Danish publish transportation and can be bought at train stations (the [https://www.rejsekort.dk/Bestil/Rejsekort-anonymt "Anonymous" version]).
* The [https://www.fynbus.dk/?lang=29 FynBus mobile phone app].
* Online ticket from the [https://webshop.fynbus.dk FynBus webshop].
The cheapest option seems to be the 72-hour tourist ticket plus a 24-hour tourist ticket. When using the "Rejsekort" on the Odense tram each ticket costs DKK 18 (so make sure to pre-load it with at least 36 DKK before starting out in the morning), whereas it costs DKK 24 with the app. You don't need to show your tickets when using the tram, but should be able to show it on request. You can read more about tickets for the tramway at the official website [https://www.odenseletbane.dk/billetter/tickets-and-travel-info-in-english Odense Letbane]. With the "Rejsekort" you need to check in/check out yourself, read more about it at the [https://www.rejsekort.dk/en/Hjaelp/Kom-godt-i-gang Rejsekort website].

=== Travel ===

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

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

=== Accommodation ===

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

=== Registration ===

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

=== COVID-19 ===

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

== Attendance ==

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

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

== Talks ==

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

* Nada Amin [[WG211/M21Amin | Staged Relational Interpreters: Running with Holes, Faster ]]
* Sandrine Blazy [[WG211/M21Blazy | Bridging the Semantic Gap between SSA and Gated SSA ]]
* Edwin Brady [[WG211/M21Brady | Refactoring for Dependently Typed Languages ]]
* Jacques Carette [[WG211/M21Carette | Partial Evaluation of Quantum Programs ]]
* Sebastian Erdweg [[WG211/M21Erdweg | Functional Programming with Datalog ]]
* Robert Glück [[WG211/M21Glueck | A Technique for Reversible Memoization of Recurrence Functions]]
* Julia Lawall [[WG211/M21Lawall | Coccinelle, Prequel, and Spinfer: Automating Summarization and Application of Code Evolutions in the Linux Kernel]]
* Peter Mosses [[WG211/M21Mosses | Using Spoofax to Support Online Code Navigation]]
* Christoph Reichenbach [[WG211/M21Reichenbach | Declarative Views on Bug Detection]]
* Walid Taha (details to be announced later)
* Eric Van Wyk [[WG211/M21VanWyk | Strategic Tree Rewriting in Attribute Grammars ]]

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

== Program / schedule ==

=== Scientific program ===

'''PRELIMINARY PROGRAM, TO BE FINALIZED'''

Monday, August 15:
* 10:00 - 12:00: Welcome and talks (2 talks)
* 12:00 - 13:30: Lunch in SDU Canteen
* 13:30 - 15:00: Session (2 talks)
* 15:00 - 15:30: Break (cake, coffee)
* 15:30 - 17:00: Session (2 talks)

* 19:00: Dinner at [https://olufbagersgaard.dk/ Oluf Bagers Gård] ([https://g.page/restaurant-oluf-bagers-gaard?share MAP] city center)

Tuesday, August 16:
* 9:00 - 9:45: Session (1 talk)
* 10:00-10:30: Excursion to SDU Industry 4.0 lab
* 10:45-12:15: Session (2 talks)
* 12:15 - 14:15: Lunch in SDU Restaurant
* 14:15 - 15:45: Session (2 talks)
* 16:00 - 17:00: Business Meeting, members only. Note: full remote participation via zoom will be possible.

* 19:00: Dinner at [https://www.nordatlantiskhus.dk/ Nordatlantisk Hus] ([https://g.page/nordatlantiskhus?share MAP] 15-minutes walk from train station)

Wednesday, August 17:
* 8:30 - 12:00: Session (4 talks, half hour break)
* 12:00 - 13:30: Lunch in SDU Canteen
* 13:30 - 14:15: Talk (Ulrik Pagh Schultz Lundquist)
* 14:30 - 17:00: Excursion by bus to SDU UAS Labs at Beldringe Airport, bus picks us up on campus and will drop us off at city center.

* 19:15: Dinner at [https://www.sortebrokro.dk/ Sortebro Kro] ([https://g.page/sortebro?share MAP], easily accessible by quick local train ride from Odense St at 18:46 getting off at "Fruens Bøge", Ulrik will guide)

Thursday, August 18:
* 9:00 - 11:45: Session (3 talks, half hour break)
* 11:45 - 13:30: Lunch in SDU Canteen

=== Social events ===

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

== Touristy information ==

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

WG211/M21Schedule

2022-05-26T14:49:06Z

Julia: /* Attendance */

=IFIP Working Group 2.11, Twenty-first Meeting=

== August 15th-18th in Odense, Denmark ==

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

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

=== Venue ===

The meeting will take place at the main campus of the [https://www.sdu.dk University of Southern Denmark] located in the city of Odense, in the meeting room [https://clients.mapsindoors.com/sdu/573f26e4bc1f571b08094312/details/560156db423b7e2140a27614 Ellehammer].

To get to the main campus there is both a city bus and a tramway that leaves from the city center/train station and stops at the university. Both have frequent departures morning and afternoon, and operate most of the day. Tickets can be purchased at the train station, but you can also use a pre-paid card [https://www.rejsekort.dk/?sc_lang=en "Rejsekort"] that works with all Danish publish transportation and can be bought at train stations (the [https://www.rejsekort.dk/Bestil/Rejsekort-anonymt "Anonymous" version]), or the [https://www.fynbus.dk/?lang=29 FynBus mobile phone app].

=== Travel ===

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

=== Accommodation ===

We will recommend a hotel located in the center of Odense.

=== Registration ===

Registration is on-line and paid via credit card at the registration site [https://event.sdu.dk/wg211 https://event.sdu.dk/wg211] (note: anyone registering from a Danish university is recommended to use the EAN method to pay). The fee is paid in Danish Kroner (DKK) and is roughly equivalent to EUR 383.

=== COVID-19 ===

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

== Attendance ==

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

Edwin Brady, Jacques Carette, Robert Glück, Peter Mosses, Ulrik Pagh Schultz, Eric Van Wyk, Julia Lawall

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

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

== Program / schedule ==

=== Scientific program ===

=== Social events ===

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

== Touristy information ==

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

WG211/M20Schedule

2020-02-20T07:36:33Z

Julia: /* Social events */

=IFIP Working Group 2.11, Twentieth Meeting=

== Febuary 17-20th in Paris, France ==

The meeting will be held in Paris, France, hosted by Julia Lawall.

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

LIP6, 4 place Jussieu, 75005 Paris

room 25-26/105

When you arrive at the Jussieu metro station (either because you took the metro or on foot), follow everyone else into the university. You will need to open any bags. Make a sharp left, such that you are walking parallel to the street. Enter tower 26. Sometimes the first door you come to does not open. Just walk around the tower to find another door or take the elevator. Go to the first floor (2 flights of stairs). Look for the hallway marked 25-26, and then take the door at the immediate right. The hallway door requires a key. I will monitor it one hour before the meeting starts. If you arrive late, send an email. Eduroam is available.

=== Travel ===

From CDG: RER B to St Michel, and then line 10 to Jussieu (direction Gare d'Austerlitz). The metro station is actually called Cluny-La Sorbonne, but it can be reached from the St Michel RER station without going outside. This trip can be done with a single ticket (10.30 euros). It takes around 1 hour.

From Orly also takes about an hour, but is less convenient.

From the Gare du Nord, you can also take the RER B line to St Michel and then line 10 to Jussieu. In this case, you just need an ordinary metro ticket.

From the Gare de l'Est, you can take line 7 to Jussieu, with no changes. From the Gare de Lyon, you can walk (around 20 minutes).

=== Accommodation ===

The [https://www.parishotelminerve.com/en/ Hotel Minerve] is suggested. There are other hotels nearby, on the rue des Ecoles or the rue Linne. For other accomodations, consider staying near metro line 10 or metro line 7.

=== Registration ===

The cost of the registration will be 300 euros. The registration site is now open: https://congres.upmc.fr/ifip2020/

The registration fee covers lunch, dinner, and snacks on February 17-19, and snacks on February 20.

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

Edwin Brady, Jacques Carette, Ewen Denney, Bernd Fischer, Robert Glück, Kevin Hammond, Atsushi Igarashi (until Wednesday lunch), Yukiyoshi Kameyama, Paul Kelly, Oleg Kiselyov, Julia Lawall, Christian Lengauer, Geoff Mainland, Antoine Mine (Monday and Wednesday), Peter Mosses, Markus Püschel (arrival: late afternoon Monday, departure: late afternoon Wednesday, due to teaching) Christoph Reichenbach, Bodo Scholz, Matthew Taylor, Ulrik Pagh Schultz, Eelco Visser, Jeremy Yallop, Vadim Zaytzev

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

* Edwin Brady [[WG211/M20Brady | Quantitative Type Theory in Idris 2]]
* Bernd Fischer [[WG211/M20Fischer | TBD]]
* Robert Glück [[WG211/M20Glueck | On Inversion of Conditional Term Rewriting Systems]]
* Atsushi Igarashi [[WG211/M20Igarashi | Full-spectrum Dependent-types for Multi-Stage Programming ]]
* Yukiyoshi Kameyama [[WG211/M20Kameyama | Language-Integrated Query with Nested Data Structures and Grouping]]
* Paul Kelly [[WG211/M20Kelly | Intermediate representations in DSLs for solving PDEs]]
* Oleg Kiselyov [[WG211/M20Kiselyov | Session Types without Sophistry: Practical embedding of DSLs with sophisticated type systems]]
* Geoff Mainland [[WG211/M20Mainland | SPIRAL in Haskell]]
* Antoine Mine: Combinations of Reusable Abstract Domains in the MOPSA Static Analyzer
* Peter Mosses [[WG211/M20Mosses | Modular SOS and static semantics]]
* Markus Püschel [[WG211/M20Pueschel | Fast Polyhedra Domain Analysis ]] (Tuesday anytime or Wednesday before lunch please)
* Christoph Reichenbach [[WG211/M20Reichenbach | Combining Pattern Matching and Datalog in MetaDL]]
* Sven-Bodo Scholz [[WG211/M20Scholz | Tensor Comprehensions in SaC]]
* Ulrik Pagh Schultz [[WG211/M20Schultz | Coarse-grained Computational Energy Modeling for Autonomous Systems]]
* Matthew Taylor [[WG211/M20Taylor | Late-bound code generation]] (short talk)
* Eelco Visser [[WG211/M20Visser | Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System]]
* Jeremy Yallop [[WG211/M20Yallop | Certified Optimisation of Stream Operations Using Heterogeneous Staging]]
* Vadim Zaytsev [[WG211/M20Zaytsev | BabyCOBOL: The Challenge to Program Generation Tool Developers]]

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

== Program / schedule ==

=== Scientific program ===

Monday, February 17:
* 8:45 - 10:30: Welcome and 2 talks
** 9:00: Jeremy Yallop [[WG211/M20Yallop | Certified Optimisation of Stream Operations Using Heterogeneous Staging]]
** 9:45: Atsushi Igarashi [[WG211/M20Igarashi | Full-spectrum Dependent-types for Multi-Stage Programming ]]
* 10:30 - 11:15: Break
* 11:15 - 12:00: 1 talk
** 11:15: Christoph Reichenbach [[WG211/M20Reichenbach | Combining Pattern Matching and Datalog in MetaDL]]
* 12:00 - 14:00: Lunch
* 14:00 - 15:30: 2 talks
** 14:00: Antoine Mine: Combinations of Reusable Abstract Domains in the MOPSA Static Analyzer
** 14:45: Sven-Bodo Scholz [[WG211/M20Scholz | Tensor Comprehensions in SaC]]
* 15:30 - 16:15: Break
* 16:15 - 17:00: 1 talk
** 16:15: Vadim Zaytsev [[WG211/M20Zaytsev | BabyCOBOL: The Challenge to Program Generation Tool Developers]]

* 19:30: Dinner at the [https://www.lafourchette.com/restaurant/le-buisson-ardent/3009?cc=18174-54f Buisson Ardent] (across the street from the meeting location)

Tuesday, February 18:
* 9:00 - 10:30: Welcome and 2 talks
** 9:00: Ulrik Pagh Schultz [[WG211/M20Schultz | Coarse-grained Computational Energy Modeling for Autonomous Systems]]
** 9:45: Markus Püschel [[WG211/M20Pueschel | Fast Polyhedra Domain Analysis ]]
* 10:30 - 11:15: Break
* 11:15 - 12:00: 1 talk
** 11:15: Robert Glück [[WG211/M20Glueck | On Inversion of Conditional Term Rewriting Systems]]
* 12:00 - 14:00: Lunch
* 14:00 - 15:15: 2 talks
** 14:00: Geoff Mainland [[WG211/M20Mainland | SPIRAL in Haskell]]
** 14:45: Matthew Taylor [[WG211/M20Taylor | Late-bound code generation]]
* 16:30: Excursion: Visit to the [https://www.arts-et-metiers.net/musee/visitor-information CNAM Museum]. 60 rue Réaumur, Metro: Arts-et-Métiers, Réaumur-Sébastopol. Dinner at the [https://villamaasai.fr/ Villa Maasai]. 9 boulevard des Italiens, Metro Richelieu-Druot

Wednesday, February 19:
* 9:00 - 10:30: Welcome and 2 talks
** 9:00: Paul Kelly [[WG211/M20Kelly | Intermediate representations in DSLs for solving PDEs]]
** 9:45: Peter Mosses [[WG211/M20Mosses | Modular SOS and static semantics]]
* 10:30 - 11:15: Break
* 11:15 - 12:00: 1 talk
** 11:15: Oleg Kiselyov [[WG211/M20Kiselyov | Session Types without Sophistry: Practical embedding of DSLs with sophisticated type systems]]
* 12:00 - 14:00: Lunch
* 14:00 - 15:30: 2 talks
** 14:00: Edwin Brady [[WG211/M20Brady | Quantitative Type Theory in Idris 2]]
** 14:45: Eelco Visser [[WG211/M20Visser | Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System]]
* 15:30 - 16:00: Break
** 16:00 - 17:30: Business Meeting, members only

* 19:30: Dinner at the [https://lelouisvins.fr/en Louis Vins] 9 Rue de la Montagne Sainte Geneviève, a short walk from the meeting location

Thursday, February 20:
* 9:00 - 10:30: 2 talks
** 9:00: 20th Meeting Retrospective
** 9:45: Bernd Fischer [[WG211/M20Fischer | TBD]]
* 10:30 - 11:00: Break
* 11:00 - 12:00: 1 talk
** 11:00: Yukiyoshi Kameyama [[WG211/M20Kameyama | Language-Integrated Query with Nested Data Structures and Grouping]]

=== Social events ===

February 17: Dinner at the [https://www.lafourchette.com/restaurant/le-buisson-ardent/3009?cc=18174-54f Buisson Ardent] (across the street from the meeting location)

February 18: Visit to the [https://www.arts-et-metiers.net/musee/visitor-information CNAM Museum] starting at 4:30pm. 60 rue Réaumur, Metro: Arts-et-Métiers, Réaumur-Sébastopol. Dinner at the [https://villamaasai.fr/ Villa Maasai]. 9 boulevard des Italiens, Metro Richelieu-Druot

February 19: Dinner at the [https://lelouisvins.fr/en Louis Vins] 9 Rue de la Montagne Sainte Geneviève, a short walk from the meeting location

Lunch on February 17-19 will be served at the meeting location.

Lunch on February 20 will be at the Arbre à Cannelle, 14 Rue Linné as 12:15.

WG211/M20Schedule

WG211/M19Schedule

2019-05-01T00:39:18Z

Julia: /* 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]]
* 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]]
* 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]]
* 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).

WG211/M19Schedule

2019-05-01T00:34:55Z

Julia: /* 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]]
* 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]]
* 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]]
* 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).

File:WG211 M19 lawall.pdf

2019-05-01T00:33:36Z

Julia:

WG211/M19Schedule

2019-04-28T10:46:36Z

Julia: /* Travel Recommendations */

=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

=== 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 to undergraduate students]]
* Edwin Brady [[WG211/M19Brady | Resource Safety with Linear Dependent Types]]
* Jacques Carette [[WG211/M19Carette | Metaprogramming Agda]]
* Kevin Hammond [[WG211/M19Hammond | Energy Usage for Parallel Haskell Programs]]
* Maryam Mehri Dehnavi [[WG211/M19Dehnavi | Sparse Matrix Code Generation with Symbolic Decoupling ]]
* Franz Franchetti [[WG211/M19Franchetti | Formal Software Synthesis of Computational Kernels]]
* Jeremy Gibbons [[WG211/M19Gibbons | Asymmetric Numeral Systems]]
* 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]]
* 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]]
* Yannis Smaragdakis [[WG211/M19Smaragdakis | TBD, probably Ethereum-something]]
* Armando Solar-Lezama [[WG211/M19Lezama | TBD]]
* Eric Van Wyk [[WG211/M19VanWyk | Monads in Attribute Grammars ]]
* Eelco Visser [[WG211/M19Visser | Declarative Type System Specification with Statix]]
* Eric Walkingshaw [[WG211/M19Walkingshaw | Toward a Variational Programming Language]]
* 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 ===

The scheduling of the talks will be announced on the first day of the meeting (the speakers of the first session will be informed by email in advance).

Monday, April 29:
* 8:45 - 10:30: Welcome and 2 talks
* 10:30 - 11:15: Break
* 11:15 - 12:00: 1 talk
* 12:00 - 14:00: Lunch
* 14:00 - 15:30: 2 regular talks
* 15:30 - 16:15: Break
* 16:15 - 17:30: 1 talk
* 18:30 Dinner at Adriatic Restaurant

Tuesday, April 30:
* 9:00 - 10:30: Welcome and 2 talks
* 10:30 - 11:15: Break
* 11:15 - 12:00: 1 talk
* 12:00 - 14:00: Lunch
* 14:00 - 15:30: 2 regular talks
* 15:30 - 16:00: Break
* 16:00 - 17:30: Business Meeting, members only
* 18:30 Dinner at Bambolina Restaurant

Wednesday, May 1:
* 9:00 - 10:30: Welcome and 2 talks
* 10:30 - 11:15: Break
* 11:15 - 12:00: 1 talk
* 12:00 - 14:00: Lunch
* 14:00 - 15:30: 2 regular talks
* 17:00 - 19:00: Excursion, The Salem Historical Tours (starts at hotel, ends at restaurant)
* 19:00 Dinner at Opus

Thursday, May 2:
* 9:00 - 10:30: 2 talks
* 10:30 - 11:00: Break
* 11:00 - 12:00: 1 talk
* 12:00: Lunch and/or departure

=== Social events ===

The Salem Historical Tours, https://www.salemhistoricaltours.com/

They are going to give you 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.

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

WG211/M19Lawall

2019-04-26T20:20:29Z

WG211/M18Schedule

2018-04-30T06:12:00Z

Julia: /* Travel */

=IFIP Working Group 2.11, Eighteenth Meeting=

This page is, obviously, incomplete. As information is completed group members and visitors will be notified.

== June 4-7, 2018 in Kyoto, Japan. ==

The meeting will be held in Kyoto, Japan, hosted by Atsushi Igarashi.

The meeting will last 3.5 days; the first three days (June 4-6) will be full-day, whereas the last day (June 7) will be a half-day session.

=== Venue ===

The meeting will be held at Kyoto University.

=== Travel ===

[https://www.kansai-airport.or.jp/en/ Kansai International Airport], located south of Osaka, is the natural access route to Kyoto. From there you can reach Kyoto Station in 1 hour 15 minutes, using the Limited Express HARUKA (runs twice an hour). Another option is to use a shared taxi (shuttle), which you should book in advance, operated either by Yasaka Taxi or MK Taxi.
You can also fly first to Narita International Airport or Haneda International Airport in Tokyo, and then connect to [https://www.osaka-airport.co.jp/en/ Osaka Airport (ITM)] from which you can take a limousine bus or a shared taxi to Kyoto. (If you are a train fan, it may be a good idea to take Shinkansen (superexpress train) from Tokyo to Kyoto, although it's an expensive choice.) [http://www.centrair.jp/en/ The Central Japan International Airport], nearby Nagoya, provides an alternative access route. The Mu-Sky limited express to Nagoya runs every 30mn (and takes 30mn), and from there to Kyoto is just 35mn by Shinkansen (albeit a bit expensive).

The organizer will conduct a survey for those who would like to use the shuttle bus from the airport.

You can check timetables for trains inside Japan on [https://world.jorudan.co.jp/mln/en/?sub_lang=nosub Jorudan's Norikae-Annai] or on Google Maps.

---- Arrival/Departure

* Kevin: arr KIX 02 Jun 2018 20:30 on CA0161; dep KIX 11 Jun 2018 16:25 on CA0928
* Jeremy: arr ITM 02 Jun 2018 10:35 on JL111; dep KIX 08 Jun 2018 10:45 on AY078
* Tony arr KIX 02 Jun 2018 19:10 on QF33; dep KIX 09 Jun 2018 20:40 on QF34
* Julia arr KIX 03 Jun 2018 08:40 on AF292; dep KIX 09 Jun 2018 10:30 on AF291

=== Accommodation ===

Rooms have been blocked in a single, recommended hotel ([http://heartonhotel.com/kyo.aspx Hearton Hotel Kyoto]); please use the [https://va.apollon.nta.co.jp/wg211/ special booking web site]. If you'd like to book a room for an extra stay before/after the meeting, please contact Nippon Travel Agency Co., Ltd. (The contact email address is in the booking web site.) Alternative hotels can be located [https://drive.google.com/open?id=1d49jNFPqgEZPjE4OjVL5TFcoKYeNrV0X&usp=sharing on this map].

=== Registration ===

Registration fee is 33,000 JPY, which covers all meeting-related expenses (including excursion, lunch, and dinner, which is all part of the program).
At the registration site, which will be open soon (perhaps on the second week of May), there is an option for your family: 28,000 JPY for everything but refreshments and lunch (during the meeting).

== Attendance ==

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

Sandrine Blazy, Jacques Carette, Jeremy Gibbons, Robert Glück, Kevin Hammond, Atsushi Igarashi, Julia Lawall, Christian Lengauer, Peter Mosses, Klaus Ostermann, Markus Püschel, Christoph Reichenbach, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Satnam Singh, Tony Sloane, Eric Van Wyk

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

* ...

== Program / schedule ==

=== Scientific program ===

TBA

=== Social events ===

* Monday 4 June;
** Dinner at Kagaribi (かがり火) (http://www.gion-kagaribi.com/)
* Tuesday 5 June;
** Dinner at Kiyosu (きよす) (http://r.tabelog.com/kyoto/A2603/A260302/26001516/)
* Wednesday 6 June; 1pm-
** Excursion (see below)
** Dinner at Kyoto Hotel Okura (京都ホテルオークラ)
* Thursday 7 June;
** Lunch (details TBD)

Social events are covered by the registration fee except the lunch on Thursday.

== Excursion==

* The bus leaves Kyoto University at 1pm.
* Visit to Enryaku-ji (延暦寺) in Mt. Hiei (比叡山); (see https://en.wikipedia.org/wiki/Enryaku-ji and https://www.hieizan.or.jp/_att/english.pdf)
* Ride on Sakamoto Cable Railway to the town called Sakamoto (坂本) on Lake Biwa (琵琶湖), the largest lake in Japan. (http://www.sakamoto-cable.jp/utilities/pdf/pamp_en.pdf)
** The longest cable route in Japan
** If the weather is fine, we can expect a nice view over Lake Biwa.
* Visit to Kyu-Chikurinin Garden (旧竹林院庭園); http://kyuchikuriin.web.fc2.com/ (which provides little information in English)
** A break with green tea
* Dinner at Kyoto Hotel Okura from 6pm.

== Joint trips before/after the meeting ==

People arriving before the meeting: Ulrik and Christoph (arriving Saturday, will be in Kyoto Sunday), Kevin (in Kyoto Sunday, my wife will be joining me), Jacques (arriving Saturday evening via Osaka), Jeremy (arriving Saturday), Tony (arriving Saturday evening Osaka).

People staying after the meeting: Ulrik (staying until Saturday, considering Osaka), Ken (leaving via Osaka on Friday), Julia (probably staying until Saturday, flying out of Osaka), Kevin (leaving Monday, from Osaka), Christoph (leaving Friday, from Osaka), Jacques (leaving Saturday, from Osaka), Tony (leaving Saturday evening via Osaka).

Places to go: Ken suggests [http://www.butohkan.jp/index.html?ym=2018-05#Butohkan_cal Kyoto Butoh Kan] and [http://www.kyotorailwaymuseum.jp/en/access/ Kyoto Railway Museum]

=== Sento ===

Jeremy suggests the following: I thought it would be helpful - for those like myself, arriving early in the morning but not able to check in to a hotel in the afternoon - to point out that that it is easy to get a nice hot bath cheaply in Japan, in a public facility called a [http://www.sentoguide.info/etiquette/ sento]. You have to be comfortable being naked with strangers (of the same sex); but there is no better way to relax after a long flight. However, note that tattoos are not welcome.

As it happens, there is a basic sento in the basement of Kyoto Tower, which is just across the road from Kyoto Station where people are likely to arrive in the city, open from early to late: [https://www.keihanhotels-resorts.co.jp/kyoto-tower/en/ Kyoto Tower Daiyokujo Yuu 07:00-22:00 (basement 3F)]. But Atsushi has recommended a "super-sento" (a fancier place, with several different pools, masseurs, restaurant, a bit more expensive) called [http://hanano-yu.jp/ Hana-no-yu はなの湯], one station away from Kyoto Station, which is open from 10:00.

WG211/M17Schedule

2017-04-25T06:42:30Z

Julia:

=IFIP Working Group 2.11, Seventeenth Meeting=

== July 17-20, 2017 in Koblenz, Germany. ==

The meeting will be held in Koblenz, Germany, hosted by [http://www.softlang.org/rlaemmel:home Ralf Lämmel] (University of Koblenz-Landau).

The meeting will last 3.5 days; the first three days (July 17-19) will be full-day, whereas the last day (July 20) will be a half-day session. Recommended arrival is afternoon/evening of Sunday 16 July. Recommended departure is noon Thursday 20 July.

=== Venue ===

The meeting will take place at [http://www.contel-koblenz.de/pages/en/home.php?lang=EN Contel Hotel Koblenz] ([https://www.google.de/maps/place/CONTEL+Hotel+Koblenz/@50.366071,7.575757,17z/data=!3m1!4b1!4m5!3m4!1s0x47be634b933abd41:0x3deab960124706a9!8m2!3d50.366071!4d7.577951?hl=en Google Maps]). The hotel is right at the Mosel River, it is less than 1km from the most beautiful parts of the old city. If the weather is nice, you can walk to the hotel from the main station. Otherwise, get on the bus (3/13, direction Güls) and get off after 9mins at Ludwig-Erhardt-Str. The deal for the conference hotel assumes that we are also booking rooms in the same hotel.

=== Travel ===

[https://www.frankfurt-airport.com/en/flights---more/flights.html Frankfurt Airport] is well connected to Koblenz. Terminal 1 is connected to the regional and inter-city/express train station. From the train station there is an hourly service to Koblenz. You may need to change trains in Mainz. The journey by train takes about 70 minutes. You should [https://www.bahn.com/en/view/booking-information/booking/online-ticket.shtml buy the train ticket online]. Alternative airports include Cologne-Bonn Airport and Hahn Airport both with similar journey times. The Koblenz main train station is 2.3km from the conference hotel, several public transportation options are available; in particular: bus 3/13, direction Güls, station Ludwig-Erhardt-Str., travel time 9mins.

=== Accommodation ===

The deal for the conference hotel assumes that we are also booking rooms in the same hotel.

The price for a hotel room is 90 Euro per night incl. VAT and breakfast. (Note: If you travel with spouse, the price is 106 Euro instead, subject to change).

Please reserve your hotel room by email: hotel@contel-koblenz.de

'''Please cc laemmel@uni-koblenz.de so that the local organizer is aware of your booking and can assist.'''

You need to mention "IFIP WG 2.11" in the email reservation, and you need to mention arrival and departure dates explicitly: arrival should be Sunday 16 July, departure should be Thursday 20 July.

Here is a [mailto:hotel@contel-koblenz.de?cc=laemmel@uni-koblenz.de&subject=Hotel%20reservation,%20IFIP%20WG2.11&body=%20%20Dear%20Contel%20Hotel%20Koblenz,%0a%0aI%20would%20like%20to%20reserve%20a%20room%20from%20Sunday%20July%2016%20until%20Thursday%20July%2020,%20using%20the%20special%20rate%20IFIP%20WG2.11.%0a%0aPlease%20confirm%20the%20reservation,%20thank%20you.%0a%0a cleverly crafted hotel reservation mailto link] that includes the relevant information.

=== Registration ===

The registration fee is 350 Euro.

You pay in two parts.

====Part I: Conference facilities====

(Note: If you travel with spouse, this part is not relevant for your spouse.)

Assuming you stay for the full period, you will pay 203 Euro with your hotel bill, to cover the related conference services.

For example: you stay 16-20 July (4 nights). Your hotel bill will be 90*4+203=563 Euro.

This covers use of conference facilities, refreshments, and lunch.

====Part II: Catering and social events====

(Note: If you travel with spouse, this part is relevant for your spouse, if she/he wants to take part.)

In addition to the hotel, each participant needs to pay an extra 147 Euro to "Landeshochschulkasse Mainz" (see below).

You can pay by bank transfer or cash onsite.

This covers all the social events.

You will receive an official receipt for the registration fee onsite. The receipt will specify a single amount as your registration fee for participating in the meeting.

Payment details if you opt for bank transfer (rather than cash onsite):

* Amount: 147 Euro
* Account holder: Landeshochschulkasse Mainz
* Bank: Deutsche Bundesbank Filiale Mainz
* IBAN: DE25 5500 0000 0055 0015 11
* BIC: MARKDEF1550

'''You must include this note to payee: 6501Ko/1509-28202/5142128'''

Also mention IFIP WG 2.11.

Make sure that you cover all costs of bank transfer.

== Attendance ==

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

Nada Amin (except 20/7), Jacques Carette, Robert Glück, Atsushi Igarashi, Yukiyoshi Kameyama, Stefan Kronawitter, Ralf Lämmel, Julia Lawall, Christian Lengauer, Stefan Marr, Bruno C. d. S. Oliveira, Christoph Reichenbach, Ulrik Pagh Schultz, Friedrich Steimann, Vadim Zaytsev, 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, following the template below.

* Ulrik Pagh Schultz [[WG211/M17Schultz | Safety as a Programming Language Concept]]
* Ralf Lämmel [[WG211/M17Laemmel | Systematic comparison of metaprogramming technologies]]
* Jacques Carette [[WG211/M17Carette | TBD]]
* Robert Glück [[WG211/M17Glueck | An experiment in ping-pong protocol verification by pushdown automata]]
* Christoph Reichenbach [[WG211/M17Reichenbach | TBD]]
* Christian Lengauer, Stefan Kronawitter [[WG211/M17Lengauer | The ExaStencils Compiler: Domain-Specific Stencil-Code Optimization]]

== Program / schedule ==

=== Scientific program ===

The schedule will be posted here at the start of the meeting.

=== Social events ===

* Sunday 16 July; 6pm - ...
** Informal meeting at [https://www.kaffeewirtschaft.de/ Kaffeewirtschaft]
* Monday 17 July; 5.30-8pm
** Planwagentour ("mobile wine tasting") in Winningen mit [http://www.weingut-fries.de/ Winzermeister Fries]
* Tuesday 18 July; 6-7pm
** Guided city tour in Koblenz mit [http://www.koblenz-touristik.de/ Koblenz Touristik]
* Tuesday 18 July; 7.30-10pm
** Dinner at [http://www.weinkeller-schwaab.de/restaurant-schwaab.html Weingut Schwaab] in Güls
* Wednesday 19 July; 5.30-11pm
** Dinner at [http://www.weindorf-koblenz.de/ Weindorf Koblenz]
* Thursday 20 July; 12.01-1.30pm
** Lunch in the city center

Social events are covered by the registration fee except informal reception on Sunday (one free drink, though) and the lunch on Thursday.

== Excursion==

Here are some suggestions for things people might do if they extend their stay by a day or two.
* Rent a bike and explore Mosel and Rhine rivers
* Get to see some of the many nearby castles and fortresses
* Visit Loreley
* Give a talk at the CS department
* ...

WG211/M16Lawall

2016-08-08T09:43:52Z

Julia:

''Prequel: A Patch-Like Query Language for Commit History Search'', by Julia Lawall

The commit history of a code base such as the Linux kernel is a gold mine of information on how evolutions should be made, how bugs should be fixed, etc. Nevertheless, the high volume of commits available and the rudimentary filtering tools provided mean that it is often necessary to wade through a lot of irrelevant information before finding example commits that can help with a specific software development problem. To address this issue, we propose Prequel (Patch Query Language), which brings the descriptive power of code matching to the problem of querying a commit history. We evaluate Prequel in the context of the problem of porting Linux drivers across versions, which illustrates a variety of development problems for which the code history can provide example solutions.

Joint work with Derek Palinski and Gilles Muller

WG211/M16Lawall

2016-08-08T09:43:04Z

Julia: Created page with "The commit history of a code base such as the Linux kernel is a gold mine of information on how evolutions should be made, how bugs should be fixed, etc. Nevertheless, the hi..."

The commit history of a code base such as the Linux kernel is a gold mine of information on how evolutions should be made, how bugs should be fixed, etc. Nevertheless, the high volume of commits available and the rudimentary filtering tools provided mean that it is often necessary to wade through a lot of irrelevant information before finding example commits that can help with a specific software development problem. To address this issue, we propose Prequel (Patch Query Language), which brings the descriptive power of code matching to the problem of querying a commit history. We evaluate Prequel in the context of the problem of porting Linux drivers across versions, which illustrates a variety of development problems for which the code history can provide example solutions.

Joint work with Derek Palinski and Gilles Muller

WG211/M16Schedule

2016-08-08T09:40:43Z

Julia: /* Talks */

=IFIP Working Group 2.11, Sixteenth Meeting=

== August 22-25, 2016 in Bloomington, Indiana, USA.==

The meeting will be held in Bloomington, Indiana, USA, hosted by [http://homes.soic.indiana.edu/ccshan/ Chung-chieh Shan] (Indiana University). The meeting will last 3.5 days; the first three days (August 22-24) will be full-day, whereas the last day (August 25) will be a half-day session ending with lunch.

=== Venue ===

The venue will be the ground-level meeting room at the [http://crest.iu.edu/ Center for Research in Extreme Scale Technologies] at 420 N. Walnut St near downtown Bloomington.

=== Travel ===

Beware that the Bloomington in Indiana is different from the Bloomington in Illinois and Minnesota. Do not fly into Bloomington-Normal airport in Illinois!

The most convenient airport is Indianapolis (IND), about one hour of driving time from campus. To get from the airport to campus:
* Every couple of hours there are two companies ([http://goexpresstravel.com/airport_shuttle_schedule Go Express] and [http://www.soashuttle.com/locations/bloomington-to-indianapolis/ Star of America]) that provide shuttle van service to Bloomington (from 6:20am to 10:40pm; ~$20), with a stop in front of the Indiana Memorial Union.
* Or call e2Taxi at +1 812-961-8294.
* Or rent a car at the airport.

You can also drive from another city, such as Chicago (4 hours), Cincinnati (3 hours), Louisville (2 hours).

==== Accommodation ====

As of July 20, the block of hotel rooms we reserved at the Indiana Memorial Union ($129-$164/night + tax, earliest check-in on August 20, latest check-out on August 26) has released, so any further booking is subject to current availability. Please use the hotel block "group code" "IFIP" by calling +1-800-209-8145 or +1-812-855-2536.

There are also several other hotels and bed-and-breakfasts convenient to downtown Bloomington.

== Registration ==

The registration fee is US$375. Please register and pay using this link:
https://indianauniv.ungerboeck.com/prod/emc00/register.aspx?OrgCode=10&EvtID=7572&AppCode=REG

== 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, Charles Consel (M-W), Ewen Denney, Jeremy Gibbons, Kevin Hammond, Christian Kaestner (M-W), Oleg Kiselyov, Ralf Laemmel, Julia Lawall (M-W), Praveen Narayanan, Ryan Newton, Tiark Rompf, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Amr Sabry (intermittent), Jeremy Siek, Satnam Singh, Eelco Visser, Eric Van Wyk

== Talks ==

See below for schedule, note that the actual scheduling of talks will not be available until the meeting starts.

Sandrine Blazy [[WG211/M16Blazy | A Verified Compiler for a Memory Model supporting Pointer Arithmetic and Uninitialised Data ]]

Edwin Brady TBA

Jacques Carette TBA

Charles Consel TBA

Ewen Denney TBA

Kevin Hammond [[WG211/M16Hammond | Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms ]]

Jeremy Gibbons [[WG211/M16Gibbons | APLicative Programming with Naperian Functors ]]

Christian Kaester TBA

Oleg Kiselyov [[WG211/M16Kiselyov | Generating Code with Polymorphic let: A Ballad of Value Restriction, Copying and Sharing]]

Ralf Lämmel [[WG211/M16Laemmel | Compilation of megamodels]]

Julia Lawall [[WG211/M16Lawall | Prequel: A Patch-Like Query Language for Commit History Search]]

Praveen Narayanan [[WG211/M16PraveenNarayanan | Disintegrating probabilistic programs with arrays ]]

Ryan Newton TBA

Tiark Rompf TBA

Sven-Bodo Scholz [[WG211/M16Scholz | SpaceTime -- a fresh view on parallel programming ]]

Ulrik Pagh Schultz [[WG211/M16Schultz | Adventures in Object-Oriented Reversible Programming]]

Jeremy Siek TBA

Eric Van Wyk [[WG211/M16VanWyk | TBD ]]

Eelco Visser [[WG211/M16Visser | Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics ]]

Eric Van Wyk TBA

== Schedule ==

Note that the actual scheduling of talks will not be available until the meeting starts (although you will know in advance if you are giving a talk in the first session).

''Preliminary schedule''

Monday August 22:
* 9:15 arrive, welcome
* 9:15-10:00 work (1 talk)
* 10:00-10:30 morning break with refreshments
* 10:30-12:00 work (2 talks)
* 12:00-14:00 catered lunch from [http://www.feastcateringonline.com/ Feast]
* 14:00-15:30 work (2 talks)
* 15:30-16:00 afternoon break with refreshments
* 16:00-17:30 work (2 talks)
* 19:00 dinner at [https://the-uptown.com/ Uptown Cafe]

Tuesday August 23:
* 8:30-10:00 work (2 talks)
* 10:00-10:30 morning break with refreshments
* 10:30-12:00 work (2 talks)
* 12:00-14:00 catered lunch from [http://www.falafelsonline.com/ Falafels]
* 14:00-15:30 work (2 talks)
* 15:30-16:00 afternoon break with refreshments
* 16:00-17:30 business meeting (members only)
* 19:00 dinner at [http://www.finchsbrasserie.com/ Finch's Brasserie]

Wednesday August 24:
* 9:00-10:30 work (2 talks)
* 10:30-11:00 morning break with refreshments
* 11:00-12:30 work (2 talks)
* 12:30-14:30 buffet lunch at [http://www.restaurantanatolia.com/ Anatolia]
* 14:30-17:30 excursion (see below)
* 19:00 dinner at [http://www.esanthairest.com/ Esan Thai]

Thursday August 25:
* 8:30-10:00 work (2 talks)
* 10:00-10:30 morning break with refreshments
* 10:30-12:00 work (2 talks)
* 12:00-14:00 catered lunch (or to go) from [http://thelaughingplanetcafe.com/ Laughing Planet]

== Excursion==

After lunch on Wednesday, August 24, we'll take in the highlights of the [https://artmuseum.indiana.edu/ Indiana University Art Museum] and [http://www.indiana.edu/~liblilly/ Lilly Library], including its [http://www.indiana.edu/~liblilly/collections/puzzles.shtml puzzle collection]. If we're lucky, we'll also learn a bit about the [https://www.kinseyinstitute.org/ Kinsey Institute].

If you're looking to spend some free time in Bloomington (like meeting up for Sunday dinner), here are '''some''' of [http://www.visitbloomington.com/ the options]:
* Food:
** "restaurant row" on 4th St around Dunn St and Grant St: Tibetan, Burmese, Korean, Indian, Turkish, ...
** downtown: Samira (Afghan), Owlery (vegan diner), King Dough (wood-oven pizza, including vegetarian, vegan, and gluten-free options), ...
* Alcohol: Upland Brewery, The Tap, Function Brewery, Quaff On, ...
* Coffee: Pourhouse, Soma, Runcible Spoon, Hopscotch, ...
* Chocolate: BLU Boy
* More museums: [http://wonderlab.org/ WonderLab], [http://www.mathers.indiana.edu/ Mathers Museum of World Cultures]
* Film: More "Raiders of the Lost Ark" than you probably want at the [http://www.cinema.indiana.edu/calendar/ Indiana University Cinema]
* Bicycling: Maybe rent a bike at Revolution Bike & Bean, enjoy an espresso, and head for one of the lakes (Griffy, Lemon, Monroe)?

WG211/M16Schedule

2016-07-04T08:26:11Z

Julia: /* Attendance */