WG 2.11 - User contributions [en]

WG211/M25Schedule

2025-11-14T07:44:19Z

Sven-Bodo: /* December 2-5, 2025, Stellenbosch, South Africa */

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

WG211/M25Schedule

2025-10-20T10:03:48Z

Sven-Bodo: /* 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
* Ohad Kammar
* Julia Lawall
* Klaus Ostermann
* Ulrik Pagh Schultz Lundquist
* Sven-Bodo Scholz ? (TBC)
* Friedrich Steimann
* Eric Van Wyk
* Jeremy Yallop

=== Guests and Observers ===

* Shraddha Barke
* Cezary Kaliszyk
* Yuito Murase (as proxy of Atsushi Igarashi)
* Moeketsi Raselimo (local observer)
* Michel Steuwer
* Ilya Sergey

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

==== 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:
* [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/M24Scholz

2024-11-29T16:13:05Z

Sven-Bodo:

== Hybrid Typing --- unleashing the battle between good error messages and aggressive program optimisation ==

In this talk I present SaC's Type Patterns [https://dl.acm.org/doi/10.1145/3652561.3652572 (DOI)] and their implementation in the latest
release of our compiler. Type patterns allow programmers to specify
arbitrarily complex constraints between domains and co-domains of functions.
As for most programs the correctness of these constraints cannot be fully statically
guaranteed, we follow a hybrid approach for checking these constraints. By employing
partial evaluation, we resolve a part of the constraints statically while relying
on dynamic checks for those constraints we cannot resolve at compile time.
As it turns out, this approach exposes an interesting challenge regarding the
interplay between the quality of error messages and the effectiveness of partial evaluation.

WG211/M24Scholz

2024-11-29T16:11:48Z

Sven-Bodo:

== Hybrid Typing --- unleashing the battle between good error messages and aggressive program optimisation ==

In this talk I present SaC's Type Patterns [[(doi)|https://dl.acm.org/doi/10.1145/3652561.3652572]] and their implementation in the latest
release of our compiler. Type patterns allow programmers to specify
arbitrarily complex constraints between domains and co-domains of functions.
As for most programs the correctness of these constraints cannot be fully statically
guaranteed, we follow a hybrid approach for checking these constraints. By employing
partial evaluation, we resolve a part of the constraints statically while relying
on dynamic checks for those constraints we cannot resolve at compile time.
As it turns out, this approach exposes an interesting challenge regarding the
interplay between the quality of error messages and the effectiveness of partial evaluation.

WG211/M24Scholz

2024-11-29T16:10:35Z

Sven-Bodo:

== Hybrid Typing --- unleashing the battle between good error messages and aggressive program optimisation ==

In this talk I present SaC's Type Patterns and their implementation in the latest
release of our compiler. Type patterns allow programmers to specify
arbitrarily complex constraints between domains and co-domains of functions.
As for most programs the correctness of these constraints cannot be fully statically
guaranteed, we follow a hybrid approach for checking these constraints. By employing
partial evaluation, we resolve a part of the constraints statically while relying
on dynamic checks for those constraints we cannot resolve at compile time.
As it turns out, this approach exposes an interesting challenge regarding the
interplay between the quality of error messages and the effectiveness of partial evaluation.

WG211/M24Scholz

2024-11-29T16:09:49Z

Sven-Bodo:

Hybrid Typing --- unleashing the battle between good error messages and aggressive program optimisation

In this talk I present SaC's Type Patterns and their implementation in the latest
release of our compiler. Type patterns allow programmers to specify
arbitrarily complex constraints between domains and co-domains of functions.
As for most programs the correctness of these constraints cannot be fully statically
guaranteed, we follow a hybrid approach for checking these constraints. By employing
partial evaluation, we resolve a part of the constraints statically while relying
on dynamic checks for those constraints we cannot resolve at compile time.
As it turns out, this approach exposes an interesting challenge regarding the
interplay between the quality of error messages and the effectiveness of partial evaluation.

WG211/M24Scholz

2024-11-29T16:08:34Z

Sven-Bodo: Created page with "In this talk I present SaC's Type Patterns and their implementation in the latest release of our compiler. Type patterns allow programmers to specify arbitrarily complex const..."

In this talk I present SaC's Type Patterns and their implementation in the latest
release of our compiler. Type patterns allow programmers to specify
arbitrarily complex constraints between domains and co-domains of functions.
As for most programs the correctness of these constraints cannot be fully statically
guaranteed, we follow a hybrid approach for checking these constraints. By employing
partial evaluation, we resolve a part of the constraints statically while relying
on dynamic checks for those constraints we cannot resolve at compile time.
As it turns out, this approach exposes an interesting challenge regarding the
interplay between the quality of error messages and the effectiveness of partial evaluation.

WG211/M24Schedule

2024-11-29T16:06:23Z

Sven-Bodo: /* Talks */

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

A [https://maps.app.goo.gl/oCXGNCb2ax68WS6B6/ Google map] with the venue, hotels, and meeting-relevant locations.

==== WiFi Access ====

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

* '''guest account.''' If you know that eduroam will not work for you, I can set you up with a guest account. Please indicate that you will definitely need a guest account in your registration form. You can always let me know after registration whether you need one, including during the meeting. Guests must abide by the [https://vpnreg.ucs.ed.ac.uk/admin/compregs.pdf computing regulations].

* '''Visit-Ed.''' If eduroam does not work for you and you don't have a guest account, you can try using the [https://www.ed.ac.uk/information-services/computing/desktop-personal/wifi-networking/guest-alumni-wifi-access Visit-Ed service] described in the middle of that page. It requires registration by Facebook, LinkedIn, WhatsApp, or text message (international numbers included).

==== 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. Here are some 4-star and 3-star suggestions nearby, but you'll probably find something 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.

Hotel suggestions:
* [https://www.apexhotels.co.uk/destinations/edinburgh/apex-city-of-edinburgh-hotel/ Apex City of Edinburgh Hotel]. Main suggestion, slightly-up-and-steep-downhill from the venue. We have a 10% discount code, which I will email once I have it. '''Note:''' There is a slightly more full Apex hotel on the same street which I listed before, so if you want to be in the suggested hotel, make sure you're in the correct one.
* [https://www.motel-one.com/en/hotels/edinburgh/hotel-edinburgh-royal/ Motel One Edinburgh Royal]. A cheaper option, steep downhill from the venue.
* [https://www.scotsmanhotel.co.uk/ Scotsman Hotel]. A more expensive option, slightly-up-and-moderate-downhill from the venue.

== Weather ==

Edinburgh has temperate (and temperamental) climate, and currently the broadcast is 0 to 8 degrees centrigade during the day, and perhaps -1 degrees centrigade at night and in the early morning. It will be windy with gusts of wind of up to 35 mph, 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/ Calton 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 ==
Please register [https://www.epay.ed.ac.uk/conferences-and-events/college-of-science-and-engineering/school-of-informatics/informatics-events/ifip-working-group here].
After you 'Book Event', please choose either:
* '4 Day Attendee' or
* iff you're only attending partially, tick the boxes for the relevant days.

(If you plan to partially attend, please discuss with the Chairs first. I think it's somewhat unusual.)

You'll be prompted for additional details like contact details, allergies and dietary requirements after: adding to basket; proceeding to checkout; registering.

Please let me know if you have any problems. Please let me know if you won't be able to register before Thursday 28 Nov.

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

* Guillaume Allais
* Nada Amin
* Sandrine Blazy
* Edwin Brady
* Jacques Carette
* Sebastian Erdweg
* Jeremy Gibbons
* Kevin Hammond
* Ohad Kammar
* Paul Kelly (on 5-6 only)
* Andras Kovacs
* Lindsey Kuper
* Julia Lawall
* Ralf Lämmel
* Sam Lindley
* James McKinna
* Peter Mosses
* Christoph Reichenbach
* Tiark Rompf
* Sven-Bodo Scholz
* Amir Shaikhha
* Friedrich Steimann
* Jeremy Yallop

=== Local Observers ===
* Greg Brown
* Justus Matthiesen
* Nachiappan Valliappan
* Robert Wright

== 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:
| Scoped and Typed Staging by Evaluation
* Guillaume Allais [[WG211/M24Allais | Scoped and Typed Staging by Evaluation ]]
* Nada Amin [[WG211/M24Amin | Verified program synthesis ]]
* Sandrine Blazy [[WG211/M24Blazy | A Mechanized Semantics for Dataflow Circuits ]]
* Edwin Brady [[WG211/M24Brady | "Normalisation by Compilation": Typechecking Dependent Types via the Scheme Runtime ]]
* Jacques Carette [[WG211/M24Carette | Partial Evaluation meets Denotational Semantics ]]
* Sebastian Erdweg [[WG211/M24Erdweg | Stateful Differential Operators for Incremental Computing ]]
* Jeremy Gibbons [[WG211/M24Gibbons | Continuation−Passing Style‚ Defunctionalization‚ Accumulations‚ and Associativity ]]
* Kevin Hammond [[WG211/M24Hammond | Using Formal Methods at Scale in the Delivery of a High Assurance Distributed System: the Cardano Blockchain Implementation in Haskell ]]
* Andras Kovacs [[WG211/M24Kovacs | Runtime code generation with dependent types ]]
* Lindsey Kuper [[WG211/M24Kuper | Library-Level Choreographic Programming ]]
* Ralf Lämmel [[WG211/M24Laemmel | Type Inference in a Knowledge-Graph Setting]]
* Sam Lindley [[ WG211M24Lindley | Modal Effect Types ]]
* Peter Mosses [[ WG211/M24Mosses | Denotational Semantics in Agda ]]
* Christoph Reichenbach [[ WG211/M23Reichenbach | Circular Attribute Evaluation in Reference Attribute Grammars ]]
* Tiark Rompf [[WG211/M24Rompf | Rhyme: A Data-Centric Multi-Paradigm Query Language ]]
* Amir Shaikhha [[ WG211M24Shaikhha | Democratizing Data Science by Leveraging Structure ]]
* Sven-Bodo Scholz [[WG211/M24Scholz| Hybrid Typing --- unleashing the battle between good error messages and aggressive program optimisation ]]
* Friedrich Steimann [[ WG211/M24Steimann | A really old new metatheory of software languages ]]

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

== Program / schedule ==

=== Scientific program ===

Updated nightly for the following day.

Tuesday, December 3

* 08:45 - 09:05 Assemble and welcome
** 09:05 - 09:55 Talk 01
** 09:55 - 10:45 Talk 02
* 10:45 - 11:15 Coffee break
** 11:15 - 12:05 Talk 03
* 12:05 - 14:00 Lunch and break
** 14:00 - 14:50 Talk 04
** 14:50 - 15:40 Talk 05
* 15:40 - 16:10 Coffee break
** 16:10 - 17:00 Talk 06

* 19:00 Dinner: David Bann

Wednesday, December 4

Note: if you're planning to walk to the Galleries today, bring comfortable shoes and relatively warm clothes.

* 09:45 - 09:05 Assemble and welcome
** 09:05 - 09:55 Talk 07
** 09:55 - 10:45 Talk 08
* 10:45 - 11:15 Coffee break
** 11:15 - 12:05 Talk 09
* 12:05 - 13:00 Lunch and short break
* 13:00 onwards: afternoon excursion to the Modern Art Galleries

* 19:00 Dinner: Wee Greek Kitchen

Thursday, December 5

* 08:45 - 09:05 Assemble and welcome
** 09:05 - 09:55 Talk 10
** 09:55 - 10:45 Talk 11
* 10:45 - 11:15 Coffee break
** 11:15 - 12:05 Talk 12
* 12:05 - 14:00 Lunch and break
** 14:00 - 14:50 Talk 13
** 14:50 - 15:40 Talk 14
* 15:40 - 17:00 Coffee break transitioning into business meeting

* 20:30 Dinner: Howie's at Waterloo Place

Friday, December 6

* 09:45 - 09:05 Assemble and welcome
** 09:05 - 09:55 Talk 15
** 09:55 - 10:45 Talk 16
* 10:45 - 11:15 Coffee break
** 11:15 - 12:05 Talk 17
* 12:05 - 13:00 Lunch and farewell

=== Social events ===

To be determined.

WG211/M24Schedule

2024-10-03T05:19:54Z

Sven-Bodo: /* Attendance */

WG211/M23Scholz

2024-03-24T14:35:11Z

Sven-Bodo: /* Stream it if you can - not just when your GPU runs out of memory */

== Stream it if you can - not just when your GPU runs out of memory (Sven-Bodo Scholz) ==

This talk presents our work on enabling out-of-core computations on GPUs, i.e., computations
on arrays that are bigger than what can be held within the device memory of a given GPU.
We propose code generation schemes for streaming map-like operations as well as stencil
computations across GPUs. We also provide a performance evaluation of these two schemes.
As it turns out, computations of all sizes benefit from the streaming approach.

WG211/M23Scholz

2024-03-24T14:33:49Z

Sven-Bodo: Created page with "== Stream it if you can - not just when your GPU runs out of memory == This talk presents our work on enabling out-of-core computations on GPUs, i.e., computations on arrays..."

== Stream it if you can - not just when your GPU runs out of memory ==

This talk presents our work on enabling out-of-core computations on GPUs, i.e., computations
on arrays that are bigger than what can be held within the device memory of a given GPU.
We propose code generation schemes for streaming map-like operations as well as stencil
computations across GPUs. We also provide a performance evaluation of these two schemes.
As it turns out, computations of all sizes benefit from the streaming approach.

WG211/M23Schedule

2024-03-24T14:32:13Z

Sven-Bodo: /* Talks */

= IFIP Working Group 2.11, Twenty-third Meeting =

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

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

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

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

=== Venue ===

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

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

==== WiFi Access ====

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

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

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

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

==== Workspace ====

There are work pods (with doors) throughout the 10th and 11th floor of the building.

=== Travel ===

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

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

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

==== Getting Around Philadelphia ====

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

==== Philadelphia Transportation Resources ====

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

=== Accommodation ===

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

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

=== Registration ===

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

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

The first registration (USD 200) covers

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

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

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

The second registration (USD 140) covers

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

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

==== Observer Registration ====

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

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

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

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

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

=== Local Observers ===

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

== Talks ==

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

* Nada Amin [[WG211/M23Amin | A Redesign for Staged Relational Programming ]]
* Michael Ballantyne [[WG211/M23Ballantyne | A language workbench as library ]]
* Jacques Carette [[WG211/M23Carette | Partial Evaluation meets Denotational Semantics ]]
* Colin Gordon [[WG211/M23Gordon | Synthesizing Effect Systems from Automata ]]
* Jeremy Johnson (TBD)
* Yukiyoshi Kameyama [[WG211/M23Kameyama | Program generation and (lightweight) analysis: case studies on cryptographic implementations ]]
* Martin Kellogg [[WG211/M23Kellogg | Static Program Reduction via Specification Slicing ]]
* Oleg Kiselyov [[WG211/M23Kiselyov | The Mysteries of AXPY ]]
* András Kovács [[WG211/M23Kovács | Polarized lambda calculus at runtime, dependent type theory at compile time ]]
* Julia Lawall [[WG211/M23Lawall | Towards Verification of Linux Kernel Code]]
* Geoffrey Mainland (TBD)
* Igor Pikovets [[WG211/M23Pikovets | OCaml in the Big Data World ]]
* Sven-Bodo Scholz [[WG211/M23Scholz | Stream it if you can - not just when your GPU runs out of memory ]]
* Ken Shan (TBD)
* Satnam Singh [[WG211/M23Singh | Haste: A Haskell DSL for Programming the Groq TSP/LPU Machine Learning Chips ]]
* Friedrich Steimann [[WG211/M23Steimann | Relate! Concatenative Relational Programming ]]
* Stephanie Weirich [[WG211/M23Weirich | CBPV + effects + coeffects]]
* Eric Van Wyk [[WG211/M23VanWyk | Modular Metatheory for Extensible Languages]]
* Jeremy Yallop (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 ===

Monday, March 25

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

Tuesday, March 26

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

Wednesday, March 27

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

Thursday, March 28

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

=== Social events ===

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

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

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

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

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

March 24 (Sunday): Dinner at [https://www.handynasty.net/location/han-dynasty-university-city/ Han Dynasty]

Dinner is at 7:45. We will meet at 7:30 in the lobby of the Sheraton.

The following attendees have indicated interest in meeting Sunday evening for dinner:

* Michael Ballantyne
* Jacques Carette
* Ohad Kammar
* Oleg Kiselyov
* Julia Lawall
* Geoffrey Mainland
* Sven-Bodo Scholz
* Friedrich Steimann

WG211/M23Schedule

2024-03-19T20:56:20Z

Sven-Bodo: /* Talks */

= IFIP Working Group 2.11, Twenty-third Meeting =

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

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

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

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

=== Venue ===

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

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

==== WiFi Access ====

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

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

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

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

=== Travel ===

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

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

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

==== Getting Around Philadelphia ====

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

==== Philadelphia Transportation Resources ====

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

=== Accommodation ===

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

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

=== Registration ===

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

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

The first registration (USD 200) covers

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

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

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

The second registration (USD 140) covers

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

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

==== Observer Registration ====

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

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

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

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

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

=== Local Observers ===

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

== Talks ==

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

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

Monday, March 25

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

Tuesday, March 26

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

Wednesday, March 27

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

Thursday, March 28

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

=== Social events ===

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

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

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

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

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

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

WG211/M23Schedule

2024-01-25T15:14:02Z

Sven-Bodo: /* Attendance */

Main Page

2024-01-18T10:15:51Z

Sven-Bodo: /* Current Members */

Welcome to the homepage of [http://www.ifip.org/ifiptc2/ IFIP TC-2] working group on Program Generation (WG 2.11)

=Program Generation (WG 2.11)=

Program generation has the potential to revolutionize software development in the same way that automation and components revolutionized manufacturing. Current research in this area targets a host of technical problems both at the foundational and engineering levels. The aim of this IFIP Working Group of researchers and practitioners is to promote progress in this area.

==Current Activity==

'''Next meeting''': [[WG211/M23Schedule | Twenty-third meeting in Philadelphia, Pennsylvania, USA ]]

==Current Members==
{|
|[https://namin.seas.harvard.edu/ Nada Amin] (US)
|[http://www.irisa.fr/celtique/blazy/ Sandrine Blazy] (FR)
|[http://eb.host.cs.st-andrews.ac.uk/ Edwin Brady] (UK)
|-
|[http://www.cas.mcmaster.ca/~carette/ Jacques Carette] (CA), Chair
|[http://ti.arc.nasa.gov/profile/edenney/ Ewen Denney] (US)
|[https://www.pl.informatik.uni-mainz.de/erdweg/ Sebastian Erdweg] (DE)
|-
|[http://www.cs.sun.ac.za/~bfischer/ Bernd Fischer] (ZA)
|[http://www.cs.ox.ac.uk/jeremy.gibbons/ Jeremy Gibbons] (UK)
|[http://www.diku.dk/~glueck Robert Glück] (DK)
|-
|[http://www.cs.st-andrews.ac.uk/~kh/Home/Home.html Kevin Hammond] (UK)
|[http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/index.html.en Atsushi Igarashi] (JP)
|[http://denotational.co.uk/ Ohad Kammar] (UK)
|-
|[http://www.cs.cmu.edu/~ckaestne/ Christian Kästner] (US)
|[http://www.cs.tsukuba.ac.jp/~kam/ Yukiyoshi Kameyama] (JP)
|[http://www.doc.ic.ac.uk/~phjk/ Paul Kelly] (UK)
|-
|[http://okmij.org/ftp/ Oleg Kiselyov] (JP)
|[http://www.uni-koblenz.de/~laemmel Ralf Lämmel] (DE)
|[http://pagesperso-systeme.lip6.fr/Julia.Lawall/ Julia Lawall] (FR)
|-
|[http://www.infosun.fmi.uni-passau.de/cl/staff/lengauer/ Christian Lengauer] (DE) (*)
|[https://www.cs.drexel.edu/~mainland/ Geoffrey Mainland] (US)
|[https://pdmosses.github.io Peter Mosses] (UK, NL)
|-
|[http://ps.informatik.uni-tuebingen.de/team/ostermann/ Klaus Ostermann] (DE)
|[http://www.inf.ethz.ch/personal/markusp Markus Püschel] (CH)
|[http://creichen.net/ Christoph Reichenbach] (SE)
|-
|[http://tiarkrompf.github.io/ Tiark Rompf] (US)
|[https://www.ru.nl/personen/scholz-s Sven-Bodo Scholz] (NL)
|[http://www.mmmi.sdu.dk/~ups Ulrik Pagh Schultz] (DK)
|-
|[http://homes.soic.indiana.edu/ccshan/ Chung-chieh Shan] (US)
|[http://raintown.org/ Satnam Singh] (US)
|[https://inkytonik.github.io/ Anthony M. Sloane] (AU)
|-
|[http://www.cs.umass.edu/~yannis/ Yannis Smaragdakis] (GR)
|[https://people.csail.mit.edu/asolar/ Armando Solar-Lezama] (US)
|[http://www.cs.rice.edu/~taha/ Walid Taha] (SE)
|-
|[http://www-users.cs.umn.edu/~evw/ Eric Van Wyk] (US)
|[https://www.cl.cam.ac.uk/~jdy22/ Jeremy Yallop] (UK), Vice-Chair
|[https://grammarware.net/ Vadim Zaytsev] (NL)
|-
|}
(*) emeritus

==Past Activity==

* [[WG211/M22Schedule | Twenty-second meeting in Delft, The Netherlands ]]
* [[WG211/M21Schedule | Twenty-first meeting in Odense, Denmark ]]
* [[WG211/M20Schedule | Twentieth meeting in Paris, France ]]
* [[WG211/M19Schedule | Nineteenth meeting in Salem, USA ]]
* [[WG211/M18Schedule | Eighteenth meeting in Kyoto, Japan ]]
* [[WG211/M17Schedule | Seventeenth meeting in Koblenz, Germany ]]
* [[WG211/M16Schedule | Sixteenth meeting in Bloomington, Indiana, USA]]
* [[WG211/M15Schedule | Fifteenth meeting in London, England]]
* [[WG211/M14Schedule | Fourteenth meeting in Stellenbosch, South Africa]]
* [[WG211/M13Schedule | Thirteenth meeting in Pittsburgh, USA]]
* [[WG211/M12Schedule | Twelfth meeting in Minneapolis, USA]]
* [[WG211/M11Schedule | Eleventh meeting in Halmstad, Sweden]]
* [[WG211/M10Schedule | Tenth meeting in Bordeaux, France]]
* [[WG211/M9Schedule | Ninth meeting in Waterloo, Canada]]
* [[WG211/M8Schedule | Eighth meeting in St. Andrews Scotland]]
* [[WG211/M7Schedule | Seventh meeting in Mountain View, California]]
* [[WG211/M6Schedule | Sixth meeting in Passau]]
* [[WG211/M5Schedule | Fifth meeting in Copenhagen]]
* [[WG211/M4Schedule | Fourth meeting in Portland]]
* [[WG211/M3Schedule | Third meeting at Dagstuhl]]
* [[WG211/MeetingTwo | Second meeting at Rice, Houston, TX.]]
* [[WG211/MeetingOne | Kickoff meeting in St. Emilion]]


==Background==

* [[WG211/WG211-Aims-2011-02-25 | Current aims ]] of the working group, revised February 2011

* [[Media:aims-2003-09-01.txt | Initial aims ]] of the working group, as submitted to IFIP, September 2003).

* [http://www.infosun.fim.uni-passau.de/cl/papers/DSPG2004.html Compendium of papers] resulting from [http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=2003131 Dagstuhl seminar] that lead directly to the WG 2.11.

==Related events==
* [https://conf.researchr.org/home/gpce-2019 GPCE 2019] and [https://conf.researchr.org/home/sle-2019 SLE 2019] will be held in Athens as part of [https://2019.splashcon.org/home SPLASH]






==Past members==
A few past members include
{|
|[https://www.se.cs.uni-saarland.de/apel/ Sven Apel] (DE)
|[https://www.yale-nus.edu.sg/faculty/olivier-danvy/ Olivier Danvy] (<del>DK</del> SG)
|[https://www.infosun.fim.uni-passau.de/cl/staff/herrmann/ Christoph Herrmann] (DE)
|-
|[https://cs.illinois.edu/about/people/emeritus-faculty/kamin Sam Kamin] (US)
|[https://eelcovisser.org/ Eelco Visser] (NL)
|}

----

With the sudden and unexpected death of Prof. Eelco Visser, the IFIP WG
2.11 lost one of its founding members and a regular participant and central player in the group for close to two decades.

Eelco stood out by his calm demeanor and pleasant, sonoric voice. It gave him a special presence. Some time ago, he told us that he considered his first invitation to the WG as a pivotal event in his career and that he was very grateful for this. This was Dagstuhl Seminar 03131, which can be viewed as the conception event of WG 2.11.

Eelco implemented the group's goals more effectively and tangibly than many of us and he never made a big deal about it. The software systems he developed, be it Stratego, Spoofax or Researchr, have a far reach into the community and beyond. Eelco was always courteous, attentive and friendly but, being also passionate, he would not shy away from lively arguments. He was a pillar of strength and steadiness in the group. We will miss him dearly.

==Mailing list==
* The working group maintains a mailing list for discussions related to program generation. You can subscribe to this list [https://mailman.rice.edu/mailman/listinfo/wg2.11-discussion-l here].

WG211/M21Schedule

2022-08-09T10:34:52Z

Sven-Bodo: /* 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] 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.
Call or text Ulrik on +4540797629 if you need help.

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]. 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 mobile ticket when using the tram, but should be able to show it on request. You can read more about using 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, Geoff Mainland, 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 ]]
* Jacques Carette [[WG211/M21Carette | Partial Evaluation of Quantum Programs ]]
* Sebastian Erdweg [[WG211/M21Erdweg | Functional Programming with Datalog ]]

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 - TBD: Afternoon session (3 or 4 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: Talk
* 10:00-10:30: Excursion to SDU Industry 4.0 lab
* 10:45-12:15: Talks (1 normal + 1 short)
* 12:15 - 14:00: Lunch in SDU Restaurant
* 14:00 - TBD: Talks (3 talks?)
* TBD - TBD: Business Meeting, members only

* 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: Talks (4 talks)
* 12:00 - 13:30: Lunch in SDU Canteen
* 13:30 - 14:15: Talk
* 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:
* 8:30 - 12:00: Talks (4 talks)
* 12:00 - TBD: 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-30T18:49:07Z

Sven-Bodo: /* Attendance */

WG211/M20Scholz

2020-02-16T17:11:34Z

Sven-Bodo:

== Tensor Comprehensions in SaC ==

Array comprehensions in principle are well established within the programming language
community. When it comes to catering not only for arrays of fixed dimensionalities
but for shape-invariant specifications as well, things become more challenging.
The generality of such shape-invariant array expressions often requires complex
and thus potentially error-prone boundary specifications of index ranges as well
as non-trivial shape specifications.

In this talk, we propose a new form of array comprehensions named "Tensor Comprehensions"
which allows such bounds and shapes to be partially or fully compiler inferred.
In contrast to earlier work, this work builds on sophisticated partial evaluation
technology to ensure a higher degree of shape and boundary inference than before.

The resulting notation combines the basic principle of array-comprehensions with syntactical
shortcuts very close to those found in the so-called Tensor Notations used in Physics
and Mathematics. As a result, complex operators with rich semantics can be defined
more concisely than before.

WG211/M20Scholz

2020-02-16T17:10:36Z

Sven-Bodo: Created page with "Array comprehensions in principle are well established within the programming language community. When it comes to catering not only for arrays of fixed dimensionalities but f..."

Array comprehensions in principle are well established within the programming language
community. When it comes to catering not only for arrays of fixed dimensionalities
but for shape-invariant specifications as well, things become more challenging.
The generality of such shape-invariant array expressions often requires complex
and thus potentially error-prone boundary specifications of index ranges as well
as non-trivial shape specifications.

In this talk, we propose a new form of array comprehensions named "Tensor Comprehensions"
which allows such bounds and shapes to be partially or fully compiler inferred.
In contrast to earlier work, this work builds on sophisticated partial evaluation
technology to ensure a higher degree of shape and boundary inference than before.

The resulting notation combines the basic principle of array-comprehensions with syntactical
shortcuts very close to those found in the so-called Tensor Notations used in Physics
and Mathematics. As a result, complex operators with rich semantics can be defined
more concisely than before.

WG211/M20Schedule

2020-02-16T17:08:53Z

Sven-Bodo: /* Talks */

=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, 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 | TBD]]
* Bernd Fischer [[WG211/M20Fischer | TBD]]
* Robert Glück [[WG211/M20Glueck | On Inversion of Conditional Term Rewriting Systems]] (Tuesday anytime please)
* 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
* 15:30 - 16:15: Break
* 16:15 - 17:00: 1 talk

* 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
* 10:30 - 11:15: Break
* 11:15 - 12:00: 1 talk
* 12:00 - 14:00: Lunch
* 14:00 - 15:15: 2 talks
* 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
* 10:30 - 11:15: Break
* 11:15 - 12:00: 1 talk
* 12:00 - 14:00: Lunch
* 14:00 - 15:30: 2 talks
* 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
* 10:30 - 11:00: Break
* 11:00 - 12:00: 1 talk

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

WG211/M18Scholz

2018-06-07T00:05:17Z

Sven-Bodo:

Arrays and streams seem to be fundamentally at odds: arrays require their size
to be known in advance, streams are dynamically growing; arrays offer direct
access to all of their elements, streams provide direct access to the front
elements only; the list goes on.
Despite these differences, many computational problems at some point require
shifting from one paradigm to the other. The driving forces for such a shift can
be manifold. Typically, it is a shift in the task requirements at hand or it is
motivated by efficiency considerations.
In this talk, we present a basis for a unified framework for dealing with arrays
and streams alike. We introduce an applied lambda calculus whose fundamental
data structure is a new form of array, named "Transfinite Array". Transfinite
arrays maintain properties from finite array calculi yet incorporate support for infinite
arrays. As it turns out, it is even possible to maintain recursive specifications as they
are typically found in a traditional stream / list-based setting.

An [https://arxiv.org/abs/1710.03832 arxiv paper] as well as an implementation of an interpreter in Ocaml are available [https://github.com/ashinkarov/heh here]

WG211/M18Scholz

2018-06-07T00:03:42Z

Sven-Bodo:

Arrays and streams seem to be fundamentally at odds: arrays require their size
to be known in advance, streams are dynamically growing; arrays offer direct
access to all of their elements, streams provide direct access to the front
elements only; the list goes on.
Despite these differences, many computational problems at some point require
shifting from one paradigm to the other. The driving forces for such a shift can
be manifold. Typically, it is a shift in the task requirements at hand or it is
motivated by efficiency considerations.
In this talk, we present a basis for a unified framework for dealing with arrays
and streams alike. We introduce an applied lambda calculus whose fundamental
data structure is a new form of array, named "Transfinite Array". Transfinite
arrays maintain properties from finite array calculi yet incorporate support for infinite
arrays. As it turns out, it is even possible to maintain recursive specifications as they
are typically found in a traditional stream / list-based setting.

An Archiv paper as well as an implementation of an interpreter are available [//https://github.com/ashinkarov/heh here]

WG211/M18Schedule

2018-05-21T07:02:02Z

Sven-Bodo: /* Travel */

=IFIP Working Group 2.11, Eighteenth Meeting=

== 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 (staying at Palaceside Hotel)
* Tony arr KIX 02 Jun 2018 19:10 on QF33; dep KIX 09 Jun 2018 20:40 on QF34 -- I would like a round-trip shuttle (to/from Hearton Hotel),one piece of checked luggage
* Julia arr KIX 03 Jun 2018 08:40 on AF292; dep KIX 09 Jun 2018 10:30 on AF291
* Bodo arr KIX 03 Jun 2018 8:55 on BA6087; dep KIX 10 Jun 2018 10:45 on AY078
* Sandrine arr KIX 03 Jun 2018 8:35 on AF8437
* Jacques arr KIX 02 Jun 2018 19:15 on OZ118; dep KIX 09 Jun 2018 17:15 on AC1952 -- I would like the shuttle (to Hearton Hotel), definitely on arrival.
* Chris L. arr HND 03 Jun 2018 15:50 on NH218; dep HND 08 Jun 2018 00:10 on LH4921
* Ralf L. with partner arr KIX 02 Jun 2018; dep KIX 09 Jun 2018
* Ulrik: arr KIX 02 Jun 2018 08:55 on AY077; dep KIX 09 Jun 2018 10:45 on AY078
* Eelco: arr June 1 at 8:45 AM at KIX, departs June 10 at 10:25 AM from KIX (would like shuttle to AirBnB that is close to the hotel, (〒604-0994 Kyōto-fu, Kyōto-shi, Nakagyō-ku, Kanrochō, 664 サキゾー甘露町ビル).
* Ken: arr KIX 3 Jun 2018 21:10, dep ITM 8 Jun 8 2018 15:00
* Jeremy Y.: arr ITM 03 Jun 2018 10:35 on JL111; dep KIX 08 Jun 2018
* Eric VW: arr KIX 02 Jun 2018 19:40 on Air Canada 6231; dep KIX 10 Jun 2018 08:10 on Nippon Airways 96 -- I would like a round-trip shuttle (to/from Hearton Hotel),
* Markus: arr KIX 04 Jun 2018 7:45 on LH740
* Satnam: arr HND 31 May 2018 13:55 on UA875; dep KIX 7 June 2018 16:50 on UA34
* Peter and Joanna: arr KIX 02 Jun 2018 at 08:45 on KL867; dep NRT 11 June 2018 at 10:30 on KL862

=== 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 [https://va.apollon.nta.co.jp/wg211/ the registration site], 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, Shigeru Chiba, Jeremy Gibbons, Robert Glück, Kevin Hammond, Atsushi Igarashi, Oleg Kiselyov, Julia Lawall, Christian Lengauer, Ralf Lämmel, Peter Mosses, Klaus Ostermann, Markus Püschel, Christoph Reichenbach, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Satnam Singh, Tony Sloane, Kanae Tsushima, Eric Van Wyk, Eelco Visser, 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.

* Sandrine Blazy [[WG211/M18Blazy | Verified translation validation of static analyses]]
* Jacques Carette [[WG211/M18Carette | A tale of theories and data-structures]]
* Jeremy Gibbons [[WG211/M18Gibbons | Profunctor Optics and the Yoneda Lemma]]
* Robert Glück [[WG211/M18Glueck | Metacomputation and Inversion - A Frontier of Program Generation]]
* Kevin Hammond [[WG211/M18Hammond | The Robots are Coming: Failure is not an Option!]]
* Atsushi Igarashi [[WG211/M18Igarashi | A Guess-and-Assume Approach to Loop Fusion for Program Verification]]
* Ralf Lämmel [[WG211/M18Laemmel | Towards a relatively systematic literature survey on program generation]]
* Peter Mosses [[WG211/M18Mosses | The CBS Framework]]
* Markus Püschel [[WG211/M18Pueschel | SIMD Intrinsics on Managed Runtimes]] (not on Monday)
* Sven-Bodo Scholz [[WG211/M18Scholz | A Lambda-Calculus for Transfinite Arrays - Towards Unifying Streams and Arrays]]
* Ulrik Pagh Schultz [[WG211/M18Schultz | Designing a Language for Drone Swarm Programming]]
* Tony Sloane [[WG211/M18Sloane | Formalisation of Attribute Grammar Evaluation]]
* Walid Taha [[WG211/M18Taha | Staging an Interpreter for the Lambda Calculus in Haskell]]
* Eelco Visser [[WG211/M18Visser | Definitional Interpreters with Scopes and Frames]]
* Jeremy Yallop [[WG211/M18Yallop | Partially static data as free extension of algebras]]
* ... (add more, order alphabetically, following same pattern)...

== 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: on June 7 (Thursday), Ken suggests [http://www.kyotorailwaymuseum.jp/en/access/ Kyoto Railway Museum] in the afternoon, followed by [http://www.butohkan.jp/index.html?ym=2018-05#Butohkan_cal Kyoto Butoh Kan] at 8pm. The Butoh performance seats 8, and is now sold out after 7 of us bought tickets. (Doors open 20 minutes in advance; the performance runs 45 minutes.)

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

2018-05-21T06:37:58Z

Sven-Bodo: Created page with "Arrays and streams seem to be fundamentally at odds: arrays require their size to be known in advance, streams are dynamically growing; arrays offer direct access to all of th..."

WG211/M18Schedule

2018-05-21T06:36:32Z

Sven-Bodo: /* Talks */

=IFIP Working Group 2.11, Eighteenth Meeting=

== 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 (staying at Palaceside Hotel)
* Tony arr KIX 02 Jun 2018 19:10 on QF33; dep KIX 09 Jun 2018 20:40 on QF34 -- I would like a round-trip shuttle (to/from Hearton Hotel),one piece of checked luggage
* Julia arr KIX 03 Jun 2018 08:40 on AF292; dep KIX 09 Jun 2018 10:30 on AF291
* Bodo arr KIX 03 Jun 2018 8:55 on BA6087; dep KIX 10 Jun 2018 10:45 on AY078 -- I would like a one way shuttle on arrival to Hearton Hotel, one piece check-in luggage
* Sandrine arr KIX 03 Jun 2018 8:35 on AF8437
* Jacques arr KIX 02 Jun 2018 19:15 on OZ118; dep KIX 09 Jun 2018 17:15 on AC1952 -- I would like the shuttle (to Hearton Hotel), definitely on arrival.
* Chris L. arr HND 03 Jun 2018 15:50 on NH218; dep HND 08 Jun 2018 00:10 on LH4921
* Ralf L. with partner arr KIX 02 Jun 2018; dep KIX 09 Jun 2018
* Ulrik: arr KIX 02 Jun 2018 08:55 on AY077; dep KIX 09 Jun 2018 10:45 on AY078
* Eelco: arr June 1 at 8:45 AM at KIX, departs June 10 at 10:25 AM from KIX (would like shuttle to AirBnB that is close to the hotel, (〒604-0994 Kyōto-fu, Kyōto-shi, Nakagyō-ku, Kanrochō, 664 サキゾー甘露町ビル).
* Ken: arr KIX 3 Jun 2018 21:10, dep ITM 8 Jun 8 2018 15:00
* Jeremy Y.: arr ITM 03 Jun 2018 10:35 on JL111; dep KIX 08 Jun 2018
* Eric VW: arr KIX 02 Jun 2018 19:40 on Air Canada 6231; dep KIX 10 Jun 2018 08:10 on Nippon Airways 96 -- I would like a round-trip shuttle (to/from Hearton Hotel),
* Markus: arr KIX 04 Jun 2018 7:45 on LH740
* Satnam: arr HND 31 May 2018 13:55 on UA875; dep KIX 7 June 2018 16:50 on UA34
* Peter and Joanna: arr KIX 02 Jun 2018 at 08:45 on KL867; dep NRT 11 June 2018 at 10:30 on KL862

=== 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 [https://va.apollon.nta.co.jp/wg211/ the registration site], 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, Shigeru Chiba, Jeremy Gibbons, Robert Glück, Kevin Hammond, Atsushi Igarashi, Oleg Kiselyov, Julia Lawall, Christian Lengauer, Ralf Lämmel, Peter Mosses, Klaus Ostermann, Markus Püschel, Christoph Reichenbach, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Satnam Singh, Tony Sloane, Kanae Tsushima, Eric Van Wyk, Eelco Visser, 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.

* Sandrine Blazy [[WG211/M18Blazy | Verified translation validation of static analyses]]
* Jacques Carette [[WG211/M18Carette | A tale of theories and data-structures]]
* Jeremy Gibbons [[WG211/M18Gibbons | Profunctor Optics and the Yoneda Lemma]]
* Robert Glück [[WG211/M18Glueck | Metacomputation and Inversion - A Frontier of Program Generation]]
* Kevin Hammond [[WG211/M18Hammond | The Robots are Coming: Failure is not an Option!]]
* Atsushi Igarashi [[WG211/M18Igarashi | A Guess-and-Assume Approach to Loop Fusion for Program Verification]]
* Ralf Lämmel [[WG211/M18Laemmel | Towards a relatively systematic literature survey on program generation]]
* Peter Mosses [[WG211/M18Mosses | The CBS Framework]]
* Markus Püschel [[WG211/M18Pueschel | SIMD Intrinsics on Managed Runtimes]] (not on Monday)
* Sven-Bodo Scholz [[WG211/M18Scholz | A Lambda-Calculus for Transfinite Arrays - Towards Unifying Streams and Arrays]]
* Ulrik Pagh Schultz [[WG211/M18Schultz | Designing a Language for Drone Swarm Programming]]
* Tony Sloane [[WG211/M18Sloane | Formalisation of Attribute Grammar Evaluation]]
* Walid Taha [[WG211/M18Taha | Staging an Interpreter for the Lambda Calculus in Haskell]]
* Eelco Visser [[WG211/M18Visser | Definitional Interpreters with Scopes and Frames]]
* Jeremy Yallop [[WG211/M18Yallop | Partially static data as free extension of algebras]]
* ... (add more, order alphabetically, following same pattern)...

== 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: on June 7 (Thursday), Ken suggests [http://www.kyotorailwaymuseum.jp/en/access/ Kyoto Railway Museum] in the afternoon, followed by [http://www.butohkan.jp/index.html?ym=2018-05#Butohkan_cal Kyoto Butoh Kan] at 8pm. The Butoh performance seats 8, and is now sold out after 7 of us bought tickets. (Doors open 20 minutes in advance; the performance runs 45 minutes.)

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

2018-05-21T06:33:26Z

Sven-Bodo: /* Travel */

=IFIP Working Group 2.11, Eighteenth Meeting=

== 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 (staying at Palaceside Hotel)
* Tony arr KIX 02 Jun 2018 19:10 on QF33; dep KIX 09 Jun 2018 20:40 on QF34 -- I would like a round-trip shuttle (to/from Hearton Hotel),one piece of checked luggage
* Julia arr KIX 03 Jun 2018 08:40 on AF292; dep KIX 09 Jun 2018 10:30 on AF291
* Bodo arr KIX 03 Jun 2018 8:55 on BA6087; dep KIX 10 Jun 2018 10:45 on AY078 -- I would like a one way shuttle on arrival to Hearton Hotel, one piece check-in luggage
* Sandrine arr KIX 03 Jun 2018 8:35 on AF8437
* Jacques arr KIX 02 Jun 2018 19:15 on OZ118; dep KIX 09 Jun 2018 17:15 on AC1952 -- I would like the shuttle (to Hearton Hotel), definitely on arrival.
* Chris L. arr HND 03 Jun 2018 15:50 on NH218; dep HND 08 Jun 2018 00:10 on LH4921
* Ralf L. with partner arr KIX 02 Jun 2018; dep KIX 09 Jun 2018
* Ulrik: arr KIX 02 Jun 2018 08:55 on AY077; dep KIX 09 Jun 2018 10:45 on AY078
* Eelco: arr June 1 at 8:45 AM at KIX, departs June 10 at 10:25 AM from KIX (would like shuttle to AirBnB that is close to the hotel, (〒604-0994 Kyōto-fu, Kyōto-shi, Nakagyō-ku, Kanrochō, 664 サキゾー甘露町ビル).
* Ken: arr KIX 3 Jun 2018 21:10, dep ITM 8 Jun 8 2018 15:00
* Jeremy Y.: arr ITM 03 Jun 2018 10:35 on JL111; dep KIX 08 Jun 2018
* Eric VW: arr KIX 02 Jun 2018 19:40 on Air Canada 6231; dep KIX 10 Jun 2018 08:10 on Nippon Airways 96 -- I would like a round-trip shuttle (to/from Hearton Hotel),
* Markus: arr KIX 04 Jun 2018 7:45 on LH740
* Satnam: arr HND 31 May 2018 13:55 on UA875; dep KIX 7 June 2018 16:50 on UA34
* Peter and Joanna: arr KIX 02 Jun 2018 at 08:45 on KL867; dep NRT 11 June 2018 at 10:30 on KL862

=== 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 [https://va.apollon.nta.co.jp/wg211/ the registration site], 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, Shigeru Chiba, Jeremy Gibbons, Robert Glück, Kevin Hammond, Atsushi Igarashi, Oleg Kiselyov, Julia Lawall, Christian Lengauer, Ralf Lämmel, Peter Mosses, Klaus Ostermann, Markus Püschel, Christoph Reichenbach, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Satnam Singh, Tony Sloane, Kanae Tsushima, Eric Van Wyk, Eelco Visser, 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.

* Sandrine Blazy [[WG211/M18Blazy | Verified translation validation of static analyses]]
* Jacques Carette [[WG211/M18Carette | A tale of theories and data-structures]]
* Jeremy Gibbons [[WG211/M18Gibbons | Profunctor Optics and the Yoneda Lemma]]
* Robert Glück [[WG211/M18Glueck | Metacomputation and Inversion - A Frontier of Program Generation]]
* Kevin Hammond [[WG211/M18Hammond | The Robots are Coming: Failure is not an Option!]]
* Atsushi Igarashi [[WG211/M18Igarashi | A Guess-and-Assume Approach to Loop Fusion for Program Verification]]
* Ralf Lämmel [[WG211/M18Laemmel | Towards a relatively systematic literature survey on program generation]]
* Peter Mosses [[WG211/M18Mosses | The CBS Framework]]
* Markus Püschel [[WG211/M18Pueschel | SIMD Intrinsics on Managed Runtimes]] (not on Monday)
* Ulrik Pagh Schultz [[WG211/M18Schultz | Designing a Language for Drone Swarm Programming]]
* Tony Sloane [[WG211/M18Sloane | Formalisation of Attribute Grammar Evaluation]]
* Walid Taha [[WG211/M18Taha | Staging an Interpreter for the Lambda Calculus in Haskell]]
* Eelco Visser [[WG211/M18Visser | Definitional Interpreters with Scopes and Frames]]
* Jeremy Yallop [[WG211/M18Yallop | Partially static data as free extension of algebras]]
* ... (add more, order alphabetically, following same pattern)...

== 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: on June 7 (Thursday), Ken suggests [http://www.kyotorailwaymuseum.jp/en/access/ Kyoto Railway Museum] in the afternoon, followed by [http://www.butohkan.jp/index.html?ym=2018-05#Butohkan_cal Kyoto Butoh Kan] at 8pm. The Butoh performance seats 8, and is now sold out after 7 of us bought tickets. (Doors open 20 minutes in advance; the performance runs 45 minutes.)

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

2018-05-14T17:47:47Z

Sven-Bodo: /* Travel */

=IFIP Working Group 2.11, Eighteenth Meeting=

== 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 (staying at Palaceside Hotel)
* Tony arr KIX 02 Jun 2018 19:10 on QF33; dep KIX 09 Jun 2018 20:40 on QF34 -- I would like a round-trip shuttle (to/from Hearton Hotel),
* Julia arr KIX 03 Jun 2018 08:40 on AF292; dep KIX 09 Jun 2018 10:30 on AF291
* Bodo arr KIX 03 Jun 2018 8:55 on BA6087; dep KIX 10 Jun 2018 10:45 on AY078
* Sandrine arr KIX 03 Jun 2018 8:35 on AF8437
* Jacques arr KIX 02 Jun 2018 19:15 on OZ118; dep KIX 09 Jun 2018 17:15 on AC1952 -- I would like the shuttle (to Hearton Hotel), definitely on arrival.
* Chris L. arr HND 03 Jun 2018 15:50 on NH218; dep HND 08 Jun 2018 00:10 on LH4921
* Ralf L. with partner arr KIX 02 Jun 2018; dep KIX 09 Jun 2018
* Ulrik: arr KIX 02 Jun 2018 08:55 on AY077; dep KIX 09 Jun 2018 10:45 on AY078
* Eelco: arr June 1 at 8:45 AM at KIX, departs June 10 at 10:25 AM from KIX (would like shuttle to AirBnB that is close to the hotel, (〒604-0994 Kyōto-fu, Kyōto-shi, Nakagyō-ku, Kanrochō, 664 サキゾー甘露町ビル).
* Ken: arr KIX 3 Jun 2018 21:10, dep ITM 8 Jun 8 2018 15:00
* Jeremy Y.: arr ITM 03 Jun 2018 10:35 on JL111; dep KIX 08 Jun 2018
* Eric VW: arr KIX 02 Jun 2018 19:40 on Air Canada 6231; dep KIX 10 Jun 2018 08:10 on Nippon Airways 96 -- I would like a round-trip shuttle (to/from Hearton Hotel),

=== 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 [https://va.apollon.nta.co.jp/wg211/ the registration site], 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, Shigeru Chiba, Jeremy Gibbons, Robert Glück, Kevin Hammond, Atsushi Igarashi, Oleg Kiselyov, Julia Lawall, Christian Lengauer, Ralf Lämmel, Peter Mosses, Klaus Ostermann, Markus Püschel, Christoph Reichenbach, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Satnam Singh, Tony Sloane, Kanae Tsushima, Eric Walkingshaw, Eric Van Wyk, Eelco Visser, 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.

* Jeremy Gibbons [[WG211/M18Gibbons | Profunctor Optics and the Yoneda Lemma]]
* Kevin Hammond [[WG211/M18Hammond | The Robots are Coming: Failure is not an Option!]]
* Ulrik Pagh Schultz [[WG211/M18Schultz | Designing a Language for Drone Swarm Programming]]
* Eelco Visser [[WG211/M18Visser | Definitional Interpreters with Scopes and Frames]]
* Jeremy Yallop [[WG211/M18Yallop | Partially static data as free extension of algebras]]
* ... (add more, order alphabetically, following same pattern)...

== 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.kyotorailwaymuseum.jp/en/access/ Kyoto Railway Museum] and [http://www.butohkan.jp/index.html?ym=2018-05#Butohkan_cal Kyoto Butoh Kan].

More specifically, due to limited seating, Ken suggests booking in advance the June 7 performance of Hisoku at 8pm rather than 6pm. (Doors open 20 minutes in advance; the performance runs 45 minutes.) You can buy a ticket for JPY 3800 [https://secure.passmarket.yahoo.co.jp/order/buy/edit?event_id=01jkwvziv153 here]. (There's a switch to English at the bottom of the page.)

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

2018-03-18T08:07:43Z

Sven-Bodo: /* Attendance */

=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 [http://www.jorudan.co.jp/english/ Jorudan's Norikae-Annai] or on Google Maps.

=== 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]. Alternative hotels can be located [https://drive.google.com/open?id=1d49jNFPqgEZPjE4OjVL5TFcoKYeNrV0X&usp=sharing on this map].

=== Registration ===

Registration fee is expected to be on-par with that of previous events, and will cover all meeting-related expenses (including excursion, lunch, and dinner, which is all part of the program).

== 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, Markus Püschel, Christoph Reichenbach, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Satnam Singh, Tony Sloane (most likely), 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 ===

=== Social events ===

== Excursion==

WG211/M16Scholz

2016-08-19T16:13:47Z

Sven-Bodo: Created page with "Traditionally, programs are specified in terms of data structures and successive modifications of these. This separation dictates at what time which piece of data is located i..."

Traditionally, programs are specified in terms of data structures and successive modifications of these. This separation dictates at what time which piece of data is located in what space, be it main memory, disc or registers.
When aiming at high-performance, parallel executions of programs, it turns out that the choice of this time / space separation can have a vast impact on the performance that can be achieved.
Consequently, a lot of work has been spent on compiler technology for identifying dependencies between data and on techniques for rearranging codes for improved locality with respect to both, time and space.
As it turns out, the programmer specified choice of data-structures often limits what can be achieved by such optimisation techniques.

In this talk, we argue that a new way of formulating parallel programs that is based on a unified view on space and time not only matches much better typical scientific specifications, it also increases the re-usability of
programs and, most importantly, it enables more radical space-time optimisations through compilers.

WG211/M16Schedule

2016-06-23T16:56:01Z

Sven-Bodo: /* 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 School of Informatics and Computing at Indiana University. More to be announced.

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

We have reserved a block of hotel rooms at the Indiana Memorial Union ($129-$164/night + tax). The earliest check-in date is Saturday, August 20 and the latest check-out date is Friday, August 26. Before July 20, 2016, please use the hotel block "group code" "IFIP" by calling +1-800-209-8145 or +1-812-855-2536 or visiting http://imu.indiana.edu/hotel/

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

== Registration ==

To be announced.

== 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, Ewen Denney, Kevin Hammond, Christian Kaestner (M-W), Oleg Kiselyov, Ralf Laemmel, Julia Lawall, Ryan Newton, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Satnam Singh, Walid Taha, 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 ]]

Jacques Carette TBA

Charles Consel TBA

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

Julia Lawall TBA

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

Walid Taha [[WG211/M16Taha | Hybrid ODEs as a Programming Language ]]

Eric Van Wyk [[WG211/M16VanWyk | Semantic preservation in extensible languages ]]

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

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

This is the schedule from last year - please modify as needed.
Monday August 22:
* 9:15 arrive, welcome
* 9:30-11:00 work (2 talks)
* 11:00-11:30 morning break with refreshments
* 11:30-13:00 work (2 talks)
* 13:00-14:00 buffet lunch
* 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 ...

Tuesday August 23:
* 9:30-11:00 work (2 talks)
* 11:00-11:30 morning break with refreshments
* 11:30-13:00 work (2 talks)
* 13:00-14:00 working lunch
* 14:00-15:30 work (2 talks)
* 15:30-16:00 afternoon break with refreshments
* 16:00-17:30 business meeting (members only)
* 19:15 dinner at ...

Wednesday August 24:
* 9:30-11:00 work (2 talks)
* 11:00-11:30 morning break with refreshments
* 11:30-12:15 work (1 talk)
* 12:15-13:15 non-working lunch
* 13:15-15:30 work (3 talks)
* 16:00-17:00 tour of
* 19:00 dinner at ...

Thursday August 25:
* 9:30-11:00 work (2 talks)
* 11:00-11:30 morning break with refreshments
* 11:30-13:00 work (2 talks)
* 13:00-14:00 buffet lunch

== Excursion==

WG211/M16Schedule

2016-06-23T16:47:07Z

Sven-Bodo: /* Attendance */

=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 School of Informatics and Computing at Indiana University. More to be announced.

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

We have reserved a block of hotel rooms at the Indiana Memorial Union ($129-$164/night + tax). The earliest check-in date is Saturday, August 20 and the latest check-out date is Friday, August 26. Before July 20, 2016, please use the hotel block "group code" "IFIP" by calling +1-800-209-8145 or +1-812-855-2536 or visiting http://imu.indiana.edu/hotel/

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

== Registration ==

To be announced.

== 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, Ewen Denney, Kevin Hammond, Christian Kaestner (M-W), Oleg Kiselyov, Ralf Laemmel, Julia Lawall, Ryan Newton, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Satnam Singh, Walid Taha, 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 ]]

Jacques Carette TBA

Charles Consel TBA

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

Julia Lawall TBA

Walid Taha [[WG211/M16Taha | Hybrid ODEs as a Programming Language ]]

Eric Van Wyk [[WG211/M16VanWyk | Semantic preservation in extensible languages ]]

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

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

This is the schedule from last year - please modify as needed.
Monday August 22:
* 9:15 arrive, welcome
* 9:30-11:00 work (2 talks)
* 11:00-11:30 morning break with refreshments
* 11:30-13:00 work (2 talks)
* 13:00-14:00 buffet lunch
* 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 ...

Tuesday August 23:
* 9:30-11:00 work (2 talks)
* 11:00-11:30 morning break with refreshments
* 11:30-13:00 work (2 talks)
* 13:00-14:00 working lunch
* 14:00-15:30 work (2 talks)
* 15:30-16:00 afternoon break with refreshments
* 16:00-17:30 business meeting (members only)
* 19:15 dinner at ...

Wednesday August 24:
* 9:30-11:00 work (2 talks)
* 11:00-11:30 morning break with refreshments
* 11:30-12:15 work (1 talk)
* 12:15-13:15 non-working lunch
* 13:15-15:30 work (3 talks)
* 16:00-17:00 tour of
* 19:00 dinner at ...

Thursday August 25:
* 9:30-11:00 work (2 talks)
* 11:00-11:30 morning break with refreshments
* 11:30-13:00 work (2 talks)
* 13:00-14:00 buffet lunch

== Excursion==

WG211/M15Scholz

2015-10-29T19:01:35Z

Sven-Bodo: Created page with "This talk presents a new take on Distributed Shared Memory (DSM). It is based on the idea that compiler generated parallel codes can guarantee certain invariants which reduce th..."

This talk presents a new take on Distributed Shared Memory (DSM). It is based on the idea that compiler generated
parallel codes can guarantee certain invariants which reduce the overhead of DSM significantly.
Based on a prototypical implementation named SHRAY, we present some initial performance results. They suggest that a performance
similar to that of hand-optimised PGAS implementations can be achieved while offering a much more flexible programming
model.

WG211/M15Schedule

2015-10-29T18:45:30Z

Sven-Bodo: /* Talks */

=IFIP Working Group 2.11, Fifteenth Meeting=

==November 9-12, 2015, London, England==

The meeting will be held in London, England, hosted by Paul Kelly (Imperial College). The meeting will last 3.5 days, the first three days (Nov 9-11) will be full-day, whereas the last day (Nov 12) will be a half-day session ending with lunch (note: an email wrongly indicated the meeting as being Nov 9-11, as should be clear from this page, the duration is Nov 9-12 ending in a half day).

There will be an excursion, details to be announced.

=== Venue ===

The venue will be the Department of Computing at Imperial, and is in the heart of London’s “Museum Quarter”.

=== Travel ===

Train: London has good train connections to much of northern Europe (Paris < 2.5 hours, Amsterdam < 5 hours). London has five airports: Heathrow, Gatwick, Stansted, London City and Luton. All are roughly 1-1.5 hours from Imperial. Heathrow and London City are somewhat cheaper since they're on the tube network.

==== Accommodation ====

Imperial's conferences office offers support in finding accommodation options [http://www3.imperial.ac.uk/conferenceandevents/accommodation/hotelaccommodation], we suggest one of the following two options:

* The Queensgate Hotel ([http://www3.imperial.ac.uk/conferenceandevents/accommodation/hotelaccommodation/queensgate]) is particularly convenient (right across the street) and is recommended by previous visitors.
* London Town Hotel (15 Penywern Rd, Kensington and Chelsea, London, SW5 9TY, United Kingdom) which is not too far and cheaper than Queensgate, see booking.com [http://www.booking.com/hotel/gb/londontownhotel.en-gb.html?aid=355028;sid=61fbd28db9bc75b4d2d9b65ad73f58f7;dcid=1;checkin=2015-11-08;checkout=2015-11-12;ucfs=1;srfid=f90dbdb71821248dcada614bc34c5a22e3fd963dX122;highlight_room=2572] and tripadvisor [http://www.tripadvisor.co.uk/Hotel_Review-g186338-d195226-Reviews-London_Town_Hotel-London_England.html]

In general there are many other hotels to choose from. In particular, if you need a cheaper option, there are many cheap hotels; our experience with them is mixed. We do have had good experience with this agency, which offers rooms in private homes: [http://doctorhouse.co.uk]
You should expect a significant commute of course.

==== Excursions ====

There will be an excursion one afternoon during the meeting time.

=== Venue ===

(To do: link to the venue and a link to a map.)

== Registration ==

Please use this link to register online:
https://www.eventbrite.co.uk/e/wg211-fifteenth-meeting-london-2015-tickets-18843174442
Registration costs £225 per person. This includes lunches on Nov 9,10,11,12 and dinners Nov 9,10,11.

== 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, Alastair Donaldson, Jeremy Gibbons (not present Nov 12th), Robert Glück (leaving on Nov 12th), Alexander Grebhahn, Kevin Hammond, Atsushi Igarashi (leaving on Nov 11th), Paul Kelly, Naoki Kobayashi, Julia Lawall, Christian Lengauer, Peter Mosses, John O'Donnell, Klaus Ostermann (leaving on Nov 12th), Derek Rayside, Christoph Reichenbach (leaving on Nov 12th), Sven-Bodo Scholz (not present on Nov 12th), Ulrik Pagh Schultz, Chung-chieh Shan, Tony Sloane, Armando Solar-Lezama, Laurence Tratt (not present 13:00-18:00 on Nov 11), Eric Van Wyk, Herbert Wiklicky, Nobuko Yoshida

== Talks ==

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

Sandrine Blazy, [[WG211/M15Blazy | Formal verification of source program obfuscations]]

Edwin Brady [[WG211/M15Brady | TBD]]

Jacques Carette, [[WG211/M15Carette | Simplifying probabilistic programs using computer algebra ]]

Alastair Donaldson, [[WG211/M15Donaldson | Translation Validation for Data Race-Freedom of OpenCL Code Generated by a Parallelising Compiler]]

Jeremy Gibbons, [[WG211/M15Gibbons | Comprehending Monadic Queries]]

Robert Glück, Maximally-polyvariant partial evaluation

Alexander Grebhahn, [[ WG211/M15Grebhahn | Performance-Influence Models: Prediction, Optimization, Debugging ]]

Atsushi Igarashi, [[WG211/M15Igarashi | Type systems for a polymorphic imperative multi-stage language]]

Paul Kelly, [[WG211/M15Kelly | Synthesis versus Analysis: What Do We Actually Gain from Domain-Specificity?]]

Naoki Kobayashi, [[WG211/M15Kobayashi | Higher-order model checking and program verification]]

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

Christian Lengauer, [[WG211/M15Lengauer | The ExaStencils DSL ExaSlang]]

Peter Mosses, [[WG211/M15Mosses | Run your component-based semantics]]

John O'Donnell, [[WG211/M15ODonnel | Circuit generators in a functional hardware description language]]

Klaus Ostermann, [[WG211/M15Ostermann | Variability-Aware Programming ]]

Christoph Reichenbach, [[WG211/M15Reichenbach | Copy and Paste Redeemed ]]

Sven-Bodo Scholz, [[WG211/M15Scholz | SHRAY - a DSM tailored for generated code]]

Ulrik Pagh Schultz, [[WG211/M15Schultz | A domain-specific language for specifying reversible robot assembly tasks]]

Chung-chieh Shan, [[WG211/M15Shan | Symbolic Bayesian inference by lazy partial evaluation ]]

Tony Sloane, [[WG211/M15Sloane | Respect Your Parents: How Attribution and Rewriting Can Get Along]]

Armando Solar-Lezama, [[WG22/M15SolarLezama | Interactive derivation of provably correct divide-and-conquer dynamic programming implementations ]]

Laurence Tratt, [[WG211/M15Tratt | Fine-grained language composition]]

Eric Van Wyk [[WG211/M15VanWyk | Semantic Preservation in Language Extensions ]]

Herbert Wiklicky, [[WG211/M15Wiklicky | On Frameworks for Quantitative Program Synthesis]]

Nobuko Yoshida (to be confirmed)

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

Monday Nov 9th:
* 9:15 arrive, welcome
* 9:30-11:00 work (2 talks)
* 11:00-11:30 morning break with refreshments
* 11:30-13:00 work (2 talks)
* 13:00-14:00 buffet lunch
* 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 a local South Kensington restaurant

Tuesday Nov 10th:
* 9:30-11:00 work (2 talks)
* 11:00-11:30 morning break with refreshments
* 11:30-13:00 work (2 talks)
* 13:00-14:00 working lunch
* 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 Doggetts Coat and Badge on the South Bank (tube or cycle, 30mins)

Wednesday Nov 11th
* 9:30-11:00 work (2 talks)
* 11:00-11:30 morning break with refreshments
* 11:30-13:00 work (2 talks)
* 13:00-14:00 working lunch
* 14:00-15:30 work (2 talks)
* 15:30-16:30 tour of Victoria and Albert museum
* 19:00 dinner a local South Kensington restaurant

Thursday Nov 12th
* 9:30-11:00 work (2 talks)
* 11:00-11:30 morning break with refreshments
* 11:30-13:00 work (2 talks)
* 13:00-14:00 buffet lunch

== Excursion==

15:30 on Wednesday 11th November: an introductory tour of the [[http://www.vam.ac.uk | Victoria and Albert Museum]] (approximately one hour).
The museum is within 15 minutes walk from the workshop location.

WG211/M15Schedule

2015-10-29T18:43:32Z

Sven-Bodo: /* Talks */

=IFIP Working Group 2.11, Fifteenth Meeting=

==November 9-12, 2015, London, England==

The meeting will be held in London, England, hosted by Paul Kelly (Imperial College). The meeting will last 3.5 days, the first three days (Nov 9-11) will be full-day, whereas the last day (Nov 12) will be a half-day session ending with lunch (note: an email wrongly indicated the meeting as being Nov 9-11, as should be clear from this page, the duration is Nov 9-12 ending in a half day).

There will be an excursion, details to be announced.

=== Venue ===

The venue will be the Department of Computing at Imperial, and is in the heart of London’s “Museum Quarter”.

=== Travel ===

Train: London has good train connections to much of northern Europe (Paris < 2.5 hours, Amsterdam < 5 hours). London has five airports: Heathrow, Gatwick, Stansted, London City and Luton. All are roughly 1-1.5 hours from Imperial. Heathrow and London City are somewhat cheaper since they're on the tube network.

==== Accommodation ====

Imperial's conferences office offers support in finding accommodation options [http://www3.imperial.ac.uk/conferenceandevents/accommodation/hotelaccommodation], we suggest one of the following two options:

* The Queensgate Hotel ([http://www3.imperial.ac.uk/conferenceandevents/accommodation/hotelaccommodation/queensgate]) is particularly convenient (right across the street) and is recommended by previous visitors.
* London Town Hotel (15 Penywern Rd, Kensington and Chelsea, London, SW5 9TY, United Kingdom) which is not too far and cheaper than Queensgate, see booking.com [http://www.booking.com/hotel/gb/londontownhotel.en-gb.html?aid=355028;sid=61fbd28db9bc75b4d2d9b65ad73f58f7;dcid=1;checkin=2015-11-08;checkout=2015-11-12;ucfs=1;srfid=f90dbdb71821248dcada614bc34c5a22e3fd963dX122;highlight_room=2572] and tripadvisor [http://www.tripadvisor.co.uk/Hotel_Review-g186338-d195226-Reviews-London_Town_Hotel-London_England.html]

In general there are many other hotels to choose from. In particular, if you need a cheaper option, there are many cheap hotels; our experience with them is mixed. We do have had good experience with this agency, which offers rooms in private homes: [http://doctorhouse.co.uk]
You should expect a significant commute of course.

==== Excursions ====

There will be an excursion one afternoon during the meeting time.

=== Venue ===

(To do: link to the venue and a link to a map.)

== Registration ==

Please use this link to register online:
https://www.eventbrite.co.uk/e/wg211-fifteenth-meeting-london-2015-tickets-18843174442
Registration costs £225 per person. This includes lunches on Nov 9,10,11,12 and dinners Nov 9,10,11.

== 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, Alastair Donaldson, Jeremy Gibbons (not present Nov 12th), Robert Glück (leaving on Nov 12th), Alexander Grebhahn, Kevin Hammond, Atsushi Igarashi (leaving on Nov 11th), Paul Kelly, Naoki Kobayashi, Julia Lawall, Christian Lengauer, Peter Mosses, John O'Donnell, Klaus Ostermann (leaving on Nov 12th), Derek Rayside, Christoph Reichenbach (leaving on Nov 12th), Sven-Bodo Scholz (not present on Nov 12th), Ulrik Pagh Schultz, Chung-chieh Shan, Tony Sloane, Armando Solar-Lezama, Laurence Tratt (not present 13:00-18:00 on Nov 11), Eric Van Wyk, Herbert Wiklicky, Nobuko Yoshida

== Talks ==

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

Sandrine Blazy, [[WG211/M15Blazy | Formal verification of source program obfuscations]]

Edwin Brady [[WG211/M15Brady | TBD]]

Jacques Carette, [[WG211/M15Carette | Simplifying probabilistic programs using computer algebra ]]

Alastair Donaldson, [[WG211/M15Donaldson | Translation Validation for Data Race-Freedom of OpenCL Code Generated by a Parallelising Compiler]]

Jeremy Gibbons, [[WG211/M15Gibbons | Comprehending Monadic Queries]]

Robert Glück, Maximally-polyvariant partial evaluation

Alexander Grebhahn, [[ WG211/M15Grebhahn | Performance-Influence Models: Prediction, Optimization, Debugging ]]

Atsushi Igarashi, [[WG211/M15Igarashi | Type systems for a polymorphic imperative multi-stage language]]

Paul Kelly, [[WG211/M15Kelly | Synthesis versus Analysis: What Do We Actually Gain from Domain-Specificity?]]

Naoki Kobayashi, [[WG211/M15Kobayashi | Higher-order model checking and program verification]]

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

Christian Lengauer, [[WG211/M15Lengauer | The ExaStencils DSL ExaSlang]]

Peter Mosses, [[WG211/M15Mosses | Run your component-based semantics]]

John O'Donnell, [[WG211/M15ODonnel | Circuit generators in a functional hardware description language]]

Klaus Ostermann, [[WG211/M15Ostermann | Variability-Aware Programming ]]

Christoph Reichenbach, [[WG211/M15Reichenbach | Copy and Paste Redeemed ]]

Sven-Bodo Scholz, [[WG211/M15Scholz | SHRAY - a DSM tailored for functional langages]]

Ulrik Pagh Schultz, [[WG211/M15Schultz | A domain-specific language for specifying reversible robot assembly tasks]]

Chung-chieh Shan, [[WG211/M15Shan | Symbolic Bayesian inference by lazy partial evaluation ]]

Tony Sloane, [[WG211/M15Sloane | Respect Your Parents: How Attribution and Rewriting Can Get Along]]

Armando Solar-Lezama, [[WG22/M15SolarLezama | Interactive derivation of provably correct divide-and-conquer dynamic programming implementations ]]

Laurence Tratt, [[WG211/M15Tratt | Fine-grained language composition]]

Eric Van Wyk [[WG211/M15VanWyk | Semantic Preservation in Language Extensions ]]

Herbert Wiklicky, [[WG211/M15Wiklicky | On Frameworks for Quantitative Program Synthesis]]

Nobuko Yoshida (to be confirmed)

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

Monday Nov 9th:
* 9:15 arrive, welcome
* 9:30-11:00 work (2 talks)
* 11:00-11:30 morning break with refreshments
* 11:30-13:00 work (2 talks)
* 13:00-14:00 buffet lunch
* 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 a local South Kensington restaurant

Tuesday Nov 10th:
* 9:30-11:00 work (2 talks)
* 11:00-11:30 morning break with refreshments
* 11:30-13:00 work (2 talks)
* 13:00-14:00 working lunch
* 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 Doggetts Coat and Badge on the South Bank (tube or cycle, 30mins)

Wednesday Nov 11th
* 9:30-11:00 work (2 talks)
* 11:00-11:30 morning break with refreshments
* 11:30-13:00 work (2 talks)
* 13:00-14:00 working lunch
* 14:00-15:30 work (2 talks)
* 15:30-16:30 tour of Victoria and Albert museum
* 19:00 dinner a local South Kensington restaurant

Thursday Nov 12th
* 9:30-11:00 work (2 talks)
* 11:00-11:30 morning break with refreshments
* 11:30-13:00 work (2 talks)
* 13:00-14:00 buffet lunch

== Excursion==

15:30 on Wednesday 11th November: an introductory tour of the [[http://www.vam.ac.uk | Victoria and Albert Museum]] (approximately one hour).
The museum is within 15 minutes walk from the workshop location.

WG211/M15Schedule

2015-10-29T18:35:25Z

Sven-Bodo: /* Attendance */

=IFIP Working Group 2.11, Fifteenth Meeting=

==November 9-12, 2015, London, England==

The meeting will be held in London, England, hosted by Paul Kelly (Imperial College). The meeting will last 3.5 days, the first three days (Nov 9-11) will be full-day, whereas the last day (Nov 12) will be a half-day session ending with lunch (note: an email wrongly indicated the meeting as being Nov 9-11, as should be clear from this page, the duration is Nov 9-12 ending in a half day).

There will be an excursion, details to be announced.

=== Venue ===

The venue will be the Department of Computing at Imperial, and is in the heart of London’s “Museum Quarter”.

=== Travel ===

Train: London has good train connections to much of northern Europe (Paris < 2.5 hours, Amsterdam < 5 hours). London has five airports: Heathrow, Gatwick, Stansted, London City and Luton. All are roughly 1-1.5 hours from Imperial. Heathrow and London City are somewhat cheaper since they're on the tube network.

==== Accommodation ====

Imperial's conferences office offers support in finding accommodation options [http://www3.imperial.ac.uk/conferenceandevents/accommodation/hotelaccommodation], we suggest one of the following two options:

* The Queensgate Hotel ([http://www3.imperial.ac.uk/conferenceandevents/accommodation/hotelaccommodation/queensgate]) is particularly convenient (right across the street) and is recommended by previous visitors.
* London Town Hotel (15 Penywern Rd, Kensington and Chelsea, London, SW5 9TY, United Kingdom) which is not too far and cheaper than Queensgate, see booking.com [http://www.booking.com/hotel/gb/londontownhotel.en-gb.html?aid=355028;sid=61fbd28db9bc75b4d2d9b65ad73f58f7;dcid=1;checkin=2015-11-08;checkout=2015-11-12;ucfs=1;srfid=f90dbdb71821248dcada614bc34c5a22e3fd963dX122;highlight_room=2572] and tripadvisor [http://www.tripadvisor.co.uk/Hotel_Review-g186338-d195226-Reviews-London_Town_Hotel-London_England.html]

In general there are many other hotels to choose from. In particular, if you need a cheaper option, there are many cheap hotels; our experience with them is mixed. We do have had good experience with this agency, which offers rooms in private homes: [http://doctorhouse.co.uk]
You should expect a significant commute of course.

==== Excursions ====

There will be an excursion one afternoon during the meeting time.

=== Venue ===

(To do: link to the venue and a link to a map.)

== Registration ==

Please use this link to register online:
https://www.eventbrite.co.uk/e/wg211-fifteenth-meeting-london-2015-tickets-18843174442
Registration costs £225 per person. This includes lunches on Nov 9,10,11,12 and dinners Nov 9,10,11.

== 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, Alastair Donaldson, Jeremy Gibbons (not present Nov 12th), Robert Glück (leaving on Nov 12th), Alexander Grebhahn, Kevin Hammond, Atsushi Igarashi (leaving on Nov 11th), Paul Kelly, Naoki Kobayashi, Julia Lawall, Christian Lengauer, Peter Mosses, John O'Donnell, Klaus Ostermann (leaving on Nov 12th), Derek Rayside, Christoph Reichenbach (leaving on Nov 12th), Sven-Bodo Scholz (not present on Nov 12th), Ulrik Pagh Schultz, Chung-chieh Shan, Tony Sloane, Armando Solar-Lezama, Laurence Tratt (not present 13:00-18:00 on Nov 11), Eric Van Wyk, Herbert Wiklicky, Nobuko Yoshida

== Talks ==

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

Sandrine Blazy, [[WG211/M15Blazy | Formal verification of source program obfuscations]]

Edwin Brady [[WG211/M15Brady | TBD]]

Jacques Carette, [[WG211/M15Carette | Simplifying probabilistic programs using computer algebra ]]

Alastair Donaldson, [[WG211/M15Donaldson | Translation Validation for Data Race-Freedom of OpenCL Code Generated by a Parallelising Compiler]]

Jeremy Gibbons, [[WG211/M15Gibbons | Comprehending Monadic Queries]]

Robert Glück, Maximally-polyvariant partial evaluation

Alexander Grebhahn, [[ WG211/M15Grebhahn | Performance-Influence Models: Prediction, Optimization, Debugging ]]

Atsushi Igarashi, [[WG211/M15Igarashi | Type systems for a polymorphic imperative multi-stage language]]

Paul Kelly, [[WG211/M15Kelly | Synthesis versus Analysis: What Do We Actually Gain from Domain-Specificity?]]

Naoki Kobayashi, [[WG211/M15Kobayashi | Higher-order model checking and program verification]]

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

Christian Lengauer, [[WG211/M15Lengauer | The ExaStencils DSL ExaSlang]]

Peter Mosses, [[WG211/M15Mosses | Run your component-based semantics]]

John O'Donnell, [[WG211/M15ODonnel | Circuit generators in a functional hardware description language]]

Klaus Ostermann, [[WG211/M15Ostermann | Variability-Aware Programming ]]

Christoph Reichenbach, [[WG211/M15Reichenbach | Copy and Paste Redeemed ]]

Sven-Bodo Scholz, [[WG211/M15Scholz | TBD]]

Ulrik Pagh Schultz, [[WG211/M15Schultz | A domain-specific language for specifying reversible robot assembly tasks]]

Chung-chieh Shan, [[WG211/M15Shan | Symbolic Bayesian inference by lazy partial evaluation ]]

Tony Sloane, [[WG211/M15Sloane | Respect Your Parents: How Attribution and Rewriting Can Get Along]]

Armando Solar-Lezama, [[WG22/M15SolarLezama | Interactive derivation of provably correct divide-and-conquer dynamic programming implementations ]]

Laurence Tratt, [[WG211/M15Tratt | Fine-grained language composition]]

Eric Van Wyk [[WG211/M15VanWyk | Semantic Preservation in Language Extensions ]]

Herbert Wiklicky, [[WG211/M15Wiklicky | On Frameworks for Quantitative Program Synthesis]]

Nobuko Yoshida (to be confirmed)

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

Monday Nov 9th:
* 9:15 arrive, welcome
* 9:30-11:00 work (2 talks)
* 11:00-11:30 morning break with refreshments
* 11:30-13:00 work (2 talks)
* 13:00-14:00 buffet lunch
* 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 a local South Kensington restaurant

Tuesday Nov 10th:
* 9:30-11:00 work (2 talks)
* 11:00-11:30 morning break with refreshments
* 11:30-13:00 work (2 talks)
* 13:00-14:00 working lunch
* 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 Doggetts Coat and Badge on the South Bank (tube or cycle, 30mins)

Wednesday Nov 11th
* 9:30-11:00 work (2 talks)
* 11:00-11:30 morning break with refreshments
* 11:30-13:00 work (2 talks)
* 13:00-14:00 working lunch
* 14:00-15:30 work (2 talks)
* 15:30-16:30 tour of Victoria and Albert museum
* 19:00 dinner a local South Kensington restaurant

Thursday Nov 12th
* 9:30-11:00 work (2 talks)
* 11:00-11:30 morning break with refreshments
* 11:30-13:00 work (2 talks)
* 13:00-14:00 buffet lunch

== Excursion==

15:30 on Wednesday 11th November: an introductory tour of the [[http://www.vam.ac.uk | Victoria and Albert Museum]] (approximately one hour).
The museum is within 15 minutes walk from the workshop location.

WG211/M15Schedule

2015-10-08T13:17:20Z

Sven-Bodo: /* Attendance */

WG211/M15Schedule

2015-10-08T13:16:16Z

Sven-Bodo: /* Talks and Schedule */

WG211/M14Scholz

2015-01-09T10:59:49Z

Sven-Bodo: Created page with "Parallel Branch and Bound, functionally! Branch and bound algorithms play an important role in many combinatorial search and optimisation problems. Parallel implementations of t..."

Parallel Branch and Bound, functionally!

Branch and bound algorithms play an important role in many combinatorial search
and optimisation problems. Parallel implementations of these algorithms typically
involve rather sophisticated orchestrations of concurrency constructs.
In this talk we propose a purely functional implementation for branch and bound
algorithms that is based on a single map-like construct with a controlled form of
non-deterministic state modifications. Besides presenting the central language
construct and the way it can be utilised for implementing branch and bound
algorithms, we also present some initial performance measurements of a prototypical
implementation in the context of SaC.

WG211/M14Schedule

2014-12-16T17:09:36Z

Sven-Bodo: added myself to talks and excursion

=IFIP Working Group 2.11, Fourteenth Meeting=

==January 20-22, 2015, Stellenbosch, South Africa (excursion January 19)==

The meeting will be held in Stellenbosch, South Africa, hosted by Bernd Fischer. There will be a full-day excursion to the Cape Peninsula on January 19. More details, program, and registration information will be appearing on this page before the end of September.

=== Travel ===

Note that the meeting will be in the southern Summer, and Stellenbosch (and all of South Africa) will be busy, so arrange your flights and accommodation early.

==== Visa Information ====

Visitors from [http://en.wikipedia.org/wiki/Visa_policy_of_South_Africa link title 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 [http://www.home-affairs.gov.za/index.php/immigration-services/exempt-countries Department of Home Affairs]. The Department also has the details for a visa application. Please contact [mailto:bfischer@cs.sun.ac.za Bernd Fischer] if you need an invitation letter to obtain your visa.

'''UPDATE:''' The visa regulations are currently changing (or supposed to change - there's politics at work...). If you need a visa, or if you are planning to combine the meeting with a family vacation, please talk to the embassy!

==== Getting to Stellenbosch ====

The closest airport to Stellenbosch is [http://www.acsa.co.za/home.asp?pid=229 Cape Town International (CPT)]. Most international flights connect in Johannesburg, but there are direct flghts from London (Virgin, BA), Amsterdam (KLM), Paris (Air France), Munich (Lufthansa), Zuerich (Edelweiss), Istanbul (Turkish Airlines), Doha (Qatar Airways), Dubai (Emirates), and Singapore (Singapore Airlines). Note that some of these flights are seasonal and operate only during the Summer, so they might not show up yet.

CPT is about 35km from Stellenbosch; the best transfer option is to book an airport shuttle:
* [http://www.bettinashuttle.co.za/home Bettina's]
* [http://www.travelwithandre.co.za/ Travel with Andre]
* [http://www.shuttleup.co.za/ Shuttle Up]
* [http://www.capetownairportshuttles.co.za/ Cape Town Airport Shuttles]
Note that some companies provide a direct taxi service which is more convenient but more expensive (prices for this should be around US$40-45). Please contact the companies directly. If you book with Bettina's, please refer to the "IFIP meeting", and you will get the University rate.

Stellenbosch is small and easily navigatable 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 stay on a wine farm, or to go on a road-trip before or after the conference.

==== Accommodation ====

Stellenbosch offers a wide variety of different accommodation options. Prices range from about US$15 for a hostel to US$200+ for a top-end hotel; most B&Bs will be in the range from US$70 to US$150. Please make your own arrangements. Below is a list of downtown accommodations that have been used before by other meetings. The [http://www.stellenbosch.travel/stay Stellenbosch tourist office] has more alternatives, including wine farms.

Here is a number of guest houses that are between Stias and the central town area, covering different price ranges:
* [http://www.stellenguest.co.za ''ROOSENWIJN''], 14 Van Riebeeck Str. Tel: +27 21 883 3338, [mailto:bookingsenquiries@roosenwijn.co.za bookingsenquiries@roosenwijn.co.za].
* [http://www.caledonvilla.co.za ''CALEDON VILLA''], 7 Neethling Str. Tel: +27 21 883 8912.
* [http://www.wheretostay.co.za/justjoey/ ''JUST JOEY GUEST HOUSE''], Cnr Noordwal-Wes/Helderberg Streets. Tel: +27 21 887 1799 [mailto:justjoey@mweb.co.za justjoey@mweb.co.za].
* [http://www.villa-grande.com ''VILLA GRANDE''], 1 Keerom Str. +27 21 887 8454, [mailto:info@villa-grande.com info@villa-grande.com].

There are plenty of other guest houses / B&B's in town. Previous meeting attendees have also stayed at:
* [http://www.avenuesguestlodge.com ''AVENUES GUEST LODGE''], 32 The Avenues. Tel: +27 21 887 1843 [mailto:theacampuss@mweb.co.za theacampuss@mweb.co.za].
* [http://www.bonneesperance.com ''BONNE ESPERANCE''], 17 Van Riebeeck Str. Tel: +27 21 887 0225 [mailto:stay@bonneesperance.com stay@bonneesperance.com].
* [http://www.coopmanhuijs.co.za ''COOPMANHUIJS HOTEL''], 33 Church Street. Tel: +27 21 883 8207 [mailto:info@coopmanhuijs.co.za info@coopmanhuijs.co.za].
* [http://www.evergreenmanor.co.za ''EVERGREEN MANOR''], Cnr Murray& Bosman Str. Tel: +27 886 6832 [mailto:stay@evergreenmanor.co.za stay@evergreenmanor.co.za].
* [http://www.fynbosguesthouse.co.za ''FYNBOS VILLA GUEST HOUSE''], 14 Neethling Str. Tel: +27 21 883 8670 [mailto:info@fynbosguesthouse.co.za info@fynbosguesthouse.co.za].
* [http://www.jonkershuis.co.za/ ''JONKERSHUIS GUESTHOUSE''], 50 Jonkershoek Road. Tel: +27 21 8866000 [mailto:info@jonkershuis.co.za info@jonkershuis.co.za].
* [http://www.kerensvine.co.za/ ''KEREN'S VINE''], 4 Rozendal Rd. Tel:+27 21 886 6221 [mailto:info@kerensvine.co.za info@kerensvine.co.za].
* [http://www.labrimanor.co.za/ ''LABRI MANOR''], 71 Victoria Str. Tel: +27 21 886 5652 [mailto:malansgh@gmail.com malansgh@gmail.com].
* [http://www.rivermanor.co.za ''RIVER MANOR''], 6 The Avenues. Tel: +27 21 887-9944 [mailto:info@rivermanor.co.za info@rivermanor.co.za].
* [http://www.ryneveldlodge.co.za ''RYNEVELD LODGE''] 67 Ryneveld Str. Tel: +27 21 887 4469 [mailto:ryneveld@iafrica.com ryneveld@iafrica.com].
* [http://www.sa-campuss.com/visit/victoriahouse/ ''VICTORIA HOUSE (Self Catering)''], 21 Van Riebeeck Str. Tel: +27 82 576-3807.

==== About South Africa and Stellenbosch ====

South Africa, officially the Republic of South Africa, is a country located at the southern tip of Africa. It is divided into nine provinces and has 2,798 kilometres (1,739 mi) of coastline. To the north lie the neighbouring countries of Namibia, Botswana and Zimbabwe; to the east are Mozambique and Swaziland; while Lesotho is an enclave surrounded by South African territory. South Africa is the 25th largest country in the world by area and the 24th most populous country with over 51 million people. [more at [http://en.wikipedia.org/wiki/South_Africa Wikipedia]]

Stellenbosch is a town in the Western Cape province of South Africa, situated about 50 kilometres (31 mi) east of Cape Town, along the banks of the Eerste River. It is the second oldest European settlement in the province, after Cape Town. The town became known as the City of Oaks or Eikestad in Afrikaans and Dutch due to the large number of oak trees that were planted by its founder, Simon van der Stel, to grace the streets and homesteads. [more at [http://en.wikipedia.org/wiki/Stellenbosch Wikipedia/]]

The [http://www.numbeo.com/cost-of-living/city_result.jsp?country=South+Africa&city=Cape+Town cost of living] in South Africa is much lower than in Europe or the US. This is particularly true for tourist activities.

==== Excursions ====

We will do a joint excursion to the Cape Peninsula on Monday January 19th, those who register for the excursion will pay a single but higher fee for attending the meeting.

Some links for the Stellenbosch Winelands
* [http://www.wineroute.co.za/welcome.aspx Stellenbosch Wine Route]
* [http://www.cs.sun.ac.za/lpar-19/logistics/information/capefusiontours.com/pams-favourite-wine-farms Cape Wine Estates]
* [http://www.tripadvisor.com/Attractions-g312673-Activities-Stellenbosch_Western_Cape.html Stellenbosch Activities on Trip Advisor]

Ideas for a few extra days:
* 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.

Exept for the Cape Town weekend, most trips will require a rental car. You can get a driver for the 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.

=== Venue ===

The meeting will be held at the Wallenberg Center of the [http://stias.ac.za/ Stellenbosch Institute for Advanced Study ] ([https://maps.google.com/maps?ll=-33.934957,18.873299&spn=0.005172,0.010568&t=m&z=17&layer=c&cbll=-33.935071,18.873269&panoid=JeUfsD7gZihdv1L5a3gYqw&cbp=12,91.15,,0,0.27&source=embed&output=svembed Streetview] [http://stias.ac.za/wp-content/uploads/2012/07/map.jpg Schematic map]). This is to the east of the [http://en.wikipedia.org/wiki/Stellenbosch_University Stellenbosch University] Campus ([http://www.cs.sun.ac.za/lpar-19/logistics/map.pdf Campus map]). Most B&B's, hotels, and restaurants are within 10-15mins walk.

== Registration ==

Registration fees will be USD 250 / EUR 200 / GBP 160 / ZAR 2800. Registration is simply by adding your name to the attendance list below. There will be two payment options:

* Cash (ZAR) on the first day of the meeting. Note that there are plenty of ATMs in Stellenbosch.
* Bank transfer (USD / EUR / GBP). If you prefer bank transfer, mail me and I will mail you account information in the US, UK, or Germany.

The cost for the excursion will depend on the number of participants; I aim to keep it in a range of USD 70-100, including National Park entrance fees and food. Please register for the excursion by adding your name below.

On arrival, you will receive a single receipt on University letterhead. This will be issued for the currency you used for your payment. The registration fee covers all meals. (Note that STIAS doesn't serve breakfast before the meeting starts, but that should be covered by your B&B).

== Attendance ==

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

Anya Bagge, Sandrine Blazy, Bernd Fischer, Ralf Lämmel, Julia Lawall, Klaus Ostermann, Peter Pepper, Markus Püschel, Christoph Reichenbach, Tiark Rompf, Ina Schaefer, Ulrik Pagh Schultz, Sven-Bodo Scholz, Tony Sloane, Yannis Smaragdakis, Eelco Visser, Bruce Watson, Eric Van Wyk

== Talks and Schedule ==

Members: Please add yourself here following the same format (and in alphabetical order by last name) or email a chair-person to be added to the list.

* [[WG211/M14Fischer | Code generation for distributed applications]] Bernd Fischer
* [[WG211/M14Laemmel | Variability Management Based on Annotations]] Ralf Lämmel
* [[WG211/M14Schaefer | Variability-Aware Design Patterns]] Ina Schaefer
* [[WG211/M14Scholz | Parallel Branch and Bound, functionally! ]] Sven-Bodo Scholz
* [[WG211/M14Schultz | A domain-specific language for specifying reversible robot assembly tasks]] Ulrik Pagh Schultz
* [[WG211/M14Visser | A theory of name resolution]] Eelco Visser

There will be a floating schedule where talks are scheduled dynamically as the meeting proceeds.
Overall schedule including lunch arrangements:

Tuesday (6 talks)
* 09:00-09:15: Welcome
* 09:15-10:00: 1 talk
* 10:30-12:00: 2 talks
* 12:00-14:00: Lunch
* 14:00-15:30: 2 talks
* 16:00-16:45: 1 talk

Wednesday (6 talks)
* 09:15-10:00: 1 talk
* 10:30-12:00: 2 talks
* 12:00-14:00: Lunch
* 14:00-15:30: 2 talks
* 16:00-16:45: 1 talk
* 16:45-17:00: short break
* 17:00-18:00 business meeting

Thursday (6 talks)
* 09:15-10:00: 1 talk
* 10:30-12:00: 2 talks
* 12:00-14:00: Lunch
* 14:00-15:30: 2 talks
* 16:00-16:45: 1 talk

== Excursion==

If you want to participate on the pre-meeting excursion (January 19, Boulders Beach and walk at Cape of Good Hope, USD 70-100), please add yourself here (in alphabetical order by last name) or email a chair-person to be added.

Sandrine Blazy, Bernd Fischer, Ralf Lämmel, Klaus Ostermann, Markus Püschel, Ulrik Schultz, Sven-Bodo Scholz, Tony Sloane, Eelco Visser, Eric Van Wyk

WG211/M13Scholz

2014-03-11T16:06:28Z

Sven-Bodo: Created page with "Tinkering is Dead --- Long Live Tinkering Code bases that evolve over the years often suffer from a tinkering effect: The increasing complexity of code leads to modifications th..."

Tinkering is Dead --- Long Live Tinkering

Code bases that evolve over the years often suffer from a tinkering
effect: The increasing complexity of code leads to modifications that
are made without complete awareness of the context of the modified
bits. Switching between versions is tedious and typically requires
going the full cycle from checking out an older version of the system,
compiling it and then deploying the binary.

In this talk we suggest a more dynamic approach towards tinkering: we
allow the programmer to keep several versions of parts of his code and
provide him with a tool to dynamically choose which one he wants to
explore. We show how this can be beneficial when targeting a range of
different hardware platforms.

WG211/M13Schedule

2014-03-11T16:05:18Z

Sven-Bodo:

[[Category:WG211]]

=IFIP Working Group 2.11, Thirteenth Meeting=

==March 17-20, 2014, Pittsburgh, USA==

The meeting will be held at Carnegie Mellon University (CMU) in USA, March 17-20, hosted by Christian Kästner. The meeting starts March 17 in the morning, and ends with lunch on March 20.

We will meet on the CMU campus in the Gates-Hillman Center. Attached is a campus map for your reference http://www.cmu.edu/homeimages/campus-map/CMU_MapColor_11x17.pdf#11

=== Travel ===

The Pittsburgh International Airport is quite well connected in the US. The only direct flight to Europe is to Paris a few days a week.

The airport is somewhat outside of the town. You can either take a taxi (30-40 min, about 50-60 USD incl. tip) or the 28X bus (60-80 min, every 30 min until Midnight, 3.75 USD cash only, no change given).
The bus takes a pretty direct route and stops directly in front of the hotels (the Hilton is at the bus stop "Forbes Av at McKee Place"). Its final stop is right in front of the CMU campus. Here is a [http://www.portauthority.org/maps/28x.pdf map] and [http://www.portauthority.org/PAAC/Apps/pdfs/28X.PDF schedule].

The hotels are within walking distance from campus (15 to 30 minutes), but there are many buses running along Forbes Avenue and 5th Avenue as well, especially all 61 buses which should go every 10 minutes or so. When going toward campus, you pay when exiting the bus, when going toward downtown you pay when entering. It's a bit confusing but the bus driver will tell you. Again, cash only, no change. All hotels have shuttles that you can arrange to drive you anywhere within a 3 mile radius, including campus.

=== Accommodations ===

We recommend to stay at the Hilton Garden Inn, Pittsburgh University Place where we have reserved a block of rooms for attendees. Follow this link to make reservations: http://ow.ly/qho6O. You can also make reservations over the phone at +1 412-683-2040.

When booking your room, please make sure to use our special rate quote "'''CIS'''" at $119/night. The rooms will be held through February 16, 2014 so be sure to book before then.
For more information on the Hilton Garden Inn, see link http://pittsburghuniversityplace.hgi.com

If you prefer a different hotel, other hotels within walking distance include Hampton Inn ($119) and Wyndham ($144) and many more are a short bus trip away. If you choose to stay at another location, aside from the Hilton Garden Inn, please contact Jamie Lou Hagerty at jpresken@cs.cmu.edu to arrange reservations at the university rate.

===Registration===

Registration is now open

* You can register at http://isri.cmu.edu/events/ifip-wg211-13.html.

* The cost of registration is $375.00 and covers meeting rooms, excursion, lunch, dinner, and coffee breaks.

* Payment is to be made by credit card. Please contact Christian if you need to pay by some other means.

* When registering, remember to either add yourself to the list of attendees or send an email to Eric Van Wyk [[mailto:evw@cs.umn.edu]]. If you are giving a talk, please either edit the wiki and add your topic to the list below (members only) or email Eric.

'''Deadline to register is February 16, 2014'''

===Attendees===

Sandrine Blazy, Jacques Carette, Charles Consel, William Cook, Franz Franchetti, Kevin Hammond, Atsushi Igarashi, Christian Kaestner, Samuel Kamin, Ralf Lämmel, Julia Lawall, Christian Lengauer, Mohammadreza Mousavi, Klaus Ostermann, Markus Püschel, Ryan Newton, Derek Rayside, Christoph Reichenbach, Tiark Rompf, Sven-Bodo Scholz, Chung-chieh Shan, Doug Smith, Armando Solar-Lezama, Ulrik Pagh Schultz, Walid Taha, Eric Van Wyk.

===Talks===

If you are giving a talk, edit the wiki (members only), or email Christian the title and the abstract:

Talks:

* [[WG211/M13Aldrich | The Wyvern Language, a DSL for Web Programming]] Jonathan Aldrich
* [[WG211/M13Blazy | Compiling avionics software with a formally verified compiler]] Sabrine Blazy
* [[WG211/M13Carette | What have I been up to?]] Jacques Carette (short)
* [[WG211/M13Consel | Design-Driven Development of Programs Orchestrating Masses of Sensors ]] Charles Consel
* [[WG211/M13Franchetti | High Assurance Spiral: Co-Synthesizing Proof and Implementation From High-Level Specification]] Franz Franchetti
* [[WG211/M13LeGoues | Patch Generation with Genetic Programming]] Claire Le Goues
* [[WG211/M13Hammond | Using Dependent Types for Parallel Programming]] Kevin Hammond
* [[WG211/M13Igarashi | An E-learning System for the Formal Semantics of Computer Programs and Its Implementation by Program Generation]] Atsushi Igarashi
* [[WG211/M13Kaestner | An Update on Variability-Aware Execution]] Christian Kaestner
* [[WG211/M13Lawall | Understanding the Genetic Makeup of Linux Device Drivers]] Julia Lawall (short talk)
* [[WG211/M13Laemmel | Experiences with Software Language Engineering Classes]] Ralf Lämmel
* [[WG211/M13Lengauer | News from Project ExaStencils]] Christian Lengauer
* [[WG211/M13Mousavi | Semantics, Validation and Verification of DSLs: An Experience Report]] Mohammadreza Mousavi
* [[WG211/M13Ostermann | From Object Algebras to Attribute Grammars]] Klaus Ostermann
* [[WG211/M13Puschel | Spiral for Basic Linear Algebra ]] Markus Püschel (Monday or Tuesday)
* [[WG211/M13Rayside | Synthesis of Microfluidics Chips using SMT Solvers]] Derek Rayside (not Thursday, short talk)
* [[WG211/M13Reichenbach | PQL: A Purely-Declarative Java Extension for Parallel Programming]] Christoph Reichenbach
* [[WG211/M13Romph | Staging for Database Systems: From Query Interpreters to Query Compilers ]] Tiark Romph
* [[WG211/M13Scholz | Tinkering is Dead --- Long Live Tinkering]] Sven-Bodo Scholz
* [[WG211/M13Schultz | Object-oriented multi-stage programming]] Ulrik Schultz (short talk)
* [[WG211/M13Shan | From lazy evaluation to Gibbs sampling]] Chung-chieh Shan
* [[WG211/M13Solar | Generative Programming Meets Constraint Based Synthesis]] Armando Solar-Lezama
* [[WG211/M13Taha | Binding Time Analysis in Acumen]] Walid Taha
* [[WG211/M13VanWyk | TBD]] Eric Van Wyk

===Overall schedule===

The meeting is in GHC 4405. That's building 9B (Hillman Center) on the campus map above. The room is near the entrance from Forbes Ave.

There will be a floating schedule where talks are scheduled dynamically as the meeting proceeds.
Overall schedule including lunch and dinner arrangements (first draft):

Monday (7 talks)
* 8.30-9.15: Welcome
* 9.15-10.00: Talks (1)
* 10.30-12.00: Talks (2)
** Lunch (Sandwiches from [http://www.eatuniquecafe.com/ Eat Unique])
* 13.30-15.00: Talks (2)
* 15.30-17.00: Talks (2)
** 18:15: meet in hotel lobby
** 18:20: take shuttle/taxis to dinner
** 18:30: Dinner at [http://www.upkitchen.com/ Up]

Tuesday (6 talks, business meeting)
* 8.30-10.00: Talks (2)
* 10.30-12.00: Talks (2)
** Lunch at [http://www.theporchatschenley.com/ The Porch]
* 13.30-15.00: Talks (2)
* 15-30-17.00: Business meeting
** 18:25: meet in hotel lobby
** 18:30: take shuttle/taxis to dinner
** 18:45: Dinner at [http://churchbrew.com/ Church Brew Works]

Wednesday (6 talks, excursion)
* 8.30-10.00: Talks (2), one of which is a local guest talk by Jonathan Aldrich
* 10.30-12.00: Talks (2)
* Lunch (Pasta Bar)
* 13.30-14.30: Short Talks (2)
* Afternoon excursion:
** 14:30: Shuttle to Warhol Museum
** 15:00 Tour the [http://www.warhol.org Warhol Museum]
** 17:00: Shuttle to Mt Washington, ride the Incline
** 18:00: Dinner at [http://www.thegrandviewsaloon.com/ Grand View Saloon]
** 21:00: Shuttle back to hotel

Thursday (4 talks)
* 8.30-10.00: Talks (2), one of which is a local guest talk by Claire Le Goues
* 10.30-12.00: Talks (2)
* Lunch at [http://alibabapittsburgh.com/ Ali Baba]

Optional extra excursion:
* Visit the [http://www.nationalityrooms.pitt.edu/ Nationality Rooms] and go up to the 36th floor ([http://www.tour.pitt.edu/webcams/cl_cam view]) in the Cathedral of Learning (near campus, entrance free, guided tours available)
* Visit the [http://www.cmoa.org/ Carnegie Museums of Art and Natural History] (next to campus, 18 USD)
* Visit the [http://phipps.conservatory.org/ Phipps Conservatory] (next to campus, 15 USD)

=== Sharing a taxi from the airport to the hotel ===
* Add your name and time of arrival here if you are interested in sharing a taxi to the hotel.

* Kevin Hammond, Arriving Sunday 1806 flight US0787 from Charlotte, NC (CLT)
* Eric Van Wyk - arriving Sunday night at 11:00pm
* Sven-Bodo Scholz - arriving Saturday 16:39 AA 3231 from JFK

=== Sharing a taxi from the hotel or university to the airport ===
* Add your name and time of departure here if you are interested in sharing a taxi back to the airport.

=== Sunday trip to Fallingwater ===

Fallingwater is a house designed by architect Frank Lloyd Wright in 1935. It's a place worth visiting and roughly a 75-minute drive away from Pittsburgh. There are guided tours through the house. See http://www.fallingwater.org/ and https://en.wikipedia.org/wiki/Fallingwater for details.

For those arriving already on Saturday, we could rent a car/bus and arrange a trip to Fallingwater on Sunday March 16. The tour costs $23 and shared costs for the trip are probably $10-$25 per person. In a previous poll we had a number of people interested. If your interested, leave your name below and Christian will contact you for a more detailed organization two weeks before the meeting.

Sabrine Blazy, Ulrik Schultz, Sven-Bodo Scholz

WG211/M13Schedule

2014-02-27T12:55:14Z

Sven-Bodo:

[[Category:WG211]]

=IFIP Working Group 2.11, Thirteenth Meeting=

==March 17-20, 2014, Pittsburgh, USA==

The meeting will be held at Carnegie Mellon University (CMU) in USA, March 17-20, hosted by Christian Kästner. The meeting starts March 17 in the morning, and ends with lunch on March 20.

We will meet on the CMU campus in the Gates-Hillman Center. Attached is a campus map for your reference http://www.cmu.edu/homeimages/campus-map/CMU_MapColor_11x17.pdf#11

=== Travel ===

The Pittsburgh International Airport is quite well connected in the US. The only direct flight to Europe is to Paris a few days a week.

The airport is somewhat outside of the town. You can either take a taxi (30-40 min, about 50-60 USD incl. tip) or the 28X bus (60-80 min, every 30 min until Midnight, 3.75 USD cash only, no change given).
The bus takes a pretty direct route and stops directly in front of the hotels (the Hilton is at the bus stop "Forbes Av at McKee Place"). Its final stop is right in front of the CMU campus. Here is a [http://www.portauthority.org/maps/28x.pdf map] and [http://www.portauthority.org/PAAC/Apps/pdfs/28X.PDF schedule].

The hotels are within walking distance from campus (15 to 30 minutes), but there are many buses running along Forbes Avenue and 5th Avenue as well, especially all 61 buses which should go every 10 minutes or so. When going toward campus, you pay when exiting the bus, when going toward downtown you pay when entering. It's a bit confusing but the bus driver will tell you. Again, cash only, no change. All hotels have shuttles that you can arrange to drive you anywhere within a 3 mile radius, including campus.

=== Accommodations ===

We recommend to stay at the Hilton Garden Inn, Pittsburgh University Place where we have reserved a block of rooms for attendees. Follow this link to make reservations: http://ow.ly/qho6O. You can also make reservations over the phone at +1 412-683-2040.

When booking your room, please make sure to use our special rate quote "'''CIS'''" at $119/night. The rooms will be held through February 16, 2014 so be sure to book before then.
For more information on the Hilton Garden Inn, see link http://pittsburghuniversityplace.hgi.com

If you prefer a different hotel, other hotels within walking distance include Hampton Inn ($119) and Wyndham ($144) and many more are a short bus trip away. If you choose to stay at another location, aside from the Hilton Garden Inn, please contact Jamie Lou Hagerty at jpresken@cs.cmu.edu to arrange reservations at the university rate.

===Registration===

Registration is now open

* You can register at http://isri.cmu.edu/events/ifip-wg211-13.html.

* The cost of registration is $375.00 and covers meeting rooms, excursion, lunch, dinner, and coffee breaks.

* Payment is to be made by credit card. Please contact Christian if you need to pay by some other means.

* When registering, remember to either add yourself to the list of attendees or send an email to Eric Van Wyk [[mailto:evw@cs.umn.edu]]. If you are giving a talk, please either edit the wiki and add your topic to the list below (members only) or email Eric.

'''Deadline to register is February 16, 2014'''

===Attendees===

Sandrine Blazy, Jacques Carette, Charles Consel, William Cook, Franz Franchetti, Kevin Hammond, Atsushi Igarashi, Christian Kaestner, Samuel Kamin, Ralf Lämmel, Julia Lawall, Christian Lengauer, Mohammadreza Mousavi, Markus Püschel, Christoph Reichenbach, Tiark Rompf, Sven-Bodo Scholz, Chung-chieh Shan, Armando Solar-Lezama, Ulrik Pagh Schultz, Walid Taha, Eric Van Wyk, Eelco Visser.

===Talks===

If you are giving a talk, edit the wiki (members only), or email Christian the title and the abstract:

Talks:

* [[WG211/M13Blazy | Compiling avionics software with a formally verified compiler]] Sabrine Blazy
* [[WG211/M13Consel | Design-Driven Development of Programs Orchestrating Masses of Sensors ]] Charles Consel
* [[WG211/M13Franchetti | High Assurance Spiral: Co-Synthesizing Proof and Implementation From High-Level Specification]] Franz Franchetti
* [[WG211/M13Hammond | Using Dependent Types for Parallel Programming]] Kevin Hammond
* [[WG211/M13Lengauer | News from Project ExaStencils]] Christian Lengauer
* [[WG211/M13Mousavi | Semantics, Validation and Verification of DSLs: An Experience Report]] Mohammadreza Mousavi
* [[WG211/M13Schultz | Object-oriented multi-stage programming]] Ulrik Schultz (short talk)
* [[WG211/M13Visser | Type System Specification in Spoofax]] Eelco Visser
* [[WG211/M13Laemmel | Experiences with Software Language Engineering Classes]] Ralf Lämmel
* TBD, Markus Püschel
* [[WG211/M13VanWyk | TBD]] Eric Van Wyk
* TBD, Chung-chieh Shan
* [[WG211/M13Kaestner | An Update on Variability-Aware Execution]] Christian Kaestner
* [[WG211/M13Reichenbach | PQL: A Purely-Declarative Java Extension for Parallel Programming]] Christoph Reichenbach
* TBD, Jacques Carette (short)
* [[WG211/M13Scholz | TBD]] Sven-Bodo Scholz

===Overall schedule===

The meeting is in GHC 4405. That's building 9B (Hillman Center) on the campus map above. The room is near the entrance from Forbes Ave.

There will be a floating schedule where talks are scheduled dynamically as the meeting proceeds.
Overall schedule including lunch and dinner arrangements (first draft):

Monday (8 talks)
* 8.30-9.15: Welcome
* 9.15-10.00: Talks (1)
* 10.30-12.00: Talks (2)
** Lunch
* 13.30-15.00: Talks (2)
* 15.30-17.00: Talks (2)
** 18:25: meet in hotel lobby
** 18:30: take shuttle/taxis to dinner

Tuesday (6 talks, business meeting)
* 8.30-10.00: Talks (2)
* 10.30-12.00: Talks (2)
** Lunch
* 13.30-15.00: Talks (2)
* 15-30-17.00: Business meeting
** 18:25: meet in hotel lobby
** 18:30: take shuttle/taxis to dinner
** 18:45: Dinner at [http://churchbrew.com/ Church Brew Works]

Wednesday (6 talks, excursion)
* 8.30-10.00: Talks (2)
* 10.30-12.00: Talks (2)
* Lunch
* 13.30-14.30: Short Talks (2)
* Afternoon excursion:
** 14:30: Shuttle to Warhol Museum
** 15:00 Tour the [http://www.warhol.org Warhol Museum]
** 17:00: Shuttle to Mt Washington, ride the Incline
** 18:00: Dinner on Mt Washington
** 21:00: Shuttle back to hotel

Thursday (4 talks)
* 8.30-10.00: Talks (2)
* 10.30-12.00: Talks (2)
* Lunch

Optional extra excursion:
* Visit the [http://www.nationalityrooms.pitt.edu/ Nationality Rooms] and go up to the 36th floor ([http://www.tour.pitt.edu/webcams/cl_cam view]) in the Cathedral of Learning (near campus, entrance free, guided tours available)
* Visit the [http://www.cmoa.org/ Carnegie Museums of Art and Natural History] (next to campus, 18 USD)
* Visit the [http://phipps.conservatory.org/ Phipps Conservatory] (next to campus, 15 USD)

=== Sharing a taxi from the airport to the hotel ===
* Add your name and time of arrival here if you are interested in sharing a taxi to the hotel.

* Kevin Hammond, Arriving Sunday 1806 flight US0787 from Charlotte, NC (CLT)
* Eric Van Wyk - arriving Sunday night at 11:00pm
* Sven-Bodo Scholz - arriving Saturday 16:39 AA 3231 from JFK

=== Sharing a taxi from the hotel or university to the airport ===
* Add your name and time of departure here if you are interested in sharing a taxi back to the airport.

=== Sunday trip to Fallingwater ===

Fallingwater is a house designed by architect Frank Lloyd Wright in 1935. It's a place worth visiting and roughly a 75-minute drive away from Pittsburgh. There are guided tours through the house. See http://www.fallingwater.org/ and https://en.wikipedia.org/wiki/Fallingwater for details.

For those arriving already on Saturday, we could rent a car/bus and arrange a trip to Fallingwater on Sunday March 16. The tour costs $23 and shared costs for the trip are probably $10-$25 per person. In a previous poll we had a number of people interested. If your interested, leave your name below and Christian will contact you for a more detailed organization two weeks before the meeting.

Sabrine Blazy, Ulrik Schultz, Sven-Bodo Scholz

WG211/M13Schedule

2014-02-27T12:48:45Z

Sven-Bodo:

[[Category:WG211]]

=IFIP Working Group 2.11, Thirteenth Meeting=

==March 17-20, 2014, Pittsburgh, USA==

The meeting will be held at Carnegie Mellon University (CMU) in USA, March 17-20, hosted by Christian Kästner. The meeting starts March 17 in the morning, and ends with lunch on March 20.

We will meet on the CMU campus in the Gates-Hillman Center. Attached is a campus map for your reference http://www.cmu.edu/homeimages/campus-map/CMU_MapColor_11x17.pdf#11

=== Travel ===

The Pittsburgh International Airport is quite well connected in the US. The only direct flight to Europe is to Paris a few days a week.

The airport is somewhat outside of the town. You can either take a taxi (30-40 min, about 50-60 USD incl. tip) or the 28X bus (60-80 min, every 30 min until Midnight, 3.75 USD cash only, no change given).
The bus takes a pretty direct route and stops directly in front of the hotels (the Hilton is at the bus stop "Forbes Av at McKee Place"). Its final stop is right in front of the CMU campus. Here is a [http://www.portauthority.org/maps/28x.pdf map] and [http://www.portauthority.org/PAAC/Apps/pdfs/28X.PDF schedule].

The hotels are within walking distance from campus (15 to 30 minutes), but there are many buses running along Forbes Avenue and 5th Avenue as well, especially all 61 buses which should go every 10 minutes or so. When going toward campus, you pay when exiting the bus, when going toward downtown you pay when entering. It's a bit confusing but the bus driver will tell you. Again, cash only, no change. All hotels have shuttles that you can arrange to drive you anywhere within a 3 mile radius, including campus.

=== Accommodations ===

We recommend to stay at the Hilton Garden Inn, Pittsburgh University Place where we have reserved a block of rooms for attendees. Follow this link to make reservations: http://ow.ly/qho6O. You can also make reservations over the phone at +1 412-683-2040.

When booking your room, please make sure to use our special rate quote "'''CIS'''" at $119/night. The rooms will be held through February 16, 2014 so be sure to book before then.
For more information on the Hilton Garden Inn, see link http://pittsburghuniversityplace.hgi.com

If you prefer a different hotel, other hotels within walking distance include Hampton Inn ($119) and Wyndham ($144) and many more are a short bus trip away. If you choose to stay at another location, aside from the Hilton Garden Inn, please contact Jamie Lou Hagerty at jpresken@cs.cmu.edu to arrange reservations at the university rate.

===Registration===

Registration is now open

* You can register at http://isri.cmu.edu/events/ifip-wg211-13.html.

* The cost of registration is $375.00 and covers meeting rooms, excursion, lunch, dinner, and coffee breaks.

* Payment is to be made by credit card. Please contact Christian if you need to pay by some other means.

* When registering, remember to either add yourself to the list of attendees or send an email to Eric Van Wyk [[mailto:evw@cs.umn.edu]]. If you are giving a talk, please either edit the wiki and add your topic to the list below (members only) or email Eric.

'''Deadline to register is February 16, 2014'''

===Attendees===

Sandrine Blazy, Jacques Carette, Charles Consel, William Cook, Franz Franchetti, Kevin Hammond, Atsushi Igarashi, Christian Kaestner, Samuel Kamin, Ralf Lämmel, Julia Lawall, Christian Lengauer, Mohammadreza Mousavi, Markus Püschel, Christoph Reichenbach, Tiark Rompf, Sven-Bodo Scholz, Chung-chieh Shan, Armando Solar-Lezama, Ulrik Pagh Schultz, Walid Taha, Eric Van Wyk, Eelco Visser.

===Talks===

If you are giving a talk, edit the wiki (members only), or email Christian the title and the abstract:

Talks:

* [[WG211/M13Blazy | Compiling avionics software with a formally verified compiler]] Sabrine Blazy
* [[WG211/M13Consel | Design-Driven Development of Programs Orchestrating Masses of Sensors ]] Charles Consel
* [[WG211/M13Franchetti | High Assurance Spiral: Co-Synthesizing Proof and Implementation From High-Level Specification]] Franz Franchetti
* [[WG211/M13Hammond | Using Dependent Types for Parallel Programming]] Kevin Hammond
* [[WG211/M13Lengauer | News from Project ExaStencils]] Christian Lengauer
* [[WG211/M13Mousavi | Semantics, Validation and Verification of DSLs: An Experience Report]] Mohammadreza Mousavi
* [[WG211/M13Schultz | Object-oriented multi-stage programming]] Ulrik Schultz (short talk)
* [[WG211/M13Visser | Type System Specification in Spoofax]] Eelco Visser
* [[WG211/M13Laemmel | Experiences with Software Language Engineering Classes]] Ralf Lämmel
* TBD, Markus Püschel
* [[WG211/M13VanWyk | TBD]] Eric Van Wyk
* TBD, Chung-chieh Shan
* [[WG211/M13Kaestner | An Update on Variability-Aware Execution]] Christian Kaestner
* [[WG211/M13Reichenbach | PQL: A Purely-Declarative Java Extension for Parallel Programming]] Christoph Reichenbach
* TBD, Jacques Carette (short)
* [[WG211/M13Scholz | TBD]] Sven-Bodo Scholz

===Overall schedule===

The meeting is in GHC 4405. That's building 9B (Hillman Center) on the campus map above. The room is near the entrance from Forbes Ave.

There will be a floating schedule where talks are scheduled dynamically as the meeting proceeds.
Overall schedule including lunch and dinner arrangements (first draft):

Monday (8 talks)
* 8.30-9.15: Welcome
* 9.15-10.00: Talks (1)
* 10.30-12.00: Talks (2)
** Lunch
* 13.30-15.00: Talks (2)
* 15.30-17.00: Talks (2)
** 18:25: meet in hotel lobby
** 18:30: take shuttle/taxis to dinner

Tuesday (6 talks, business meeting)
* 8.30-10.00: Talks (2)
* 10.30-12.00: Talks (2)
** Lunch
* 13.30-15.00: Talks (2)
* 15-30-17.00: Business meeting
** 18:25: meet in hotel lobby
** 18:30: take shuttle/taxis to dinner
** 18:45: Dinner at [http://churchbrew.com/ Church Brew Works]

Wednesday (6 talks, excursion)
* 8.30-10.00: Talks (2)
* 10.30-12.00: Talks (2)
* Lunch
* 13.30-14.30: Short Talks (2)
* Afternoon excursion:
** 14:30: Shuttle to Warhol Museum
** 15:00 Tour the [http://www.warhol.org Warhol Museum]
** 17:00: Shuttle to Mt Washington, ride the Incline
** 18:00: Dinner on Mt Washington
** 21:00: Shuttle back to hotel

Thursday (4 talks)
* 8.30-10.00: Talks (2)
* 10.30-12.00: Talks (2)
* Lunch

Optional extra excursion:
* Visit the [http://www.nationalityrooms.pitt.edu/ Nationality Rooms] and go up to the 36th floor ([http://www.tour.pitt.edu/webcams/cl_cam view]) in the Cathedral of Learning (near campus, entrance free, guided tours available)
* Visit the [http://www.cmoa.org/ Carnegie Museums of Art and Natural History] (next to campus, 18 USD)
* Visit the [http://phipps.conservatory.org/ Phipps Conservatory] (next to campus, 15 USD)

=== Sharing a taxi from the airport to the hotel ===
* Add your name and time of arrival here if you are interested in sharing a taxi to the hotel.

* Kevin Hammond, Arriving Sunday 1806 flight US0787 from Charlotte, NC (CLT)
* Eric Van Wyk - arriving Sunday night at 11:00pm

=== Sharing a taxi from the hotel or university to the airport ===
* Add your name and time of departure here if you are interested in sharing a taxi back to the airport.

=== Sunday trip to Fallingwater ===

Fallingwater is a house designed by architect Frank Lloyd Wright in 1935. It's a place worth visiting and roughly a 75-minute drive away from Pittsburgh. There are guided tours through the house. See http://www.fallingwater.org/ and https://en.wikipedia.org/wiki/Fallingwater for details.

For those arriving already on Saturday, we could rent a car/bus and arrange a trip to Fallingwater on Sunday March 16. The tour costs $23 and shared costs for the trip are probably $10-$25 per person. In a previous poll we had a number of people interested. If your interested, leave your name below and Christian will contact you for a more detailed organization two weeks before the meeting.

Sabrine Blazy, Ulrik Schultz