http://mw.hh.se/wg211/api.php?action=feedcontributions&feedformat=atom&user=Klaus 2026-04-05T21:01:19Z User contributions MediaWiki 1.43.5 http://mw.hh.se/wg211/index.php?title=WG211/M25Schedule&diff=2818 2025-11-09T17:09:48Z

<p>Klaus: </p> <hr /> <div>= IFIP Working Group 2.11, Twenty-fifth Meeting =<br /> <br /> == December 2-5, 2025, Stellenbosch, South Africa ==<br /> <br /> 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.<br /> <br /> === Venue ===<br /> <br /> 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&amp;B's, hotels, and restaurants are within 10-15mins walk.<br /> <br /> Note that STIAS doesn't serve breakfast before the meeting starts, but that should be covered by your B&amp;B.<br /> <br /> === Group dinners ===<br /> <br /> Stellenbosch has many restaurants, but they get quite busy from mid-November. I have thus made dinner reservations for 19:00 each night:<br /> * Tuesday: [https://www.devier.co.za De Vier]<br /> * Wednesday: [https://bertusbasson.com/#spek-bone Spek en Bone]<br /> * Thursday: [https://devleispaleis.co.za De Vleispaleis]<br /> <br /> For people attending the excursion, I have made a reservation at 19:30:<br /> * Friday: [https://www.de-eetkamer.co.za De Eetkamer]<br /> <br /> All restaurants are within walking distance from the old town. All restaurants have vegetarian options available, despite their names ;-).<br /> <br /> === Group excursion ===<br /> <br /> 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! <br /> <br /> Note that Table Mountain has a notoriously fickle weather, and could be shrouded in clouds (the so called &quot;table cloth&quot;) 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.<br /> <br /> Departure will likely be around 8:30 or 9:00, return to Stellenbosch should be around 18:00 or 18:30, depending on traffic.<br /> <br /> Please sign up here if you plan to attend.<br /> * Jacques Carette (+1) <br /> * Bernd Fischer<br /> * Jeremy Yallop<br /> * Ohad Kammar<br /> * Eric Van Wyk<br /> * Klaus Ostermann<br /> <br /> === Registration fee ===<br /> <br /> 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. <br /> <br /> 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.<br /> <br /> 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.<br /> <br /> === Members attending ===<br /> <br /> Please add your name to the following list (alphabetical by last name, please) if you are planning to attend the meeting.<br /> <br /> * Jacques Carette<br /> * Sebastian Erdweg<br /> * Bernd Fischer<br /> * Ohad Kammar<br /> * Julia Lawall<br /> * Klaus Ostermann<br /> * Chung-chieh Shan<br /> * Ulrik Pagh Schultz Lundquist<br /> * Sven-Bodo Scholz ? (TBC)<br /> * Friedrich Steimann<br /> * Eric Van Wyk<br /> * Jeremy Yallop<br /> <br /> === Guests and Observers ===<br /> <br /> * Shraddha Barke<br /> * [https://www.tue.nl/en/research/researchers/loek-cleophas Loek Cleophas] (local observer)<br /> * Cezary Kaliszyk<br /> * Yuito Murase (as proxy of Atsushi Igarashi)<br /> * [https://www.moeketsi.me/ Moeketsi Raselimo] (local observer)<br /> * Michel Steuwer<br /> <br /> == Talks and Schedule ==<br /> <br /> The following people have confirmed they will giving a talk:<br /> <br /> * Jacques Carette [[WG211/M25Carette| Definite Folds]]<br /> * Sebastian Erdweg <br /> * Bernd Fischer (or maybe Moeketsi Raselimo) [[WG211/M25Fischer| Learning Lexical Structure of Black-Box Systems via Repeated String Edit Operations]]<br /> * Ohad Kammar [[WG211/M25Kammar| Intrinsically typed and well-scoped SMTLIB FFI bindings with modular abstract syntax trees (MAST)]]<br /> * Ulrik Pagh Schultz Lundquist [[WG211/M25Lundquist| The E-CoRe Project: Energy-efficient Computing via Reversibility]]<br /> * Chung-chieh Shan<br /> * Friedrich Steimann &quot;Relative Multiplication of Infinite Relations&quot;<br /> * Jeremy Yallop [[WG211/M25Yallop| Frex: Dependently Typed Algebraic Simplification]]<br /> * Eric Van Wyk TBD<br /> <br /> == Travel ==<br /> <br /> 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. <br /> <br /> ==== Visa Information ====<br /> <br /> 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...)<br /> <br /> ==== Vaccinations and Prophylaxis ====<br /> <br /> 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.<br /> <br /> 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.<br /> <br /> ==== Getting to Stellenbosch ====<br /> <br /> 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).<br /> <br /> 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.<br /> <br /> 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.<br /> <br /> CPT is about 35km from Stellenbosch; there is no public transport, but Uber is widely available, cheap (&lt; 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.<br /> <br /> If you prefer a pre-booked airport shuttle, try:<br /> * [https://bettinashuttle.co.za/ Bettina's] <br /> * [http://www.shuttleup.co.za/ Shuttle Up]<br /> <br /> Stellenbosch is small and easily navigable by foot, and the venue is in walking distance to most hotels and B&amp;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.<br /> <br /> ==== Accommodation ====<br /> <br /> Stellenbosch does not have big corporate hotels but offers a wide variety of different smaller accommodation options. Most centrally located B&amp;Bs (look for the &quot;Stellenbosch Central&quot; or &quot;Mostertsdrift&quot; 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. <br /> <br /> 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.<br /> <br /> '''Between Stias and the town center''':<br /> * [https://avenuesguesthouse.co.za/ Avenues Guesthouse], 32 Die Laan<br /> * [https://beauclair-guest-cottage.hotels-of-stellenbosch.com/en/ Beauclair Guest Cottage], 1 Coetzenburg Road<br /> * [https://www.bonneesperance.com/ Bonne Esperance], corner of Neethling and Van Riebeeck<br /> * [https://caledon-villa.hotels-of-stellenbosch.com/en/ Caledon Villa], 7 Neethling Street<br /> * [https://www.dehaasliving.co.za/die-laan-2/ De Haas Luxury Living - Die Laan], 2 Die Laan<br /> * [https://www.dehaasliving.co.za/die-laan-40/ De Haas Luxury Living - Die Laan 40], 40 Die Laan<br /> * [https://www.evergreenmanor.co.za/ Evergreen Manor], 11 Murray Street<br /> * [https://koloniestuin.co.za/ Kolonie's Tuin], 22 Die Laan<br /> * [https://www.laanhof.co.za/ Laanhof], 28 Die Laan (self-catering)<br /> * [https://www.lifeandleisure.co.za/ Life &amp; Leisure], 20 Van Riebeeck St<br /> * [https://www.middedorp.com/ Middedorp Manor], 14 Neethling Street<br /> * [https://www.minseriecollection.co.za/ Minserie Collection], Minserie Street (self-catering)<br /> * [https://thelivingjourneycollection.co.za/river-manor/ River Manor], 6-8 Die Laan<br /> * [https://www.roosenwijn.co.za/ Roosenwijn Guesthouse], 14 Van Riebeeck Street<br /> * [https://thelivingjourneycollection.co.za/river-manor/ De Haas Luxury Living - Villa Grande], 1 Keeroom Street<br /> <br /> '''Mostertsdrift''' (east of Stias):<br /> * [https://www.5-seasons.co.za/ 5 Seasons Guesthouse], 60 Van Der Stel Street<br /> * [https://lanzerac.co.za/ Lanzerac Wine Estate], Lanzerac Road (wine estate in walking distance from Stias)<br /> * [https://www.stellenboschmanor.com/ Stellenbosch Manor], 2 Van Der Stel Street<br /> * [https://summerwood.co.za/ Summerwood Guest House], 28 Jonkershoek Road<br /> * [https://vanderstelmanor.com/ Van Der Stel Manor], 64 Van Der Stel Street<br /> <br /> '''Town center''':<br /> * [https://www.batavia-stellenbosch.co.za/ Batavia Boutique Hotel], 12 Louw Street<br /> * [https://coopmanhuijs.co.za/ Coopmanhuijs Boutique Hotel &amp; Spa], 33 Church Stree<br /> * [https://www.eendracht-hotel.com/ Eendracht Hotel &amp; Self Catering], 160 Drop Street<br /> * [https://www.justjoey.co.za/ Just Joey Lodge], 13 Noordwal-Wes<br /> * [https://stellenboschhotel.co.za/ Stellenbosch Hotel], corner of Dorp &amp; Andringa<br /> <br /> ==== Security ====<br /> <br /> 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:<br /> * Do not flash your valuables (phone, wallet, camera) in public.<br /> * 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 &quot;help&quot; from people.<br /> * Do '''not''' walk or drive into any township (in Stellenbosch, that means Kayamandi and Cloetesville); if you are interested, you can book guided tours.<br /> * Do '''not''' take the train between Cape Town and Stellenbosch (or trains around Cape Town).<br /> <br /> ==== Weather ====<br /> <br /> 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.<br /> <br /> ==== Pre- / post-meeting excursions ====<br /> <br /> Here are a few ideas if you are planning to spend a few extra days in Stellenbosch or travel around the country:<br /> * 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.<br /> * 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. <br /> * 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...<br /> * Hike the Bosmanskloof Traverse (either as an overnight hike, or as a day-hike), staying in McGregor or Grayton.<br /> * 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 &quot;poorts&quot; (i.e., mountain notches), like [https://en.wikipedia.org/wiki/Seweweekspoort| Seweweekspoort].<br /> * Go shark cage diving in Struisbaai.<br /> <br /> 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...<br /> <br /> '''Safaris.'''<br /> 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.</div>

Klaus http://mw.hh.se/wg211/index.php?title=WG211/M25Schedule&diff=2776 2025-08-26T07:26:58Z

<p>Klaus: </p> <hr /> <div>= IFIP Working Group 2.11, Twenty-fifth Meeting =<br /> <br /> == December 2-5, 2025, Stellenbosch, South Africa ==<br /> <br /> 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.<br /> <br /> === Venue ===<br /> <br /> 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&amp;B's, hotels, and restaurants are within 10-15mins walk.<br /> <br /> Note that STIAS doesn't serve breakfast before the meeting starts, but that should be covered by your B&amp;B.<br /> <br /> === Group excursion ===<br /> <br /> Please let me know if you are interested in an organized post-meeting full-day group excursion. The &quot;classic&quot; 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).<br /> <br /> === Registration ===<br /> <br /> '''NOTE: this is still preliminary.'''<br /> 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.<br /> <br /> === Members attending ===<br /> <br /> Please add your name to the following list (alphabetical by last name, please) if you are planning to attend the meeting.<br /> <br /> * Jacques Carette<br /> * Sebastian Erdweg<br /> * Bernd Fischer<br /> * Julia Lawall<br /> * Ulrik Pagh Schultz Lundquist<br /> * Eric Van Wyk<br /> * Jeremy Yallop<br /> * Klaus Ostermann<br /> <br /> === Guests and Observers ===<br /> <br /> * Yuito Murase (as proxy of Atsushi Igarashi)<br /> * Moeketsi Raselimo (local observer)<br /> * Michel Steuwer<br /> * Ilya Sergey<br /> <br /> The following gave a 'tentative yes'.<br /> <br /> * Shraddha Barke<br /> * Cezary Kaliszyk<br /> * Ningnig Xie<br /> <br /> == Talks and Schedule ==<br /> <br /> TBD.<br /> <br /> == Travel ==<br /> <br /> 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. <br /> <br /> ==== Visa Information ====<br /> <br /> 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...)<br /> <br /> ==== Getting to Stellenbosch ====<br /> <br /> 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).<br /> <br /> 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.<br /> <br /> 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.<br /> <br /> CPT is about 35km from Stellenbosch; there is no public transport, but Uber is widely available, cheap (&lt; 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.<br /> <br /> If you prefer a pre-booked airport shuttle, try:<br /> * [http://www.bettinashuttle.co.za/home Bettina's] <br /> * [http://www.shuttleup.co.za/ Shuttle Up]<br /> <br /> Stellenbosch is small and easily navigable by foot, and the venue is in walking distance to most hotels and B&amp;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.<br /> <br /> ==== Accommodation ====<br /> <br /> Stellenbosch does not have big corporate hotels but offers a wide variety of different smaller accommodation options. Most centrally located B&amp;Bs (look for the &quot;Stellenbosch Central&quot; or &quot;Mostertsdrift&quot; 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. <br /> <br /> 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.<br /> <br /> '''Between Stias and the town center''':<br /> * [https://avenuesguesthouse.co.za/ Avenues Guesthouse], 32 Die Laan<br /> * [https://beauclair-guest-cottage.hotels-of-stellenbosch.com/en/ Beauclair Guest Cottage], 1 Coetzenburg Road<br /> * [https://www.bonneesperance.com/ Bonne Esperance], corner of Neethling and Van Riebeeck<br /> * [https://caledon-villa.hotels-of-stellenbosch.com/en/ Caledon Villa], 7 Neethling Street<br /> * [https://www.dehaasliving.co.za/die-laan-2/ De Haas Luxury Living - Die Laan], 2 Die Laan<br /> * [https://www.dehaasliving.co.za/die-laan-40/ De Haas Luxury Living - Die Laan 40], 40 Die Laan<br /> * [https://www.evergreenmanor.co.za/ Evergreen Manor], 11 Murray Street<br /> * [https://koloniestuin.co.za/ Kolonie's Tuin], 22 Die Laan<br /> * [https://www.laanhof.co.za/ Laanhof], 28 Die Laan (self-catering)<br /> * [https://www.lifeandleisure.co.za/ Life &amp; Leisure], 20 Van Riebeeck St<br /> * [https://www.middedorp.com/ Middedorp Manor], 14 Neethling Street<br /> * [https://www.minseriecollection.co.za/ Minserie Collection], Minserie Street (self-catering)<br /> * [https://thelivingjourneycollection.co.za/river-manor/ River Manor], 6-8 Die Laan<br /> * [https://www.roosenwijn.co.za/ Roosenwijn Guesthouse], 14 Van Riebeeck Street<br /> * [https://thelivingjourneycollection.co.za/river-manor/ De Haas Luxury Living - Villa Grande], 1 Keeroom Street<br /> <br /> '''Mostertsdrift''' (east of Stias):<br /> * [https://www.5-seasons.co.za/ 5 Seasons Guesthouse], 60 Van Der Stel Street<br /> * [https://lanzerac.co.za/ Lanzerac Wine Estate], Lanzerac Road (wine estate in walking distance from Stias)<br /> * [https://www.stellenboschmanor.com/ Stellenbosch Manor], 2 Van Der Stel Street<br /> * [https://summerwood.co.za/ Summerwood Guest House], 28 Jonkershoek Road<br /> * [https://vanderstelmanor.com/ Van Der Stel Manor], 64 Van Der Stel Street<br /> <br /> '''Town center''':<br /> * [https://www.batavia-stellenbosch.co.za/ Batavia Boutique Hotel], 12 Louw Street<br /> * [https://coopmanhuijs.co.za/ Coopmanhuijs Boutique Hotel &amp; Spa], 33 Church Stree<br /> * [https://www.eendracht-hotel.com/ Eendracht Hotel &amp; Self Catering], 160 Drop Street<br /> * [https://www.justjoey.co.za/ Just Joey Lodge], 13 Noordwal-Wes<br /> * [https://stellenboschhotel.co.za/ Stellenbosch Hotel], corner of Dorp &amp; Andringa<br /> <br /> ==== Security ====<br /> <br /> 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:<br /> * Do not flash your valuables (phone, wallet, camera) in public.<br /> * 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 &quot;help&quot; from people.<br /> * Do '''not''' walk or drive into any township (in Stellenbosch, that means Kayamandi and Cloetesville); if you are interested, you can book guided tours.<br /> * Do '''not''' take the train between Cape Town and Stellenbosch (or trains around Cape Town).<br /> <br /> ==== Weather ====<br /> <br /> 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.<br /> <br /> ==== Pre- / post-meeting excursions ====<br /> <br /> Here are a few ideas if you are planning to spend a few extra days in Stellenbosch or travel around the country:<br /> * 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.<br /> * 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. <br /> * 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...<br /> * Hike the Bosmanskloof Traverse (either as an overnight hike, or as a day-hike), staying in McGregor or Grayton.<br /> * 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 &quot;poorts&quot; (ie old Mountain passes), like [http://en.wikipedia.org/wiki/Swartberg_Pass Swartbergpass] into Prince Albert, a quaint Karoo town.<br /> * Go shark cage diving in Struisbaai.<br /> <br /> 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...<br /> <br /> '''Safaris.'''<br /> 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.</div>

Klaus http://mw.hh.se/wg211/index.php?title=WG211/M18Schedule&diff=1880 2018-06-03T11:42:53Z

<p>Klaus: </p> <hr /> <div>=IFIP Working Group 2.11, Eighteenth Meeting=<br /> <br /> == June 4-7, 2018 in Kyoto, Japan. ==<br /> <br /> The meeting will be held in Kyoto, Japan, hosted by Atsushi Igarashi.<br /> <br /> 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. <br /> <br /> === Venue ===<br /> <br /> The meeting will be held at Room 221, Research Build. #8, Kyoto University. (Research Build. #8 is the building numbered 59 in [https://www.kyoto-u.ac.jp/en/access/main-campus-map.html this campus map].) If you stay in the Hearton Hotel Kyoto, you can take a rapid bus to Kyoto Univ. at Karasuma-Oike. Get off at either Kyoto Univ. Main Gate or Hyakumanben, which is shown on the campus map. Or, you can walk. It takes about 40 minutes.<br /> <br /> On Monday, Atsushi will stop by at the Hearton Hotel Kyoto at 8am (sharp!:-) to pick up some of you to ride the 8:07 bus. (We can arrive at the meeting room before 8:40.)<br /> <br /> * [https://www2.city.kyoto.lg.jp/kotsu/busdia/hyperdia/053013.htm Time table of the bus]<br /> * [https://www.kyoto-u.ac.jp/en/access/main-campus-map.html Map of the main campus of Kyoto Univ.]<br /> * [https://drive.google.com/open?id=1d49jNFPqgEZPjE4OjVL5TFcoKYeNrV0X&amp;usp=sharing Google map showing restaurants for dinner and places to visit in the excursion.]<br /> <br /> === Travel ===<br /> <br /> [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.<br /> 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). <br /> <br /> The organizer will conduct a survey for those who would like to use the shuttle bus from the airport.<br /> <br /> 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.<br /> <br /> <br /> ---- Arrival/Departure<br /> <br /> * Kevin: arr KIX 02 Jun 2018 20:30 on CA0161; dep KIX 11 Jun 2018 16:25 on CA0928<br /> * Jeremy: arr ITM 02 Jun 2018 10:35 on JL111; dep KIX 08 Jun 2018 10:45 on AY078 (staying at Palaceside Hotel)<br /> * 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<br /> * Julia arr KIX 03 Jun 2018 08:40 on AF292; dep KIX 09 Jun 2018 10:30 on AF291<br /> * Bodo arr KIX 03 Jun 2018 8:55 on BA6087; dep KIX 10 Jun 2018 10:45 on AY078<br /> * Sandrine arr KIX 03 Jun 2018 8:35 on AF8437<br /> * 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.<br /> * Chris L. arr HND 03 Jun 2018 15:50 on NH218; dep HND 08 Jun 2018 00:10 on LH4921<br /> * Ralf L. with partner arr KIX 02 Jun 2018 (8:40 and 12:55); dep KIX 09 Jun 2018 (10:00 and 10:25) -- we stay at Hearton Hotel Kyoto<br /> * Ulrik: arr KIX 02 Jun 2018 08:55 on AY077; dep KIX 09 Jun 2018 10:45 on AY078<br /> * 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 サキ ゾー甘露町ビル).<br /> * Ken: arr KIX 3 Jun 2018 21:10, dep ITM 8 Jun 8 2018 15:00<br /> * Jeremy Y.: arr ITM 03 Jun 2018 10:35 on JL111; dep KIX 08 Jun 2018<br /> * 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),<br /> * Markus: arr KIX 04 Jun 2018 7:45 on LH740<br /> * Satnam: arr HND 31 May 2018 13:55 on UA875; dep KIX 7 June 2018 16:50 on UA34<br /> * Peter and Joanna: arr KIX 02 Jun 2018 at 08:45 on KL867; dep NRT 11 June 2018 -- we would like a shuttle to the Noku Kyoto Hotel, single trip, 2 persons, 1 piece check-in luggage.<br /> * Christoph: arr KIX 02 Jun 2018 at 21:45 on NH097 (after NRT 15:40 from NH232, via HND); dep KIX 10 Jun 2018 at 10:05 on LH741<br /> * Klaus arr. KIX 03 Jun 2018 08:40AM with AF292<br /> <br /> === Accommodation ===<br /> <br /> 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&amp;usp=sharing on this map].<br /> <br /> === Registration ===<br /> <br /> Registration fee is 33,000 JPY, which covers all meeting-related expenses (including excursion, lunch, and dinner, which is all part of the program).<br /> 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).<br /> <br /> == Attendance ==<br /> <br /> Members: please add yourself here (in alphabetical order by last name) or email a chair-person to be added.<br /> <br /> Adam Barwell (guest), <br /> Sandrine Blazy, <br /> Jacques Carette, <br /> Shigeru Chiba, <br /> Jeremy Gibbons, <br /> Robert Glück, <br /> Kevin Hammond, <br /> Atsushi Igarashi, <br /> Yukiyoshi Kameyama, <br /> Oleg Kiselyov, <br /> Ralf Lämmel, <br /> Julia Lawall, <br /> Christian Lengauer, <br /> Peter Mosses (not Thursday), <br /> Klaus Ostermann, <br /> Markus Püschel, <br /> Christoph Reichenbach, <br /> Tiark Romph, <br /> Sven-Bodo Scholz, <br /> Ulrik Pagh Schultz, <br /> Chung-chieh Shan, <br /> Satnam Singh, <br /> Tony Sloane, <br /> Kanae Tsushima, <br /> Eric Van Wyk, <br /> Eelco Visser, <br /> Jeremy Yallop<br /> <br /> == Talks ==<br /> <br /> 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.<br /> <br /> * Adam Barwell [[WG211/M18Barwell | Folds, Unfolds, and Metaheuristics: Towards Automatic Rewriting and Derivation of Metaheuristics]]<br /> * Sandrine Blazy [[WG211/M18Blazy | Verified translation validation of static analyses]]<br /> * Jacques Carette [[WG211/M18Carette | A tale of theories and data-structures]]<br /> * Shigeru Chiba [[WG211/M18Chiba | Toward frameworks and libraries with language-like interfaces]]<br /> * Jeremy Gibbons [[WG211/M18Gibbons | Relational Algebra by Way of Adjunctions]] <br /> * Robert Glück [[WG211/M18Glueck | Metacomputation and Inversion - A Frontier of Program Generation]]<br /> * Kevin Hammond [[WG211/M18Hammond | The Robots are Coming: Failure is not an Option!]]<br /> * Atsushi Igarashi [[WG211/M18Igarashi | A Guess-and-Assume Approach to Loop Fusion for Program Verification]]<br /> * Yukiyoshi Kameyama [[WG211/M18Kameyama | A lightweight approach to module generation ]]<br /> * Oleg Kiselyov [[WG211/M18 Kiselyov | Session types without sophistry]]<br /> * Julia Lawall [[WG211/M18Lawall | 10 years of Coccinelle]]<br /> * Ralf Lämmel [[WG211/M18Laemmel | Program generation for schema-based, typed data access]]<br /> * Peter Mosses [[WG211/M18Mosses | The CBS Framework]] (not Thursday)<br /> * Klaus Ostermann [[WG211/M18Ostermann | De/refunctionalization and local (co)pattern matching]] (not on Monday)<br /> * Markus Püschel [[WG211/M18Pueschel | SIMD Intrinsics on Managed Runtimes]] (not on Monday)<br /> * Christoph Reichenbach [[WG211/M18Reichenbach | Congruences for Incremental Datatype Migration]]<br /> * Tiark Romph [[WG211/M18Romph | Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator ]] (Monday, Tuesday, or Wednesday morning)<br /> * Sven-Bodo Scholz [[WG211/M18Scholz | A Lambda-Calculus for Transfinite Arrays - Towards Unifying Streams and Arrays]]<br /> * Ulrik Pagh Schultz [[WG211/M18Schultz | TeamPlay Project: Time, Energy and security Analysis for Multi/Many-code heterogeneous PLAtforms]]<br /> * Tony Sloane [[WG211/M18Sloane | Formalisation of Attribute Grammar Evaluation]]<br /> * Walid Taha [[WG211/M18Taha | Staging an Interpreter for the Lambda Calculus in Haskell]]<br /> * Kanae Tsushima [[ WG211/M18Tsushima | A Common Framework Using Expected Types for Several Type Debugging Approaches]]<br /> * Eelco Visser [[WG211/M18Visser | Definitional Interpreters with Scopes and Frames]]<br /> * Jeremy Yallop [[WG211/M18Yallop | Partially static data as free extension of algebras]]<br /> * ... (add more, order alphabetically, following same pattern)...<br /> <br /> == Program / schedule ==<br /> <br /> === Scientific program ===<br /> <br /> TBA. Overall schedule:<br /> * Monday start at 9.00 (welcome), lunch 12.30-14.00<br /> * Tuesday start at 9, lunch 12.30-14.00<br /> * Wednesday start at 9, lunch 12.00-13.00 (bus leaves at 13.00).<br /> * Thursday start at 9<br /> <br /> === Social events ===<br /> <br /> See [https://drive.google.com/open?id=1d49jNFPqgEZPjE4OjVL5TFcoKYeNrV0X&amp;usp=sharing Google map showing meeting points and restaurants for dinner as well as places to visit in the excursion.]<br /> <br /> * Monday 4 June (6:30pm-); <br /> ** Dinner at Kagaribi (かがり火) (http://www.gion-kagaribi.com/)<br /> ** Meeting point: West gate of Yasaka Shrine at 6:20pm. (See the Google map for the location and how the gate looks like. Most of us will take a walk (or a bus) to the restaurant from the venue.) <br /> * Tuesday 5 June (6:30pm-);<br /> ** Dinner at Kiyosu (きよす) (http://r.tabelog.com/kyoto/A2603/A260302/26001516/)<br /> ** Meeting point: Demachiyanagi Station at 6:20pm. (See the Google map for the location and how the station looks like. There is an underground station (of Keihan like), too. Don't go down.)<br /> * Wednesday 6 June; 1pm-<br /> ** Excursion (see below)<br /> ** Meeting point: Kyoto University Main Gate at 12:55pm. (See the Google map for the location and how the gate looks like.)<br /> ** Dinner at Kyoto Hotel Okura (京都ホテルオークラ)<br /> * Thursday 7 June;<br /> ** Lunch (details TBD)<br /> <br /> Social events are covered by the registration fee except the lunch on Thursday.<br /> <br /> == Excursion==<br /> <br /> * The bus leaves Kyoto University at 1pm.<br /> * Visit to Enryaku-ji (延暦寺) in Mt. Hiei (比叡山); (see https://en.wikipedia.org/wiki/Enryaku-ji and https://www.hieizan.or.jp/_att/english.pdf)<br /> * 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)<br /> ** The longest cable route in Japan <br /> ** If the weather is fine, we can expect a nice view over Lake Biwa.<br /> * Visit to Kyu-Chikurinin Garden (旧竹林院庭園); http://kyuchikuriin.web.fc2.com/ (which provides little information in English)<br /> ** A break with green tea<br /> * Dinner at Kyoto Hotel Okura from 6pm.<br /> <br /> == Joint trips before/after the meeting ==<br /> <br /> 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).<br /> <br /> 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).<br /> <br /> 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.)<br /> <br /> === Sento ===<br /> <br /> 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 &quot;super-sento&quot; (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.</div>

Klaus http://mw.hh.se/wg211/index.php?title=WG211/M18Schedule&diff=1877 2018-06-02T08:23:56Z

<p>Klaus: </p> <hr /> <div>=IFIP Working Group 2.11, Eighteenth Meeting=<br /> <br /> == June 4-7, 2018 in Kyoto, Japan. ==<br /> <br /> The meeting will be held in Kyoto, Japan, hosted by Atsushi Igarashi.<br /> <br /> 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. <br /> <br /> === Venue ===<br /> <br /> The meeting will be held at Room 221, Research Build. #8, Kyoto University. (Research Build. #8 is the building numbered 59 in [https://www.kyoto-u.ac.jp/en/access/main-campus-map.html this campus map].) If you stay in the Hearton Hotel Kyoto, you can take a rapid bus to Kyoto Univ. at Karasuma-Oike. Get off at either Kyoto Univ. Main Gate or Hyakumanben, which is shown on the campus map. Or, you can walk. It takes about 40 minutes.<br /> <br /> On Monday, Atsushi will stop by at the Hearton Hotel Kyoto at 8am (sharp!:-) to pick up some of you to ride the 8:07 bus. (We can arrive at the meeting room before 8:40.)<br /> <br /> * [https://www2.city.kyoto.lg.jp/kotsu/busdia/hyperdia/053013.htm Time table of the bus]<br /> * [https://www.kyoto-u.ac.jp/en/access/main-campus-map.html Map of the main campus of Kyoto Univ.]<br /> * [https://drive.google.com/open?id=1d49jNFPqgEZPjE4OjVL5TFcoKYeNrV0X&amp;usp=sharing Google map showing restaurants for dinner and places to visit in the excursion.]<br /> <br /> === Travel ===<br /> <br /> [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.<br /> 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). <br /> <br /> The organizer will conduct a survey for those who would like to use the shuttle bus from the airport.<br /> <br /> 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.<br /> <br /> <br /> ---- Arrival/Departure<br /> <br /> * Kevin: arr KIX 02 Jun 2018 20:30 on CA0161; dep KIX 11 Jun 2018 16:25 on CA0928<br /> * Jeremy: arr ITM 02 Jun 2018 10:35 on JL111; dep KIX 08 Jun 2018 10:45 on AY078 (staying at Palaceside Hotel)<br /> * 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<br /> * Julia arr KIX 03 Jun 2018 08:40 on AF292; dep KIX 09 Jun 2018 10:30 on AF291<br /> * Bodo arr KIX 03 Jun 2018 8:55 on BA6087; dep KIX 10 Jun 2018 10:45 on AY078<br /> * Sandrine arr KIX 03 Jun 2018 8:35 on AF8437<br /> * 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.<br /> * Chris L. arr HND 03 Jun 2018 15:50 on NH218; dep HND 08 Jun 2018 00:10 on LH4921<br /> * Ralf L. with partner arr KIX 02 Jun 2018 (8:40 and 12:55); dep KIX 09 Jun 2018 (10:00 and 10:25) -- we stay at Hearton Hotel Kyoto<br /> * Ulrik: arr KIX 02 Jun 2018 08:55 on AY077; dep KIX 09 Jun 2018 10:45 on AY078<br /> * 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 サキ ゾー甘露町ビル).<br /> * Ken: arr KIX 3 Jun 2018 21:10, dep ITM 8 Jun 8 2018 15:00<br /> * Jeremy Y.: arr ITM 03 Jun 2018 10:35 on JL111; dep KIX 08 Jun 2018<br /> * 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),<br /> * Markus: arr KIX 04 Jun 2018 7:45 on LH740<br /> * Satnam: arr HND 31 May 2018 13:55 on UA875; dep KIX 7 June 2018 16:50 on UA34<br /> * Peter and Joanna: arr KIX 02 Jun 2018 at 08:45 on KL867; dep NRT 11 June 2018 -- we would like a shuttle to the Noku Kyoto Hotel, single trip, 2 persons, 1 piece check-in luggage.<br /> * Christoph: arr KIX 02 Jun 2018 at 21:45 on NH097 (after NRT 15:40 from NH232, via HND); dep KIX 10 Jun 2018 at 10:05 on LH741<br /> * Klaus arr. KIX 03 Jun 2018 08:40AM with AF292<br /> <br /> === Accommodation ===<br /> <br /> 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&amp;usp=sharing on this map].<br /> <br /> === Registration ===<br /> <br /> Registration fee is 33,000 JPY, which covers all meeting-related expenses (including excursion, lunch, and dinner, which is all part of the program).<br /> 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).<br /> <br /> == Attendance ==<br /> <br /> Members: please add yourself here (in alphabetical order by last name) or email a chair-person to be added.<br /> <br /> Adam Barwell (guest), <br /> Sandrine Blazy, <br /> Jacques Carette, <br /> Shigeru Chiba, <br /> Jeremy Gibbons, <br /> Robert Glück, <br /> Kevin Hammond, <br /> Atsushi Igarashi, <br /> Yukiyoshi Kameyama, <br /> Oleg Kiselyov, <br /> Ralf Lämmel, <br /> Julia Lawall, <br /> Christian Lengauer, <br /> Peter Mosses (not Thursday), <br /> Klaus Ostermann, <br /> Markus Püschel, <br /> Christoph Reichenbach, <br /> Tiark Romph, <br /> Sven-Bodo Scholz, <br /> Ulrik Pagh Schultz, <br /> Chung-chieh Shan, <br /> Satnam Singh, <br /> Tony Sloane, <br /> Kanae Tsushima, <br /> Eric Van Wyk, <br /> Eelco Visser, <br /> Jeremy Yallop<br /> <br /> == Talks ==<br /> <br /> 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.<br /> <br /> * Adam Barwell [[WG211/M18Barwell | Folds, Unfolds, and Metaheuristics: Towards Automatic Rewriting and Derivation of Metaheuristics]]<br /> * Sandrine Blazy [[WG211/M18Blazy | Verified translation validation of static analyses]]<br /> * Jacques Carette [[WG211/M18Carette | A tale of theories and data-structures]]<br /> * Shigeru Chiba [[WG211/M18Chiba | Toward frameworks and libraries with language-like interfaces]]<br /> * Jeremy Gibbons [[WG211/M18Gibbons | Relational Algebra by Way of Adjunctions]] <br /> * Robert Glück [[WG211/M18Glueck | Metacomputation and Inversion - A Frontier of Program Generation]]<br /> * Kevin Hammond [[WG211/M18Hammond | The Robots are Coming: Failure is not an Option!]]<br /> * Atsushi Igarashi [[WG211/M18Igarashi | A Guess-and-Assume Approach to Loop Fusion for Program Verification]]<br /> * Yukiyoshi Kameyama [[WG211/M18Kameyama | A lightweight approach to module generation ]]<br /> * Oleg Kiselyov [[WG211/M18 Kiselyov | Session types without sophistry]]<br /> * Julia Lawall [[WG211/M18Lawall | 10 years of Coccinelle]]<br /> * Ralf Lämmel [[WG211/M18Laemmel | Program generation for schema-based, typed data access]]<br /> * Peter Mosses [[WG211/M18Mosses | The CBS Framework]] (not Thursday)<br /> * Markus Püschel [[WG211/M18Pueschel | SIMD Intrinsics on Managed Runtimes]] (not on Monday)<br /> * Christoph Reichenbach [[WG211/M18Reichenbach | Congruences for Incremental Datatype Migration]]<br /> * Tiark Romph [[WG211/M18Romph | Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator ]] (Monday, Tuesday, or Wednesday morning)<br /> * Sven-Bodo Scholz [[WG211/M18Scholz | A Lambda-Calculus for Transfinite Arrays - Towards Unifying Streams and Arrays]]<br /> * Ulrik Pagh Schultz [[WG211/M18Schultz | TeamPlay Project: Time, Energy and security Analysis for Multi/Many-code heterogeneous PLAtforms]]<br /> * Tony Sloane [[WG211/M18Sloane | Formalisation of Attribute Grammar Evaluation]]<br /> * Walid Taha [[WG211/M18Taha | Staging an Interpreter for the Lambda Calculus in Haskell]]<br /> * Kanae Tsushima [[ WG211/M18Tsushima | A Common Framework Using Expected Types for Several Type Debugging Approaches]]<br /> * Eelco Visser [[WG211/M18Visser | Definitional Interpreters with Scopes and Frames]]<br /> * Jeremy Yallop [[WG211/M18Yallop | Partially static data as free extension of algebras]]<br /> * Klaus Ostermann [[WG211/M18Ostermann | Something about data/codata and de/refunctionalization (tbd)]] (not on Monday)<br /> * ... (add more, order alphabetically, following same pattern)...<br /> <br /> == Program / schedule ==<br /> <br /> === Scientific program ===<br /> <br /> TBA. Overall schedule:<br /> * Monday start at 9, lunch 12.30-14.00<br /> * Tuesday start at 9, lunch 12.30-14.00<br /> * Wednesday start at 9, lunch 12.00-13.00 (bus leaves at 13.00).<br /> * Thursday start at 9<br /> <br /> === Social events ===<br /> <br /> See [https://drive.google.com/open?id=1d49jNFPqgEZPjE4OjVL5TFcoKYeNrV0X&amp;usp=sharing Google map showing meeting points and restaurants for dinner as well as places to visit in the excursion.]<br /> <br /> * Monday 4 June (6:30pm-); <br /> ** Dinner at Kagaribi (かがり火) (http://www.gion-kagaribi.com/)<br /> ** Meeting point: West gate of Yasaka Shrine at 6:20pm. (See the Google map for the location and how the gate looks like. Most of us will take a walk (or a bus) to the restaurant from the venue.) <br /> * Tuesday 5 June (6:30pm-);<br /> ** Dinner at Kiyosu (きよす) (http://r.tabelog.com/kyoto/A2603/A260302/26001516/)<br /> ** Meeting point: Demachiyanagi Station at 6:20pm. (See the Google map for the location and how the station looks like. There is an underground station (of Keihan like), too. Don't go down.)<br /> * Wednesday 6 June; 1pm-<br /> ** Excursion (see below)<br /> ** Meeting point: Kyoto University Main Gate at 12:55pm. (See the Google map for the location and how the gate looks like.)<br /> ** Dinner at Kyoto Hotel Okura (京都ホテルオークラ)<br /> * Thursday 7 June;<br /> ** Lunch (details TBD)<br /> <br /> Social events are covered by the registration fee except the lunch on Thursday.<br /> <br /> == Excursion==<br /> <br /> * The bus leaves Kyoto University at 1pm.<br /> * Visit to Enryaku-ji (延暦寺) in Mt. Hiei (比叡山); (see https://en.wikipedia.org/wiki/Enryaku-ji and https://www.hieizan.or.jp/_att/english.pdf)<br /> * 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)<br /> ** The longest cable route in Japan <br /> ** If the weather is fine, we can expect a nice view over Lake Biwa.<br /> * Visit to Kyu-Chikurinin Garden (旧竹林院庭園); http://kyuchikuriin.web.fc2.com/ (which provides little information in English)<br /> ** A break with green tea<br /> * Dinner at Kyoto Hotel Okura from 6pm.<br /> <br /> == Joint trips before/after the meeting ==<br /> <br /> 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).<br /> <br /> 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).<br /> <br /> 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.)<br /> <br /> === Sento ===<br /> <br /> 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 &quot;super-sento&quot; (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.</div>

Klaus http://mw.hh.se/wg211/index.php?title=WG211/M18Schedule&diff=1876 2018-06-02T08:23:28Z

<p>Klaus: </p> <hr /> <div>=IFIP Working Group 2.11, Eighteenth Meeting=<br /> <br /> == June 4-7, 2018 in Kyoto, Japan. ==<br /> <br /> The meeting will be held in Kyoto, Japan, hosted by Atsushi Igarashi.<br /> <br /> 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. <br /> <br /> === Venue ===<br /> <br /> The meeting will be held at Room 221, Research Build. #8, Kyoto University. (Research Build. #8 is the building numbered 59 in [https://www.kyoto-u.ac.jp/en/access/main-campus-map.html this campus map].) If you stay in the Hearton Hotel Kyoto, you can take a rapid bus to Kyoto Univ. at Karasuma-Oike. Get off at either Kyoto Univ. Main Gate or Hyakumanben, which is shown on the campus map. Or, you can walk. It takes about 40 minutes.<br /> <br /> On Monday, Atsushi will stop by at the Hearton Hotel Kyoto at 8am (sharp!:-) to pick up some of you to ride the 8:07 bus. (We can arrive at the meeting room before 8:40.)<br /> <br /> * [https://www2.city.kyoto.lg.jp/kotsu/busdia/hyperdia/053013.htm Time table of the bus]<br /> * [https://www.kyoto-u.ac.jp/en/access/main-campus-map.html Map of the main campus of Kyoto Univ.]<br /> * [https://drive.google.com/open?id=1d49jNFPqgEZPjE4OjVL5TFcoKYeNrV0X&amp;usp=sharing Google map showing restaurants for dinner and places to visit in the excursion.]<br /> <br /> === Travel ===<br /> <br /> [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.<br /> 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). <br /> <br /> The organizer will conduct a survey for those who would like to use the shuttle bus from the airport.<br /> <br /> 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.<br /> <br /> <br /> ---- Arrival/Departure<br /> <br /> * Kevin: arr KIX 02 Jun 2018 20:30 on CA0161; dep KIX 11 Jun 2018 16:25 on CA0928<br /> * Jeremy: arr ITM 02 Jun 2018 10:35 on JL111; dep KIX 08 Jun 2018 10:45 on AY078 (staying at Palaceside Hotel)<br /> * 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<br /> * Julia arr KIX 03 Jun 2018 08:40 on AF292; dep KIX 09 Jun 2018 10:30 on AF291<br /> * Bodo arr KIX 03 Jun 2018 8:55 on BA6087; dep KIX 10 Jun 2018 10:45 on AY078<br /> * Sandrine arr KIX 03 Jun 2018 8:35 on AF8437<br /> * 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.<br /> * Chris L. arr HND 03 Jun 2018 15:50 on NH218; dep HND 08 Jun 2018 00:10 on LH4921<br /> * Ralf L. with partner arr KIX 02 Jun 2018 (8:40 and 12:55); dep KIX 09 Jun 2018 (10:00 and 10:25) -- we stay at Hearton Hotel Kyoto<br /> * Ulrik: arr KIX 02 Jun 2018 08:55 on AY077; dep KIX 09 Jun 2018 10:45 on AY078<br /> * 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 サキ ゾー甘露町ビル).<br /> * Ken: arr KIX 3 Jun 2018 21:10, dep ITM 8 Jun 8 2018 15:00<br /> * Jeremy Y.: arr ITM 03 Jun 2018 10:35 on JL111; dep KIX 08 Jun 2018<br /> * 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),<br /> * Markus: arr KIX 04 Jun 2018 7:45 on LH740<br /> * Satnam: arr HND 31 May 2018 13:55 on UA875; dep KIX 7 June 2018 16:50 on UA34<br /> * Peter and Joanna: arr KIX 02 Jun 2018 at 08:45 on KL867; dep NRT 11 June 2018 -- we would like a shuttle to the Noku Kyoto Hotel, single trip, 2 persons, 1 piece check-in luggage.<br /> * Christoph: arr KIX 02 Jun 2018 at 21:45 on NH097 (after NRT 15:40 from NH232, via HND); dep KIX 10 Jun 2018 at 10:05 on LH741<br /> * Klaus arr. KIX 03 Jun 2018 08:40AM with AF292<br /> <br /> === Accommodation ===<br /> <br /> 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&amp;usp=sharing on this map].<br /> <br /> === Registration ===<br /> <br /> Registration fee is 33,000 JPY, which covers all meeting-related expenses (including excursion, lunch, and dinner, which is all part of the program).<br /> 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).<br /> <br /> == Attendance ==<br /> <br /> Members: please add yourself here (in alphabetical order by last name) or email a chair-person to be added.<br /> <br /> Adam Barwell (guest), <br /> Sandrine Blazy, <br /> Jacques Carette, <br /> Shigeru Chiba, <br /> Jeremy Gibbons, <br /> Robert Glück, <br /> Kevin Hammond, <br /> Atsushi Igarashi, <br /> Yukiyoshi Kameyama, <br /> Oleg Kiselyov, <br /> Ralf Lämmel, <br /> Julia Lawall, <br /> Christian Lengauer, <br /> Peter Mosses (not Thursday), <br /> Klaus Ostermann, <br /> Markus Püschel, <br /> Christoph Reichenbach, <br /> Tiark Romph, <br /> Sven-Bodo Scholz, <br /> Ulrik Pagh Schultz, <br /> Chung-chieh Shan, <br /> Satnam Singh, <br /> Tony Sloane, <br /> Kanae Tsushima, <br /> Eric Van Wyk, <br /> Eelco Visser, <br /> Jeremy Yallop<br /> <br /> == Talks ==<br /> <br /> 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.<br /> <br /> * Adam Barwell [[WG211/M18Barwell | Folds, Unfolds, and Metaheuristics: Towards Automatic Rewriting and Derivation of Metaheuristics]]<br /> * Sandrine Blazy [[WG211/M18Blazy | Verified translation validation of static analyses]]<br /> * Jacques Carette [[WG211/M18Carette | A tale of theories and data-structures]]<br /> * Shigeru Chiba [[WG211/M18Chiba | Toward frameworks and libraries with language-like interfaces]]<br /> * Jeremy Gibbons [[WG211/M18Gibbons | Relational Algebra by Way of Adjunctions]] <br /> * Robert Glück [[WG211/M18Glueck | Metacomputation and Inversion - A Frontier of Program Generation]]<br /> * Kevin Hammond [[WG211/M18Hammond | The Robots are Coming: Failure is not an Option!]]<br /> * Atsushi Igarashi [[WG211/M18Igarashi | A Guess-and-Assume Approach to Loop Fusion for Program Verification]]<br /> * Yukiyoshi Kameyama [[WG211/M18Kameyama | A lightweight approach to module generation ]]<br /> * Oleg Kiselyov [[WG211/M18 Kiselyov | Session types without sophistry]]<br /> * Julia Lawall [[WG211/M18Lawall | 10 years of Coccinelle]]<br /> * Ralf Lämmel [[WG211/M18Laemmel | Program generation for schema-based, typed data access]]<br /> * Peter Mosses [[WG211/M18Mosses | The CBS Framework]] (not Thursday)<br /> * Markus Püschel [[WG211/M18Pueschel | SIMD Intrinsics on Managed Runtimes]] (not on Monday)<br /> * Christoph Reichenbach [[WG211/M18Reichenbach | Congruences for Incremental Datatype Migration]]<br /> * Tiark Romph [[WG211/M18Romph | Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator ]] (Monday, Tuesday, or Wednesday morning)<br /> * Sven-Bodo Scholz [[WG211/M18Scholz | A Lambda-Calculus for Transfinite Arrays - Towards Unifying Streams and Arrays]]<br /> * Ulrik Pagh Schultz [[WG211/M18Schultz | TeamPlay Project: Time, Energy and security Analysis for Multi/Many-code heterogeneous PLAtforms]]<br /> * Tony Sloane [[WG211/M18Sloane | Formalisation of Attribute Grammar Evaluation]]<br /> * Walid Taha [[WG211/M18Taha | Staging an Interpreter for the Lambda Calculus in Haskell]]<br /> * Kanae Tsushima [[ WG211/M18Tsushima | A Common Framework Using Expected Types for Several Type Debugging Approaches]]<br /> * Eelco Visser [[WG211/M18Visser | Definitional Interpreters with Scopes and Frames]]<br /> * Jeremy Yallop [[WG211/M18Yallop | Partially static data as free extension of algebras]]<br /> * Klaus Ostermann [[WG211/M18Ostermann | Something about data/codata and de/refunctionalization (tbd)]]<br /> * ... (add more, order alphabetically, following same pattern)...<br /> <br /> == Program / schedule ==<br /> <br /> === Scientific program ===<br /> <br /> TBA. Overall schedule:<br /> * Monday start at 9, lunch 12.30-14.00<br /> * Tuesday start at 9, lunch 12.30-14.00<br /> * Wednesday start at 9, lunch 12.00-13.00 (bus leaves at 13.00).<br /> * Thursday start at 9<br /> <br /> === Social events ===<br /> <br /> See [https://drive.google.com/open?id=1d49jNFPqgEZPjE4OjVL5TFcoKYeNrV0X&amp;usp=sharing Google map showing meeting points and restaurants for dinner as well as places to visit in the excursion.]<br /> <br /> * Monday 4 June (6:30pm-); <br /> ** Dinner at Kagaribi (かがり火) (http://www.gion-kagaribi.com/)<br /> ** Meeting point: West gate of Yasaka Shrine at 6:20pm. (See the Google map for the location and how the gate looks like. Most of us will take a walk (or a bus) to the restaurant from the venue.) <br /> * Tuesday 5 June (6:30pm-);<br /> ** Dinner at Kiyosu (きよす) (http://r.tabelog.com/kyoto/A2603/A260302/26001516/)<br /> ** Meeting point: Demachiyanagi Station at 6:20pm. (See the Google map for the location and how the station looks like. There is an underground station (of Keihan like), too. Don't go down.)<br /> * Wednesday 6 June; 1pm-<br /> ** Excursion (see below)<br /> ** Meeting point: Kyoto University Main Gate at 12:55pm. (See the Google map for the location and how the gate looks like.)<br /> ** Dinner at Kyoto Hotel Okura (京都ホテルオークラ)<br /> * Thursday 7 June;<br /> ** Lunch (details TBD)<br /> <br /> Social events are covered by the registration fee except the lunch on Thursday.<br /> <br /> == Excursion==<br /> <br /> * The bus leaves Kyoto University at 1pm.<br /> * Visit to Enryaku-ji (延暦寺) in Mt. Hiei (比叡山); (see https://en.wikipedia.org/wiki/Enryaku-ji and https://www.hieizan.or.jp/_att/english.pdf)<br /> * 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)<br /> ** The longest cable route in Japan <br /> ** If the weather is fine, we can expect a nice view over Lake Biwa.<br /> * Visit to Kyu-Chikurinin Garden (旧竹林院庭園); http://kyuchikuriin.web.fc2.com/ (which provides little information in English)<br /> ** A break with green tea<br /> * Dinner at Kyoto Hotel Okura from 6pm.<br /> <br /> == Joint trips before/after the meeting ==<br /> <br /> 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).<br /> <br /> 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).<br /> <br /> 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.)<br /> <br /> === Sento ===<br /> <br /> 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 &quot;super-sento&quot; (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.</div>

Klaus http://mw.hh.se/wg211/index.php?title=WG211/M18Schedule&diff=1868 2018-05-31T20:15:43Z

<p>Klaus: </p> <hr /> <div>=IFIP Working Group 2.11, Eighteenth Meeting=<br /> <br /> == June 4-7, 2018 in Kyoto, Japan. ==<br /> <br /> The meeting will be held in Kyoto, Japan, hosted by Atsushi Igarashi.<br /> <br /> 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. <br /> <br /> === Venue ===<br /> <br /> The meeting will be held at Room 221, Research Build. #8, Kyoto University. (Research Build. #8 is the building numbered 59 in [https://www.kyoto-u.ac.jp/en/access/main-campus-map.html this campus map].) If you stay in the Hearton Hotel Kyoto, you can take a rapid bus to Kyoto Univ. at Karasuma-Oike. Get off at either Kyoto Univ. Main Gate or Hyakumanben, which is shown on the campus map. Or, you can walk. It takes about 40 minutes.<br /> <br /> On Monday, Atsushi will stop by at the Hearton Hotel Kyoto at 8am (sharp!:-) to pick up some of you to ride the 8:07 bus. (We can arrive at the meeting room before 8:40.)<br /> <br /> * [https://www2.city.kyoto.lg.jp/kotsu/busdia/hyperdia/053013.htm Time table of the bus]<br /> * [https://www.kyoto-u.ac.jp/en/access/main-campus-map.html Map of the main campus of Kyoto Univ.]<br /> * [https://drive.google.com/open?id=1d49jNFPqgEZPjE4OjVL5TFcoKYeNrV0X&amp;usp=sharing Google map showing restaurants for dinner and places to visit in the excursion.]<br /> <br /> === Travel ===<br /> <br /> [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.<br /> 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). <br /> <br /> The organizer will conduct a survey for those who would like to use the shuttle bus from the airport.<br /> <br /> 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.<br /> <br /> <br /> ---- Arrival/Departure<br /> <br /> * Kevin: arr KIX 02 Jun 2018 20:30 on CA0161; dep KIX 11 Jun 2018 16:25 on CA0928<br /> * Jeremy: arr ITM 02 Jun 2018 10:35 on JL111; dep KIX 08 Jun 2018 10:45 on AY078 (staying at Palaceside Hotel)<br /> * 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<br /> * Julia arr KIX 03 Jun 2018 08:40 on AF292; dep KIX 09 Jun 2018 10:30 on AF291<br /> * Bodo arr KIX 03 Jun 2018 8:55 on BA6087; dep KIX 10 Jun 2018 10:45 on AY078<br /> * Sandrine arr KIX 03 Jun 2018 8:35 on AF8437<br /> * 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.<br /> * Chris L. arr HND 03 Jun 2018 15:50 on NH218; dep HND 08 Jun 2018 00:10 on LH4921<br /> * Ralf L. with partner arr KIX 02 Jun 2018 (8:40 and 12:55); dep KIX 09 Jun 2018 (10:00 and 10:25) -- we stay at Hearton Hotel Kyoto<br /> * Ulrik: arr KIX 02 Jun 2018 08:55 on AY077; dep KIX 09 Jun 2018 10:45 on AY078<br /> * 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 サキ ゾー甘露町ビル).<br /> * Ken: arr KIX 3 Jun 2018 21:10, dep ITM 8 Jun 8 2018 15:00<br /> * Jeremy Y.: arr ITM 03 Jun 2018 10:35 on JL111; dep KIX 08 Jun 2018<br /> * 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),<br /> * Markus: arr KIX 04 Jun 2018 7:45 on LH740<br /> * Satnam: arr HND 31 May 2018 13:55 on UA875; dep KIX 7 June 2018 16:50 on UA34<br /> * Peter and Joanna: arr KIX 02 Jun 2018 at 08:45 on KL867; dep NRT 11 June 2018 -- we would like a shuttle to the Noku Kyoto Hotel, single trip, 2 persons, 1 piece check-in luggage.<br /> * Christoph: arr KIX 02 Jun 2018 at 21:45 on NH097 (after NRT 15:40 from NH232, via HND); dep KIX 10 Jun 2018 at 10:05 on LH741<br /> * Klaus arr. KIX 03 Jun 2018 08:40AM with AF292<br /> <br /> === Accommodation ===<br /> <br /> 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&amp;usp=sharing on this map].<br /> <br /> === Registration ===<br /> <br /> Registration fee is 33,000 JPY, which covers all meeting-related expenses (including excursion, lunch, and dinner, which is all part of the program).<br /> 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).<br /> <br /> == Attendance ==<br /> <br /> Members: please add yourself here (in alphabetical order by last name) or email a chair-person to be added.<br /> <br /> Adam Barwell (guest), <br /> Sandrine Blazy, <br /> Jacques Carette, <br /> Shigeru Chiba, <br /> Jeremy Gibbons, <br /> Robert Glück, <br /> Kevin Hammond, <br /> Atsushi Igarashi, <br /> Yukiyoshi Kameyama, <br /> Oleg Kiselyov, <br /> Ralf Lämmel, <br /> Julia Lawall, <br /> Christian Lengauer, <br /> Peter Mosses (not Thursday), <br /> Klaus Ostermann, <br /> Markus Püschel, <br /> Christoph Reichenbach, <br /> Tiark Romph, <br /> Sven-Bodo Scholz, <br /> Ulrik Pagh Schultz, <br /> Chung-chieh Shan, <br /> Satnam Singh, <br /> Tony Sloane, <br /> Kanae Tsushima, <br /> Eric Van Wyk, <br /> Eelco Visser, <br /> Jeremy Yallop<br /> <br /> == Talks ==<br /> <br /> 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.<br /> <br /> * Adam Barwell [[WG211/M18Barwell | Folds, Unfolds, and Metaheuristics: Towards Automatic Rewriting and Derivation of Metaheuristics]]<br /> * Sandrine Blazy [[WG211/M18Blazy | Verified translation validation of static analyses]]<br /> * Jacques Carette [[WG211/M18Carette | A tale of theories and data-structures]]<br /> * Shigeru Chiba [[WG211/M18Chiba | Toward frameworks and libraries with language-like interfaces]]<br /> * Jeremy Gibbons [[WG211/M18Gibbons | Relational Algebra by Way of Adjunctions]] <br /> * Robert Glück [[WG211/M18Glueck | Metacomputation and Inversion - A Frontier of Program Generation]]<br /> * Kevin Hammond [[WG211/M18Hammond | The Robots are Coming: Failure is not an Option!]]<br /> * Atsushi Igarashi [[WG211/M18Igarashi | A Guess-and-Assume Approach to Loop Fusion for Program Verification]]<br /> * Yukiyoshi Kameyama [[WG211/M18Kameyama | A lightweight approach to module generation ]]<br /> * Oleg Kiselyov [[WG211/M18 Kiselyov | Session types without sophistry]]<br /> * Julia Lawall [[WG211/M18Lawall | 10 years of Coccinelle]]<br /> * Ralf Lämmel [[WG211/M18Laemmel | Towards a relatively systematic literature survey on program generation]]<br /> * Peter Mosses [[WG211/M18Mosses | The CBS Framework]] (not Thursday)<br /> * Markus Püschel [[WG211/M18Pueschel | SIMD Intrinsics on Managed Runtimes]] (not on Monday)<br /> * Christoph Reichenbach [[WG211/M18Reichenbach | Congruences for Incremental Datatype Migration]]<br /> * Tiark Romph [[WG211/M18Romph | Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator ]] (Monday, Tuesday, or Wednesday morning)<br /> * Sven-Bodo Scholz [[WG211/M18Scholz | A Lambda-Calculus for Transfinite Arrays - Towards Unifying Streams and Arrays]]<br /> * Ulrik Pagh Schultz [[WG211/M18Schultz | TeamPlay Project: Time, Energy and security Analysis for Multi/Many-code heterogeneous PLAtforms]]<br /> * Tony Sloane [[WG211/M18Sloane | Formalisation of Attribute Grammar Evaluation]]<br /> * Walid Taha [[WG211/M18Taha | Staging an Interpreter for the Lambda Calculus in Haskell]]<br /> * Kanae Tsushima [[ WG211/M18Tsushima | A Common Framework Using Expected Types for Several Type Debugging Approaches]]<br /> * Eelco Visser [[WG211/M18Visser | Definitional Interpreters with Scopes and Frames]]<br /> * Jeremy Yallop [[WG211/M18Yallop | Partially static data as free extension of algebras]]<br /> * ... (add more, order alphabetically, following same pattern)...<br /> <br /> == Program / schedule ==<br /> <br /> === Scientific program ===<br /> <br /> TBA. Overall schedule:<br /> * Monday start at 9, lunch 12.30-14.00<br /> * Tuesday start at 9, lunch 12.30-14.00<br /> * Wednesday start at 9, lunch 12.00-13.00 (bus leaves at 13.00).<br /> * Thursday start at 9<br /> <br /> === Social events ===<br /> <br /> * Monday 4 June (6:30pm-); <br /> ** Dinner at Kagaribi (かがり火) (http://www.gion-kagaribi.com/)<br /> * Tuesday 5 June (6:30pm-);<br /> ** Dinner at Kiyosu (きよす) (http://r.tabelog.com/kyoto/A2603/A260302/26001516/)<br /> * Wednesday 6 June; 1pm-<br /> ** Excursion (see below)<br /> ** Dinner at Kyoto Hotel Okura (京都ホテルオークラ)<br /> * Thursday 7 June;<br /> ** Lunch (details TBD)<br /> <br /> Social events are covered by the registration fee except the lunch on Thursday.<br /> <br /> == Excursion==<br /> <br /> * The bus leaves Kyoto University at 1pm.<br /> * Visit to Enryaku-ji (延暦寺) in Mt. Hiei (比叡山); (see https://en.wikipedia.org/wiki/Enryaku-ji and https://www.hieizan.or.jp/_att/english.pdf)<br /> * 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)<br /> ** The longest cable route in Japan <br /> ** If the weather is fine, we can expect a nice view over Lake Biwa.<br /> * Visit to Kyu-Chikurinin Garden (旧竹林院庭園); http://kyuchikuriin.web.fc2.com/ (which provides little information in English)<br /> ** A break with green tea<br /> * Dinner at Kyoto Hotel Okura from 6pm.<br /> <br /> == Joint trips before/after the meeting ==<br /> <br /> 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).<br /> <br /> 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).<br /> <br /> 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.)<br /> <br /> === Sento ===<br /> <br /> 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 &quot;super-sento&quot; (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.</div>

Klaus http://mw.hh.se/wg211/index.php?title=WG211/M18Schedule&diff=1739 2018-03-23T13:35:32Z

<p>Klaus: </p> <hr /> <div>=IFIP Working Group 2.11, Eighteenth Meeting=<br /> <br /> This page is, obviously, incomplete. As information is completed group members and visitors will be notified.<br /> <br /> <br /> == June 4-7, 2018 in Kyoto, Japan. ==<br /> <br /> The meeting will be held in Kyoto, Japan, hosted by Atsushi Igarashi.<br /> <br /> 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. <br /> <br /> === Venue ===<br /> <br /> The meeting will be held at Kyoto University.<br /> <br /> === Travel ===<br /> <br /> [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.<br /> 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). <br /> <br /> The organizer will conduct a survey for those who would like to use the shuttle bus from the airport.<br /> <br /> 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.<br /> <br /> === Accommodation ===<br /> <br /> 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&amp;usp=sharing on this map].<br /> <br /> === Registration ===<br /> <br /> 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).<br /> <br /> == Attendance ==<br /> <br /> Members: please add yourself here (in alphabetical order by last name) or email a chair-person to be added.<br /> <br /> Sandrine Blazy, Jacques Carette, Jeremy Gibbons, Robert Glück, Kevin Hammond, Atsushi Igarashi, Julia Lawall, Christian Lengauer, Klaus Ostermann, Markus Püschel, Christoph Reichenbach, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Satnam Singh, Tony Sloane (most likely), Eric Van Wyk<br /> <br /> == Talks ==<br /> <br /> 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.<br /> <br /> * ...<br /> <br /> == Program / schedule ==<br /> <br /> === Scientific program ===<br /> <br /> TBA<br /> <br /> === Social events ===<br /> <br /> TBA<br /> <br /> == Excursion==<br /> <br /> TBA<br /> <br /> == Joint trips before/after the meeting ==<br /> <br /> People arriving before the meeting: Ulrik (arriving Saturday, will be in Kyoto Sunday)<br /> <br /> People staying after the meeting: Ulrik (staying until Saturday, considering Osaka), Ken (leaving via Osaka on Friday)<br /> <br /> Places to go: Ken suggests [http://www.butohkan.jp/index.html?ym=2018-05#Butohkan_cal Kyoto Butoh Kan] and [http://www.kyotorailwaymuseum.jp/en/access/ Kyoto Railway Museum]</div>

Klaus http://mw.hh.se/wg211/index.php?title=WG211/M15Ostermann&diff=1361 2015-11-05T10:59:47Z

<p>Klaus: </p> <hr /> <div>''A Library for Probabilistic and Variability-Aware Programming '' by Klaus Ostermann<br /> <br /> I will present a library for probabilistic and variability-aware programming, that is, a library to support programs that deal with variability either described by discrete probability distributions or by logical (propositional) formulas. The library's key abstraction is a pair of functions, &quot;reflect&quot; and &quot;reify&quot;, that turn a variable program into an ordinary program and vice versa. I argue that a library like this will be useful to implement probabilistic and variability-aware algorithms, such as type checkers or evaluators for software product lines. The library is written in Racket and uses delimited continuations to reflect over the monadic effects of the variability monad. I will also talk about probabilistic and variability-aware data structures and the role of lazy evaluation.</div>

Klaus http://mw.hh.se/wg211/index.php?title=WG211/M15Ostermann&diff=1360 2015-11-05T10:59:35Z

<p>Klaus: </p> <hr /> <div>''Variability-Aware Programming'' by Klaus Ostermann<br /> <br /> I will present a library for probabilistic and variability-aware programming, that is, a library to support programs that deal with variability either described by discrete probability distributions or by logical (propositional) formulas. The library's key abstraction is a pair of functions, &quot;reflect&quot; and &quot;reify&quot;, that turn a variable program into an ordinary program and vice versa. I argue that a library like this will be useful to implement probabilistic and variability-aware algorithms, such as type checkers or evaluators for software product lines. The library is written in Racket and uses delimited continuations to reflect over the monadic effects of the variability monad. I will also talk about probabilistic and variability-aware data structures and the role of lazy evaluation.</div>

Klaus http://mw.hh.se/wg211/index.php?title=WG211/M15Schedule&diff=1359 2015-11-05T10:58:10Z

<p>Klaus: </p> <hr /> <div>=IFIP Working Group 2.11, Fifteenth Meeting=<br /> <br /> ==November 9-12, 2015, London, England==<br /> <br /> 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).<br /> <br /> === Venue ===<br /> <br /> The venue will be the Department of Computing at Imperial, and is in the heart of London’s “Museum Quarter”. Specifically:<br /> <br /> Rooms 217&amp;218, [https://goo.gl/maps/WXLEGc2Ttuq the Huxley Building],<br /> Dept of Computing, Imperial College London,<br /> 180 Queen's Gate, <br /> London SW7 2AZ.<br /> <br /> If you enter via the street entrance, 180 Queen's Gate, then the meeting room is immediately on the left, through the blue doors. There should be helpful reception staff to direct you if necessary.<br /> <br /> A pleasant walking route from the London Town Hotel is [https://goo.gl/maps/uKxuJpvgxhr here].<br /> A recommended route from South Kensington tube station is [https://goo.gl/maps/QNZnANwRCwG2 here].<br /> <br /> === Travel ===<br /> <br /> Train: London has good train connections to much of northern Europe (Paris &lt; 2.5 hours, Amsterdam &lt; 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. Details of various ways to reach the College are [https://www.imperial.ac.uk/visit/campuses/south-kensington/ here].<br /> <br /> ==== Accommodation ====<br /> <br /> 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:<br /> <br /> * 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. <br /> * 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]<br /> <br /> 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]<br /> You should expect a significant commute of course.<br /> <br /> == Registration ==<br /> <br /> Please use this link to register online: <br /> https://www.eventbrite.co.uk/e/wg211-fifteenth-meeting-london-2015-tickets-18843174442<br /> Registration costs £225 per person. This includes lunches on Nov 9,10,11,12 and dinners Nov 9,10,11.<br /> <br /> == Attendance ==<br /> <br /> Members: please add yourself here (in alphabetical order by last name) or email a chair-person to be added.<br /> <br /> Sandrine Blazy, Edwin Brady (not present Nov 12th), 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<br /> <br /> == Talks ==<br /> <br /> See below for schedule, note that the actual scheduling of talks will not be available until the meeting starts.<br /> <br /> Sandrine Blazy, [[WG211/M15Blazy | Formal verification of source program obfuscations]]<br /> <br /> Edwin Brady [[WG211/M15Brady | Resource-dependent Algebraic Effects]]<br /> <br /> Jacques Carette, [[WG211/M15Carette | Simplifying probabilistic programs using computer algebra ]]<br /> <br /> Alastair Donaldson, [[WG211/M15Donaldson | Translation Validation for Data Race-Freedom of OpenCL Code Generated by a Parallelising Compiler]]<br /> <br /> Jeremy Gibbons, [[WG211/M15Gibbons | Comprehending Monadic Queries]]<br /> <br /> Robert Glück, Maximally-polyvariant partial evaluation<br /> <br /> Alexander Grebhahn, [[ WG211/M15Grebhahn | Performance-Influence Models: Prediction, Optimization, Debugging ]]<br /> <br /> Atsushi Igarashi, [[WG211/M15Igarashi | Type systems for a polymorphic imperative multi-stage language]]<br /> <br /> Paul Kelly, [[WG211/M15Kelly | Synthesis versus Analysis: What Do We Actually Gain from Domain-Specificity?]]<br /> <br /> Naoki Kobayashi, [[WG211/M15Kobayashi | Higher-order model checking and program verification]]<br /> <br /> Christian Lengauer, [[WG211/M15Lengauer | The ExaStencils DSL ExaSlang]]<br /> <br /> Peter Mosses, [[WG211/M15Mosses | Run your component-based semantics]]<br /> <br /> John O'Donnell, [[WG211/M15ODonnel | Circuit generators in a functional hardware description language]]<br /> <br /> Klaus Ostermann, [[WG211/M15Ostermann | A Library for Probabilistic and Variability-Aware Programming]]<br /> <br /> Christoph Reichenbach, [[WG211/M15Reichenbach | Copy and Paste Redeemed ]]<br /> <br /> Sven-Bodo Scholz, [[WG211/M15Scholz | SHRAY - a DSM tailored for generated code]]<br /> <br /> Ulrik Pagh Schultz, [[WG211/M15Schultz | A domain-specific language for specifying reversible robot assembly tasks]]<br /> <br /> Chung-chieh Shan, [[WG211/M15Shan | Symbolic Bayesian inference by lazy partial evaluation ]]<br /> <br /> Tony Sloane, [[WG211/M15Sloane | Respect Your Parents: How Attribution and Rewriting Can Get Along]]<br /> <br /> Armando Solar-Lezama, [[WG22/M15SolarLezama | Interactive derivation of provably correct divide-and-conquer dynamic programming implementations ]]<br /> <br /> Laurence Tratt, [[WG211/M15Tratt | Fine-grained language composition]]<br /> <br /> Eric Van Wyk [[WG211/M15VanWyk | Semantic Preservation in Language Extensions ]]<br /> <br /> Herbert Wiklicky, [[WG211/M15Wiklicky | On Frameworks for Quantitative Program Synthesis]]<br /> <br /> Nicholas Ng and Nobuko Yoshida [[WG211/M15YoshidaNg | Protocols by Default: Safe MPI Code Generation based on Session Types]] (to be confirmed)<br /> <br /> == Schedule ==<br /> <br /> 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).<br /> <br /> Monday Nov 9th:<br /> * 9:15 arrive, welcome<br /> * 9:30-11:00 work (2 talks)<br /> * 11:00-11:30 morning break with refreshments<br /> * 11:30-13:00 work (2 talks)<br /> * 13:00-14:00 buffet lunch<br /> * 14:00-15:30 work (2 talks)<br /> * 15:30-16:00 afternoon break with refreshments<br /> * 16:00-17:30 work (2 talks)<br /> * 19:00 dinner at [http://pizzametropizza.com/notting-hill/ PizzaMetroPizza (Notting Hill)], 147 – 149 Notting Hill Gate, London W11 3LF. A recommended (and interesting) 30-minute walk from Imperial [https://goo.gl/maps/XByCaUMddjJ2], or fairly direct bus (number 70) is also available [https://goo.gl/maps/FGSg43znyLT2]. From the London Town Hotel it's a 30-minute walk [https://goo.gl/maps/3cfwPVXb9Yv] or a short tube ride [https://goo.gl/maps/fheK5yFf8vC2].<br /> <br /> Tuesday Nov 10th:<br /> * 9:30-11:00 work (2 talks)<br /> * 11:00-11:30 morning break with refreshments<br /> * 11:30-13:00 work (2 talks)<br /> * 13:00-14:00 working lunch<br /> * 14:00-15:30 work (2 talks)<br /> * 15:30-16:00 afternoon break with refreshments<br /> * 16:00-17:30 business meeting (members only)<br /> * 19:00 dinner at [http://www.nicholsonspubs.co.uk/restaurants/london/doggettscoatandbadgesouthbanklondon Doggetts Coat and Badge] on the South Bank. From Imperial take the tube [https://goo.gl/maps/hb5jSHuRk9L2], from the London Town Hotel [https://goo.gl/maps/K4RiAPyJQJD2]. The journey takes about half an hour. However you are recommended to go early and walk along the South Bank. For example, take the same tube but get off at Westminster [https://goo.gl/maps/QzProuVMbt52 (20 mins)] then walk along the Thames [https://goo.gl/maps/7kpG5ZP3rcm (25 mins)].<br /> <br /> Wednesday Nov 11th<br /> * 9:30-11:00 work (2 talks)<br /> * 11:00-11:30 morning break with refreshments<br /> * 11:30-13:00 work (2 talks)<br /> * 13:00-14:00 working lunch<br /> * 14:00-15:30 work (2 talks)<br /> * 16:00-17:00 tour of Victoria and Albert museum<br /> * 19:00 dinner at [http://www.masalazone.com/locations/bayswater/ Masala Zone (Bayswater)]. From Imperial you can walk ([https://goo.gl/maps/RhmM2f9m6jB2 (35 mins)]) or take the number 70 bus again [https://goo.gl/maps/da2STkYeFk62 (20 mins)]. From The London Town Hotel by tube [https://goo.gl/maps/X6ohLZDfQBL2 (20 mins)] or on foot [https://goo.gl/maps/EdPHT5WWAK12 (45 mins)].<br /> <br /> Thursday Nov 12th<br /> * 9:30-11:00 work (2 talks)<br /> * 11:00-11:30 morning break with refreshments<br /> * 11:30-13:00 work (2 talks)<br /> * 13:00-14:00 buffet lunch<br /> <br /> == Excursion==<br /> <br /> 16:00 on Wednesday 11th November: an introductory tour of the [[http://www.vam.ac.uk | Victoria and Albert Museum]] (approximately one hour).<br /> The museum is within 15 minutes walk from the workshop location.</div>

Klaus http://mw.hh.se/wg211/index.php?title=WG211/M15Ostermann&diff=1313 2015-10-25T20:14:51Z

<p>Klaus: </p> <hr /> <div>''Variability-Aware Programming'' by Klaus Ostermann<br /> <br /> I will present a library for variability-aware programming, that is, a library to support programs that deal with variability described by logical (propositional) formulas. The library's key abstraction is a pair of functions, &quot;reflect&quot; and &quot;reify&quot;, that turn a variable program into an ordinary program and vice versa. I argue that a library like this will be useful to implement variability-aware algorithms, such as type checkers or evaluators for software product lines. The library is written in Racket and uses delimited continuations to reflect over the monadic effects of the variability monad.</div>

Klaus http://mw.hh.se/wg211/index.php?title=WG211/M15Ostermann&diff=1312 2015-10-25T20:12:30Z

<p>Klaus: </p> <hr /> <div>''Variability-Aware Programming'' by Klaus Ostermann<br /> <br /> I will present a library for variability-aware programming, that is, a library to support programs that deal with variability described by logical (propositional) formulas. The library's key abstraction is a pair of functions, &quot;reflect&quot; and &quot;reify&quot;, that turn a variable program into an ordinary program and vice versa. I argue that a library like this will be useful to implement variability-aware algorithms, such as type checkers or evaluators for software product lines.</div>

Klaus http://mw.hh.se/wg211/index.php?title=WG211/M15Ostermann&diff=1311 2015-10-25T20:11:14Z

<p>Klaus: </p> <hr /> <div>''Variability-Aware Programming'' by Klaus Ostermann<br /> <br /> I will present a library for variability-aware programming, that is, a library to support programs that deal with variability described by logical (propositional) formulas. The library's key abstraction is a pair of functions _reflect_ and _reify_ that turn a variable program into an ordinary program and vice versa. I argue that a library like this will be useful to implement variability-aware algorithms, such as type checkers or evaluators for software product lines.</div>

Klaus http://mw.hh.se/wg211/index.php?title=WG211/M15Ostermann&diff=1310 2015-10-25T20:05:26Z

<p>Klaus: Created page with &quot;Abstract:&quot;</p> <hr /> <div>Abstract:</div>

Klaus http://mw.hh.se/wg211/index.php?title=WG211/M15Schedule&diff=1294 2015-10-17T17:44:54Z

<p>Klaus: /* Attendance */</p> <hr /> <div>=IFIP Working Group 2.11, Fifteenth Meeting=<br /> <br /> ==November 9-12, 2015, London, England==<br /> <br /> 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).<br /> <br /> There will be an excursion, details to be announced.<br /> <br /> === Venue ===<br /> <br /> The venue will be the Department of Computing at Imperial, and is in the heart of London’s “Museum Quarter”.<br /> <br /> === Travel ===<br /> <br /> Train: London has good train connections to much of northern Europe (Paris &lt; 2.5 hours, Amsterdam &lt; 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.<br /> <br /> ==== Accommodation ====<br /> <br /> 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:<br /> <br /> * 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. <br /> * 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]<br /> <br /> 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]<br /> You should expect a significant commute of course.<br /> <br /> ==== Excursions ====<br /> <br /> There will be an excursion one afternoon during the meeting time.<br /> <br /> === Venue ===<br /> <br /> (To do: link to the venue and a link to a map.)<br /> <br /> == Registration ==<br /> <br /> Please use this link to register online: <br /> https://www.eventbrite.co.uk/e/wg211-fifteenth-meeting-london-2015-tickets-18843174442<br /> Registration costs £225 per person. This includes lunches on Nov 9,10,11,12 and dinners Nov 9,10,11.<br /> <br /> == Attendance ==<br /> <br /> Members: please add yourself here (in alphabetical order by last name) or email a chair-person to be added.<br /> <br /> Sandrine Blazy, Edwin Brady, Jacques Carette, Alastair Donaldson, Jeremy Gibbons (not present Nov 12th), Robert Glück (leaving on Nov 12th), Atsushi Igarashi (leaving on Nov 11th), Paul Kelly, Naoki Kobayashi, Julia Lawall, Christian Lengauer, Peter Mosses, Klaus Ostermann (leaving on Nov 12th), Christoph Reichenbach (leaving on Nov 12th), Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Tony Sloane, Armando Solar-Lezama, Walid Taha, Laurence Tratt, Eric Van Wyk, Herbert Wiklicky, Nobuko Yoshida<br /> <br /> == Talks and Schedule ==<br /> <br /> Members: please add yourself here (in alphabetical order by last name, following the example below) or email a chair-person to be added.<br /> <br /> Sandrine Blazy, Formal verification of source program obfuscations<br /> <br /> Edwin Brady [[WG211/M15Brady | TBD]]<br /> <br /> Jacques Carette, Simplifying probabilistic programs using computer algebra<br /> <br /> Alastair Donaldson, [[WG211/M15Donaldson | Translation Validation for Data Race-Freedom of OpenCL Code Generated by a Parallelising Compiler]]<br /> <br /> Robert Glück, Maximally-polyvariant partial evaluation<br /> <br /> Atsushi Igarashi, Type systems for a polymorphic imperative multi-stage language<br /> <br /> Paul Kelly, [[WG211/M15Kelly | Synthesis versus Analysis: What Do We Actually Gain from Domain-Specificity?]]<br /> <br /> Naoki Kobayashi, [[WG211/M15Kobayashi | Higher-order model checking and program verification]]<br /> <br /> Peter Mosses, Run your component-based semantics<br /> <br /> Klaus Ostermann, Variability-Aware Programming<br /> <br /> Christoph Reichenbach, [[WG211/M15Reichenbach | Copy and Paste Redeemed ]]<br /> <br /> Sven-Bodo Scholz, [[WG211/M15Scholz | TBD]]<br /> <br /> Ulrik Pagh Schultz, [[WG211/M15Schultz | A domain-specific language for specifying reversible robot assembly tasks]]<br /> <br /> Chung-chieh Shan, Symbolic Bayesian inference by lazy partial evaluation<br /> <br /> Walid Taha, Binding Time Analysis in Acumen<br /> <br /> Laurence Tratt, [[WG211/M15Tratt | Fine-grained language composition]]<br /> <br /> Julia Lawall, Prequel: A Patch-Like Query Language for Commit History Search<br /> <br /> Herbert Wiklicky<br /> <br /> Alastair Donaldson<br /> <br /> Nobuko Yoshida<br /> <br /> Tony Sloane, Respect Your Parents: How Attribution and Rewriting Can Get Along<br /> <br /> == Excursion==<br /> <br /> TBD</div>

Klaus http://mw.hh.se/wg211/index.php?title=WG211/M15Schedule&diff=1293 2015-10-17T17:41:24Z

<p>Klaus: /* Talks and Schedule */</p> <hr /> <div>=IFIP Working Group 2.11, Fifteenth Meeting=<br /> <br /> ==November 9-12, 2015, London, England==<br /> <br /> 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).<br /> <br /> There will be an excursion, details to be announced.<br /> <br /> === Venue ===<br /> <br /> The venue will be the Department of Computing at Imperial, and is in the heart of London’s “Museum Quarter”.<br /> <br /> === Travel ===<br /> <br /> Train: London has good train connections to much of northern Europe (Paris &lt; 2.5 hours, Amsterdam &lt; 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.<br /> <br /> ==== Accommodation ====<br /> <br /> 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:<br /> <br /> * 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. <br /> * 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]<br /> <br /> 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]<br /> You should expect a significant commute of course.<br /> <br /> ==== Excursions ====<br /> <br /> There will be an excursion one afternoon during the meeting time.<br /> <br /> === Venue ===<br /> <br /> (To do: link to the venue and a link to a map.)<br /> <br /> == Registration ==<br /> <br /> Please use this link to register online: <br /> https://www.eventbrite.co.uk/e/wg211-fifteenth-meeting-london-2015-tickets-18843174442<br /> Registration costs £225 per person. This includes lunches on Nov 9,10,11,12 and dinners Nov 9,10,11.<br /> <br /> == Attendance ==<br /> <br /> Members: please add yourself here (in alphabetical order by last name) or email a chair-person to be added.<br /> <br /> Sandrine Blazy, Edwin Brady, Jacques Carette, Alastair Donaldson, Jeremy Gibbons (not present Nov 12th), Robert Glück (leaving on Nov 12th), Atsushi Igarashi (leaving on Nov 11th), Paul Kelly, Naoki Kobayashi, Julia Lawall, Christian Lengauer, Peter Mosses, Christoph Reichenbach (leaving on Nov 12th), Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Tony Sloane, Armando Solar-Lezama, Walid Taha, Laurence Tratt, Eric Van Wyk, Herbert Wiklicky, Nobuko Yoshida<br /> <br /> == Talks and Schedule ==<br /> <br /> Members: please add yourself here (in alphabetical order by last name, following the example below) or email a chair-person to be added.<br /> <br /> Sandrine Blazy, Formal verification of source program obfuscations<br /> <br /> Edwin Brady [[WG211/M15Brady | TBD]]<br /> <br /> Jacques Carette, Simplifying probabilistic programs using computer algebra<br /> <br /> Alastair Donaldson, [[WG211/M15Donaldson | Translation Validation for Data Race-Freedom of OpenCL Code Generated by a Parallelising Compiler]]<br /> <br /> Robert Glück, Maximally-polyvariant partial evaluation<br /> <br /> Atsushi Igarashi, Type systems for a polymorphic imperative multi-stage language<br /> <br /> Paul Kelly, [[WG211/M15Kelly | Synthesis versus Analysis: What Do We Actually Gain from Domain-Specificity?]]<br /> <br /> Naoki Kobayashi, [[WG211/M15Kobayashi | Higher-order model checking and program verification]]<br /> <br /> Peter Mosses, Run your component-based semantics<br /> <br /> Klaus Ostermann, Variability-Aware Programming<br /> <br /> Christoph Reichenbach, [[WG211/M15Reichenbach | Copy and Paste Redeemed ]]<br /> <br /> Sven-Bodo Scholz, [[WG211/M15Scholz | TBD]]<br /> <br /> Ulrik Pagh Schultz, [[WG211/M15Schultz | A domain-specific language for specifying reversible robot assembly tasks]]<br /> <br /> Chung-chieh Shan, Symbolic Bayesian inference by lazy partial evaluation<br /> <br /> Walid Taha, Binding Time Analysis in Acumen<br /> <br /> Laurence Tratt, [[WG211/M15Tratt | Fine-grained language composition]]<br /> <br /> Julia Lawall, Prequel: A Patch-Like Query Language for Commit History Search<br /> <br /> Herbert Wiklicky<br /> <br /> Alastair Donaldson<br /> <br /> Nobuko Yoshida<br /> <br /> Tony Sloane, Respect Your Parents: How Attribution and Rewriting Can Get Along<br /> <br /> == Excursion==<br /> <br /> TBD</div>

Klaus http://mw.hh.se/wg211/index.php?title=WG211/M14Ostermann&diff=1185 2015-01-15T16:05:34Z

<p>Klaus: Created page with &quot;Contributors: Yufei Cai, Paolo G. Giarrusso, Klaus Ostermann Abstract: TBD.&quot;</p> <hr /> <div>Contributors: Yufei Cai, Paolo G. Giarrusso, Klaus Ostermann<br /> <br /> Abstract: TBD.</div>

Klaus http://mw.hh.se/wg211/index.php?title=WG211/M14Schedule&diff=1184 2015-01-15T16:03:35Z

<p>Klaus: </p> <hr /> <div>=IFIP Working Group 2.11, Fourteenth Meeting=<br /> <br /> ==January 20-22, 2015, Stellenbosch, South Africa (excursion January 19)==<br /> <br /> 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.<br /> <br /> === Travel ===<br /> <br /> 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. <br /> <br /> ==== Visa Information ====<br /> <br /> 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.<br /> <br /> '''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!<br /> <br /> ==== Getting to Stellenbosch ====<br /> <br /> 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.<br /> <br /> CPT is about 35km from Stellenbosch; the best transfer option is to book an airport shuttle:<br /> * [http://www.bettinashuttle.co.za/home Bettina's] <br /> * [http://www.travelwithandre.co.za/ Travel with Andre]<br /> * [http://www.shuttleup.co.za/ Shuttle Up]<br /> * [http://www.capetownairportshuttles.co.za/ Cape Town Airport Shuttles]<br /> 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 &quot;IFIP meeting&quot;, and you will get the University rate.<br /> <br /> Stellenbosch is small and easily navigatable by foot, and the venue is in walking distance to most hotels and B&amp;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.<br /> <br /> ==== Accommodation ====<br /> <br /> 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&amp;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.<br /> <br /> Here is a number of guest houses that are between Stias and the central town area, covering different price ranges:<br /> * [http://www.stellenguest.co.za ''ROOSENWIJN''], 14 Van Riebeeck Str. Tel: +27 21 883 3338, [mailto:bookingsenquiries@roosenwijn.co.za bookingsenquiries@roosenwijn.co.za].<br /> * [http://www.caledonvilla.co.za ''CALEDON VILLA''], 7 Neethling Str. Tel: +27 21 883 8912.<br /> * [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].<br /> * [http://www.villa-grande.com ''VILLA GRANDE''], 1 Keerom Str. +27 21 887 8454, [mailto:info@villa-grande.com info@villa-grande.com].<br /> <br /> There are plenty of other guest houses / B&amp;B's in town. Previous meeting attendees have also stayed at:<br /> * [http://www.avenuesguestlodge.com ''AVENUES GUEST LODGE''], 32 The Avenues. Tel: +27 21 887 1843 [mailto:theacampuss@mweb.co.za theacampuss@mweb.co.za].<br /> * [http://www.bonneesperance.com ''BONNE ESPERANCE''], 17 Van Riebeeck Str. Tel: +27 21 887 0225 [mailto:stay@bonneesperance.com stay@bonneesperance.com].<br /> * [http://www.coopmanhuijs.co.za ''COOPMANHUIJS HOTEL''], 33 Church Street. Tel: +27 21 883 8207 [mailto:info@coopmanhuijs.co.za info@coopmanhuijs.co.za].<br /> * [http://www.evergreenmanor.co.za ''EVERGREEN MANOR''], Cnr Murray&amp; Bosman Str. Tel: +27 886 6832 [mailto:stay@evergreenmanor.co.za stay@evergreenmanor.co.za].<br /> * [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].<br /> * [http://www.jonkershuis.co.za/ ''JONKERSHUIS GUESTHOUSE''], 50 Jonkershoek Road. Tel: +27 21 8866000 [mailto:info@jonkershuis.co.za info@jonkershuis.co.za].<br /> * [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].<br /> * [http://www.labrimanor.co.za/ ''LABRI MANOR''], 71 Victoria Str. Tel: +27 21 886 5652 [mailto:malansgh@gmail.com malansgh@gmail.com].<br /> * [http://www.rivermanor.co.za ''RIVER MANOR''], 6 The Avenues. Tel: +27 21 887-9944 [mailto:info@rivermanor.co.za info@rivermanor.co.za].<br /> * [http://www.ryneveldlodge.co.za ''RYNEVELD LODGE''] 67 Ryneveld Str. Tel: +27 21 887 4469 [mailto:ryneveld@iafrica.com ryneveld@iafrica.com].<br /> * [http://www.sa-campuss.com/visit/victoriahouse/ ''VICTORIA HOUSE (Self Catering)''], 21 Van Riebeeck Str. Tel: +27 82 576-3807.<br /> <br /> ==== About South Africa and Stellenbosch ====<br /> <br /> 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]]<br /> <br /> 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/]]<br /> <br /> The [http://www.numbeo.com/cost-of-living/city_result.jsp?country=South+Africa&amp;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.<br /> <br /> ==== Excursions ====<br /> <br /> 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.<br /> <br /> Some links for the Stellenbosch Winelands<br /> * [http://www.wineroute.co.za/welcome.aspx Stellenbosch Wine Route]<br /> * [http://www.cs.sun.ac.za/lpar-19/logistics/information/capefusiontours.com/pams-favourite-wine-farms Cape Wine Estates]<br /> * [http://www.tripadvisor.com/Attractions-g312673-Activities-Stellenbosch_Western_Cape.html Stellenbosch Activities on Trip Advisor]<br /> <br /> Ideas for a few extra days:<br /> * 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.<br /> * 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. <br /> * 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...<br /> * Hike the Bosmanskloof Traverse (either as an overnight hike, or as a day-hike), staying in McGregor or Grayton.<br /> * 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 &quot;poorts&quot; (ie old Mountain passes), like [http://en.wikipedia.org/wiki/Swartberg_Pass Swartbergpass] into Prince Albert, a quaint Karoo town.<br /> * Go shark cage diving in Struisbaai.<br /> <br /> 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...<br /> <br /> Safaris<br /> <br /> 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.<br /> <br /> === Venue ===<br /> <br /> 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&amp;amp;spn=0.005172,0.010568&amp;amp;t=m&amp;amp;z=17&amp;amp;layer=c&amp;amp;cbll=-33.935071,18.873269&amp;amp;panoid=JeUfsD7gZihdv1L5a3gYqw&amp;amp;cbp=12,91.15,,0,0.27&amp;amp;source=embed&amp;amp;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&amp;B's, hotels, and restaurants are within 10-15mins walk.<br /> <br /> == Registration ==<br /> <br /> 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:<br /> <br /> * Cash (ZAR) on the first day of the meeting. Note that there are plenty of ATMs in Stellenbosch.<br /> * 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.<br /> <br /> 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.<br /> <br /> 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&amp;B).<br /> <br /> == Attendance ==<br /> <br /> Members: please add yourself here (in alphabetical order by last name) or email a chair-person to be added.<br /> <br /> Anya Bagge, Sandrine Blazy, Bernd Fischer, Ralf Lämmel, Julia Lawall, Klaus Ostermann, Markus Püschel, Christoph Reichenbach, Tiark Rompf, Ina Schaefer, Ulrik Pagh Schultz, Sven-Bodo Scholz, Walid Taha, Tony Sloane, Yannis Smaragdakis, Eelco Visser, Bruce Watson, Eric Van Wyk<br /> <br /> == Talks and Schedule ==<br /> <br /> 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.<br /> * [[WG211/M14Bagge | Generating Modular C++ and Java Code ]] Anya Helene Bagge<br /> * [[WG211/M14Blazy | Formal verification of static analysis ]] Sandrine Blazy<br /> * [[WG211/M14Fischer | Code generation for distributed applications]] Bernd Fischer<br /> * [[WG211/M14Laemmel | Similarity management for sets of variants]] Ralf Lämmel<br /> * [[WG211/M14Lawall | TDB ]] Julia Lawall<br /> * [[WG211/M14Ostermann | Datatype-Generic Programming with First-Class Regular Functors ]] Klaus Ostermann<br /> * [[WG211/M14Puschel | Automatic Locality-Friendly Interface Extension of Numerical Functions ]] Markus Püschel<br /> * [[WG211/M14Reichenbach | A Domain-Specific Language for Extending PQL/Java ]] Christoph Reichenbach<br /> * [[WG211/M14Schaefer | Variability-Aware Design Patterns]] Ina Schaefer<br /> * [[WG211/M14Scholz | Parallel Branch and Bound, functionally! ]] Sven-Bodo Scholz<br /> * [[WG211/M14Schultz | A domain-specific language for specifying reversible robot assembly tasks]] Ulrik Pagh Schultz<br /> * [[WG211/M14Sloane | The Monto Disintegrated Development Environment]] Tony Sloane<br /> * [[WG211/M14Smaragdakis | TDB ]] Yannis Smaragdakis<br /> * [[WG211/M14Taha | TBD ]] Walid Taha<br /> * [[WG211/M14VanWyk | Origin Tracking in Attribute Grammars ]] Eric Van Wyk<br /> * [[WG211/M14Visser | A theory of name resolution]] Eelco Visser<br /> * [[WG211/M14Watson | TABASCO: taxonomy-based software construction]] Bruce Watson<br /> <br /> There will be a floating schedule where talks are scheduled dynamically as the meeting proceeds.<br /> Overall schedule including lunch arrangements:<br /> <br /> Tuesday (6 talks)<br /> * 09:00-09:15: Welcome<br /> * 09:15-10:00: 1 talk<br /> * 10:30-12:00: 2 talks<br /> * 12:00-14:00: Lunch<br /> * 14:00-15:30: 2 talks<br /> * 16:00-16:45: 1 talk<br /> <br /> Wednesday (6 talks)<br /> * 09:15-10:00: 1 talk<br /> * 10:30-12:00: 2 talks<br /> * 12:00-14:00: Lunch<br /> * 14:00-15:30: 2 talks<br /> * 16:00-17:00: business meeting<br /> <br /> Thursday (6 talks)<br /> * 09:15-10:00: 1 talk<br /> * 10:30-12:00: 2 talks<br /> * 12:00-14:00: Lunch<br /> * 14:00-15:30: 2 talks<br /> * 16:00-16:45: 1 talk<br /> <br /> == Excursion==<br /> <br /> 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. The tour will include a sandwich lunch and a dinner at [http://www.asara.co.za/ Raphael's at Asara], a winery outside Stellenbosch.<br /> <br /> Anya Helene Bagge (x2), Sandrine Blazy, Bernd Fischer, Ralf Lämmel, Klaus Ostermann, Peter Pepper, Markus Püschel, Christoph Reichenbach, Tiark Rompf, Ulrik Schultz, Sven-Bodo Scholz, Tony Sloane, Walid Taha, Eelco Visser, Eric Van Wyk</div>

Klaus http://mw.hh.se/wg211/index.php?title=WG211/M14Schedule&diff=1139 2014-12-04T16:48:11Z

<p>Klaus: </p> <hr /> <div>=IFIP Working Group 2.11, Fourteenth Meeting=<br /> <br /> ==January 20-22, 2015, Stellenbosch, South Africa (excursion January 19)==<br /> <br /> 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.<br /> <br /> === Travel ===<br /> <br /> 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. <br /> <br /> ==== Visa Information ====<br /> <br /> 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.<br /> <br /> '''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!<br /> <br /> ==== Getting to Stellenbosch ====<br /> <br /> 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.<br /> <br /> CPT is about 35km from Stellenbosch; the best transfer option is to book an airport shuttle:<br /> * [http://www.bettinashuttle.co.za/home Bettina's] <br /> * [http://www.travelwithandre.co.za/ Travel with Andre]<br /> * [http://www.shuttleup.co.za/ Shuttle Up]<br /> * [http://www.capetownairportshuttles.co.za/ Cape Town Airport Shuttles]<br /> 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 &quot;IFIP meeting&quot;, and you will get the University rate.<br /> <br /> Stellenbosch is small and easily navigatable by foot, and the venue is in walking distance to most hotels and B&amp;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.<br /> <br /> ==== Accommodation ====<br /> <br /> 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&amp;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.<br /> <br /> Here is a number of guest houses that are between Stias and the central town area, covering different price ranges:<br /> * [http://www.stellenguest.co.za ''ROOSENWIJN''], 14 Van Riebeeck Str. Tel: +27 21 883 3338, [mailto:bookingsenquiries@roosenwijn.co.za bookingsenquiries@roosenwijn.co.za].<br /> * [http://www.caledonvilla.co.za ''CALEDON VILLA''], 7 Neethling Str. Tel: +27 21 883 8912.<br /> * [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].<br /> * [http://www.villa-grande.com ''VILLA GRANDE''], 1 Keerom Str. +27 21 887 8454, [mailto:info@villa-grande.com info@villa-grande.com].<br /> <br /> There are plenty of other guest houses / B&amp;B's in town. Previous meeting attendees have also stayed at:<br /> * [http://www.avenuesguestlodge.com ''AVENUES GUEST LODGE''], 32 The Avenues. Tel: +27 21 887 1843 [mailto:theacampuss@mweb.co.za theacampuss@mweb.co.za].<br /> * [http://www.bonneesperance.com ''BONNE ESPERANCE''], 17 Van Riebeeck Str. Tel: +27 21 887 0225 [mailto:stay@bonneesperance.com stay@bonneesperance.com].<br /> * [http://www.coopmanhuijs.co.za ''COOPMANHUIJS HOTEL''], 33 Church Street. Tel: +27 21 883 8207 [mailto:info@coopmanhuijs.co.za info@coopmanhuijs.co.za].<br /> * [http://www.evergreenmanor.co.za ''EVERGREEN MANOR''], Cnr Murray&amp; Bosman Str. Tel: +27 886 6832 [mailto:stay@evergreenmanor.co.za stay@evergreenmanor.co.za].<br /> * [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].<br /> * [http://www.jonkershuis.co.za/ ''JONKERSHUIS GUESTHOUSE''], 50 Jonkershoek Road. Tel: +27 21 8866000 [mailto:info@jonkershuis.co.za info@jonkershuis.co.za].<br /> * [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].<br /> * [http://www.labrimanor.co.za/ ''LABRI MANOR''], 71 Victoria Str. Tel: +27 21 886 5652 [mailto:malansgh@gmail.com malansgh@gmail.com].<br /> * [http://www.rivermanor.co.za ''RIVER MANOR''], 6 The Avenues. Tel: +27 21 887-9944 [mailto:info@rivermanor.co.za info@rivermanor.co.za].<br /> * [http://www.ryneveldlodge.co.za ''RYNEVELD LODGE''] 67 Ryneveld Str. Tel: +27 21 887 4469 [mailto:ryneveld@iafrica.com ryneveld@iafrica.com].<br /> * [http://www.sa-campuss.com/visit/victoriahouse/ ''VICTORIA HOUSE (Self Catering)''], 21 Van Riebeeck Str. Tel: +27 82 576-3807.<br /> <br /> ==== About South Africa and Stellenbosch ====<br /> <br /> 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]]<br /> <br /> 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/]]<br /> <br /> The [http://www.numbeo.com/cost-of-living/city_result.jsp?country=South+Africa&amp;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.<br /> <br /> ==== Excursions ====<br /> <br /> 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.<br /> <br /> Some links for the Stellenbosch Winelands<br /> * [http://www.wineroute.co.za/welcome.aspx Stellenbosch Wine Route]<br /> * [http://www.cs.sun.ac.za/lpar-19/logistics/information/capefusiontours.com/pams-favourite-wine-farms Cape Wine Estates]<br /> * [http://www.tripadvisor.com/Attractions-g312673-Activities-Stellenbosch_Western_Cape.html Stellenbosch Activities on Trip Advisor]<br /> <br /> Ideas for a few extra days:<br /> * 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.<br /> * 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. <br /> * 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...<br /> * Hike the Bosmanskloof Traverse (either as an overnight hike, or as a day-hike), staying in McGregor or Grayton.<br /> * 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 &quot;poorts&quot; (ie old Mountain passes), like [http://en.wikipedia.org/wiki/Swartberg_Pass Swartbergpass] into Prince Albert, a quaint Karoo town.<br /> * Go shark cage diving in Struisbaai.<br /> <br /> 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...<br /> <br /> Safaris<br /> <br /> 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.<br /> <br /> === Venue ===<br /> <br /> 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&amp;amp;spn=0.005172,0.010568&amp;amp;t=m&amp;amp;z=17&amp;amp;layer=c&amp;amp;cbll=-33.935071,18.873269&amp;amp;panoid=JeUfsD7gZihdv1L5a3gYqw&amp;amp;cbp=12,91.15,,0,0.27&amp;amp;source=embed&amp;amp;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&amp;B's, hotels, and restaurants are within 10-15mins walk.<br /> <br /> == Registration ==<br /> <br /> 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:<br /> <br /> * Cash (ZAR) on the first day of the meeting. Note that there are plenty of ATMs in Stellenbosch.<br /> * 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.<br /> <br /> 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.<br /> <br /> 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&amp;B).<br /> <br /> == Attendance ==<br /> <br /> Members: please add yourself here (in alphabetical order by last name) or email a chair-person to be added.<br /> <br /> Anya Bagge, Sandrine Blazy, Bernd Fischer, 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<br /> <br /> == Talks ==<br /> <br /> 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.<br /> <br /> * [[WG211/M14Fischer | Code generation for distributed applications]] Bernd Fischer<br /> * [[WG211/M14Schultz | A domain-specific language for specifying reversible robot assembly tasks]] Ulrik Pagh Schultz<br /> * [[WG211/M14Visser | A general theory of name resolution]] Eelco Visser<br /> <br /> == Excursion==<br /> <br /> 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. <br /> <br /> Sandrine Blazy, Bernd Fischer, Klaus Ostermann, Markus Püschel, Ulrik Schultz, Tony Sloane, Eelco Visser, Eric Van Wyk</div>

Klaus http://mw.hh.se/wg211/index.php?title=Main_Page&diff=1113 2014-11-03T10:19:10Z

<p>Klaus: Added my name to member list</p> <hr /> <div>Welcome to the homepage of [http://www.ifip.org/ifiptc2/ IFIP TC-2] working group on Program Generation (WG 2.11)<br /> <br /> =Program Generation (WG 2.11)=<br /> <br /> 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.<br /> <br /> ==Current Activity==<br /> <br /> ''' The fourteenth meeting will be in Stellenbosch, South Africa on January 20-22, 2015.''' See [[WG211/M14Schedule]]. (Note: shifted one day compared to previous announcement.)<br /> <br /> ==Current Members==<br /> <br /> {|<br /> |[http://www.infosun.fim.uni-passau.de/cl/staff/apel/ Sven Apel] (DE)<br /> |[http://phoenix.inria.fr/balland Emilie Balland] (FR)<br /> |[http://www.cs.st-andrews.ac.uk/~eb/ Edwin Brady] (UK)<br /> |-<br /> |[http://www.cas.mcmaster.ca/~carette/ Jacques Carette] (CA)<br /> |[http://phoenix.labri.fr/people/consel/ Charles Consel] (FR)<br /> |[http://www.cs.utexas.edu/~wcook/ William R. Cook] (US)<br /> |-<br /> |[http://gsd.uwaterloo.ca/kczarnec Krzysztof Czarnecki] (CA)<br /> |[http://www.brics.dk/~danvy/ Olivier Danvy] (DK)<br /> |[http://ti.arc.nasa.gov/profile/edenney/ Ewen Denney] (US)<br /> |-<br /> |[http://www.cs.sun.ac.za/~bfischer/ Bernd Fischer] (SA)<br /> |[http://www.diku.dk/~glueck Robert Glück] (DK)<br /> |[http://www.cs.st-andrews.ac.uk/~kh/Home/Home.html Kevin Hammond] (UK)<br /> |-<br /> |[http://www.msg-systems.com/74.0.html Christoph Herrmann] (DE)<br /> |[http://www-sal.cs.uiuc.edu/~kamin/ Sam Kamin] (US)<br /> |[http://www.doc.ic.ac.uk/~phjk/ Paul Kelly] (UK)<br /> |-<br /> |[http://okmij.org/ftp/ Oleg Kiselyov] (US)<br /> |[http://www.cs.cmu.edu/~ckaestne/ Christian Kästner] (US)<br /> |[http://pagesperso-systeme.lip6.fr/Julia.Lawall/ Julia Lawall] (FR)<br /> |-<br /> |[http://www.infosun.fmi.uni-passau.de/cl/staff/lengauer/ Christian Lengauer] (DE)<br /> |[http://www.uni-koblenz.de/~laemmel Ralf Lämmel] (DE)<br /> |[http://www.cs.swan.ac.uk/~cspdm Peter Mosses] (UK)<br /> |-<br /> |[http://www.dcs.gla.ac.uk/~jtod/ John O'Donnell] (UK)<br /> |[http://www.informatik.uni-tuebingen.de/ Klaus Ostermann] (DE)<br /> |[http://www.inf.ethz.ch/personal/markusp Markus Püschel] (CH)<br /> |-<br /> |[https://ece.uwaterloo.ca/~drayside/ Derek Rayside] (CA)<br /> |[http://phoenix.labri.fr/people/reveillere/ Laurent Réveillère] (FR)<br /> |[https://www.tu-braunschweig.de/sse/mitarbeiter/schaefer Ina Schaefer] (DE)<br /> |-<br /> |[http://www.macs.hw.ac.uk/~sbs/homepage/main/Welcome.html Sven-Bodo Scholz] (GB)<br /> |[http://www.mmmi.sdu.dk/~ups Ulrik Pagh Schultz] (DK), Chair<br /> |[http://www.cs.rutgers.edu/~ccshan/ Chung-Chieh Shan] (US)<br /> |-<br /> |[http://wphomes.soic.indiana.edu/jsiek/ Jeremy Siek] (US)<br /> |[https://wiki.mq.edu.au/display/plrg/Anthony+Sloane Anthony M. Sloane] (AU)<br /> |[http://www.cs.umass.edu/~yannis/ Yannis Smaragdakis] (US)<br /> |-<br /> |[http://www.cs.rice.edu/~taha/ Walid Taha] (SE)<br /> |[http://www-users.cs.umn.edu/~evw/ Eric Van Wyk] (US), Vice Chair<br /> |[http://swerl.tudelft.nl/bin/view/EelcoVisser Eelco Visser] (NL)<br /> |}<br /> <br /> ==Past Activity==<br /> * [[WG211/M13Schedule | Thirteenth meeting in Pittsburgh, USA]]<br /> * [[WG211/M12Schedule | Twelfth meeting in Minneapolis, USA]]<br /> * [[WG211/M11Schedule | Eleventh meeting in Halmstad, Sweden]]<br /> * [[WG211/M10Schedule | Tenth meeting in Bordeaux, France]]<br /> * [[WG211/M9Schedule | Ninth meeting in Waterloo, Canada]]<br /> * [[WG211/M8Schedule | Eighth meeting in St. Andrews Scotland]]<br /> * [[WG211/M7Schedule | Seventh meeting in Mountain View, California]]<br /> * [[WG211/M6Schedule | Sixth meeting in Passau]]<br /> * [[WG211/M5Schedule | Fifth meeting in Copenhagen]]<br /> * [[WG211/M4Schedule | Fourth meeting in Portland]]<br /> * [[WG211/M3Schedule | Third meeting at Dagstuhl]]<br /> * [[WG211/MeetingTwo | Second meeting at Rice, Houston, TX.]]<br /> * [[WG211/MeetingOne | Kickoff meeting in St. Emilion]]<br /> <br /> <br /> &lt;!--<br /> # Voted (by email) for one of the following locations:<br /> ## [[http://www.saint-emilion.org/ Saint Emilion]], ([[http://www.saint-emilion-tourisme.com/ more info]]), [[http://www.lonelyplanet.com/destinations/europe/bordeaux/ Bordeaux]] region, France<br /> ## [[http://www.lonelyplanet.com/destinations/north_america/san_antonio/ San Antonio]]: (A) [[http://hillcountry.hyatt.com/property/meetingsevents/meetings/index.jhtml Hyatt]] or (B) [[http://www.lamansion.com/index.cfm La Mansion]]<br /> ## [[http://www.lonelyplanet.com/destinations/north_america/houston/ Houston]]: (A) [[http://www.southernempress.com/index.asp Southern Empress]] or (B) [[http://www.dellago.com/_accommodations/main.htm Dellago]]<br /> # Location 1 was chosen, to maximize attendance (preference was equal)<br /> # Incrementaly confirmed/revised list of proposed members. Currently (2004/1/16) under-represented groups are female researchers and researchers from the rest of the world.<br /> # Developed 50% of position statements (2004/5/1)--&gt;<br /> <br /> ==Background==<br /> <br /> * [[WG211/WG211-Aims-2011-02-25 | Current aims ]] of the working group, revised February 2011 <br /> <br /> * [[Media:aims-2003-09-01.txt | Initial aims ]] of the working group, as submitted to IFIP, September 2003).<br /> <br /> * [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.<br /> <br /> ==Related events==<br /> * GPCE and SLE will both be held in Pittsburgh, PA, USA in the fall of 2015 as part of the SPLASH conference.<br /> <br /> * [http://program-transformation.org/GPCE13 GPCE 2013]: 12th International Conference on Generative Programming and Component Engineering (GPCE'13), October 27-28, 2013, Indianapolis, IN, USA<br /> * [http://planet-sl.org/sle2013 SLE 2013]: 6th International Conference on Software Language Engineering (SLE), October 26 -28, 2013, Indianapolis, IN, USA<br /> <br /> <br /> &lt;!--* [http://fosd.de/2012 FOSD 2012]: Fourth International Workshop on Feature-Oriented Software Development (FOSD), September 24-25, 2012, Dresden, Germany.<br /> * [http://www.cgo.org/cgo2012/index.html CGO 2012]: 2012 International Symposium on Code Generation and Optimization, March 31-April 4, San Jose, California.<br /> * [http://www.reversible-computation.org/2012/ RC 2012]: 4th Workshop on Reversible Computation, July 2nd-3rd, 2012, Copenhagen, Denmark.--&gt;<br /> <br /> <br /> &lt;!-- [https://dsl2011.bordeaux.inria.fr/ DSL 2011: Conference on Domain-Specific Languages, 6&amp;ndash;8 September 2011, Bordeaux, France] (September 6-8, 2011)<br /> [http://www.cgo.org/cgo2011/ International Symposium on Code Generation and Optimization (CGO)] (April 2-6, 2011, Chamonix)--&gt;<br /> <br /> &lt;!-- &lt;p&gt; &lt;/p&gt; &lt;ul&gt; &lt;li&gt; &lt;span class=&quot;WYSIWYG_LINK&quot;&gt;[[http://wiki.portal.chalmers.se/cse/WGP09 ACM SIGPLAN Workshop on Generic Programming]]&lt;/span&gt; (August 30, 2009, Edinburgh, UK) &lt;/li&gt; &lt;/ul&gt;&lt;p&gt; &lt;/p&gt; &lt;ul&gt; &lt;li&gt; &lt;span class=&quot;WYSIWYG_LINK&quot;&gt;[[WG211/DSLWC | DSLWC]]&lt;/span&gt; (July 15-17, 2009, Oxford) &lt;span class=&quot;WYSIWYG_LINK&quot;&gt;[[http://web.comlab.ox.ac.uk/people/Jeremy.Gibbons/wg21/wcdsl/ Program, registration, etc.]]&lt;/span&gt; &lt;/li&gt; &lt;/ul&gt;--&gt;<br /> <br /> ==Job openings==<br /> &lt;!-- ''' PhD/Postdoc in Passau: [[http://smart-generators.org/Job-Passau1-08''' FeatureFoundation: Algebra-Based Feature-Oriented Program Synthesis]]<br /> ''' PhD/Postdoc in Passau: [[http://smart-generators.org/Job-Passau2-08''' Programming Methods for Manycore Architectures]]--&gt;<br /> <br /> ==Mailing list==<br /> * 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].<br /> <br /> '''Contact information:''' Please direct comments or questions to wg2.11-chair@cs.rice.edu.</div>

Klaus http://mw.hh.se/wg211/index.php?title=WG211/M14Schedule&diff=1107 2014-10-28T13:03:10Z

<p>Klaus: </p> <hr /> <div>=IFIP Working Group 2.11, Fourteenth Meeting=<br /> <br /> ==January 20-22, 2015, Stellenbosch, South Africa (excursion January 19)==<br /> <br /> 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.<br /> <br /> === Travel ===<br /> <br /> 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. <br /> <br /> ==== Visa Information ====<br /> <br /> 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.<br /> <br /> '''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!<br /> <br /> ==== Getting to Stellenbosch ====<br /> <br /> 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.<br /> <br /> CPT is about 35km from Stellenbosch; the best transfer option is to book an airport shuttle:<br /> * [http://www.bettinashuttle.co.za/home Bettina's] <br /> * [http://www.travelwithandre.co.za/ Travel with Andre]<br /> * [http://www.shuttleup.co.za/ Shuttle Up]<br /> * [http://www.capetownairportshuttles.co.za/ Cape Town Airport Shuttles]<br /> 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.<br /> <br /> Stellenbosch is small and easily navigatable by foot, and the venue is in walking distance to most hotels and B&amp;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.<br /> <br /> ==== Accommodation ====<br /> <br /> 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&amp;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.<br /> <br /> * [http://www.avenuesguestlodge.com ''AVENUES GUEST LODGE''], 32 The Avenues. Tel: +27 21 887 1843 [mailto:theacampuss@mweb.co.za theacampuss@mweb.co.za].<br /> * [http://www.bonneesperance.com ''BONNE ESPERANCE''], 17 Van Riebeeck Str. Tel: +27 21 887 0225 [mailto:stay@bonneesperance.com stay@bonneesperance.com].<br /> * [http://www.caledonvilla.co.za ''CALEDON VILLA''], 7 Neethling Str. Tel: +27 21 883 8912.<br /> * [http://www.coopmanhuijs.co.za ''COOPMANHUIJS HOTEL''], 33 Church Street. Tel: +27 21 883 8207 [mailto:info@coopmanhuijs.co.za info@coopmanhuijs.co.za].<br /> * [http://www.evergreenmanor.co.za ''EVERGREEN MANOR''], Cnr Murray&amp; Bosman Str. Tel: +27 886 6832 [mailto:stay@evergreenmanor.co.za stay@evergreenmanor.co.za].<br /> * [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].<br /> * [http://www.jonkershuis.co.za/ ''JONKERSHUIS GUESTHOUSE''], 50 Jonkershoek Road. Tel: +27 21 8866000 [mailto:info@jonkershuis.co.za info@jonkershuis.co.za].<br /> * [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].<br /> * [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].<br /> * [http://www.labrimanor.co.za/ ''LABRI MANOR''], 71 Victoria Str. Tel: +27 21 886 5652 [mailto:malansgh@gmail.com malansgh@gmail.com].<br /> * [http://www.rivermanor.co.za ''RIVER MANOR''], 6 The Avenues. Tel: +27 21 887-9944 [mailto:info@rivermanor.co.za info@rivermanor.co.za].<br /> * [http://www.stellenguest.co.za ''ROOSENWIJN''], 14 Van Riebeeck Str. Tel: +27 21 883 3338, [mailto:bookingsenquiries@roosenwijn.co.za bookingsenquiries@roosenwijn.co.za].<br /> * [http://www.ryneveldlodge.co.za ''RYNEVELD LODGE''] 67 Ryneveld Str. Tel: +27 21 887 4469 [mailto:ryneveld@iafrica.com ryneveld@iafrica.com].<br /> * [http://www.sa-campuss.com/visit/victoriahouse/ ''VICTORIA HOUSE (Self Catering)''], 21 Van Riebeeck Str. Tel: +27 82 576-3807.<br /> * [http://www.villa-grande.com ''VILLA GRANDE''], 1 Keerom Str. +27 21 887 8454, [mailto:info@villa-grande.com info@villa-grande.com].<br /> <br /> ==== About South Africa and Stellenbosch ====<br /> <br /> 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]]<br /> <br /> 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/]]<br /> <br /> The [http://www.numbeo.com/cost-of-living/city_result.jsp?country=South+Africa&amp;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.<br /> <br /> ==== Excursions ====<br /> <br /> 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.<br /> <br /> Stellenbosch Winelands<br /> * [http://www.wineroute.co.za/welcome.aspx Stellenbosch Wine Route]<br /> * [http://www.cs.sun.ac.za/lpar-19/logistics/information/capefusiontours.com/pams-favourite-wine-farms Cape Wine Estates]<br /> * [http://www.tripadvisor.com/Attractions-g312673-Activities-Stellenbosch_Western_Cape.html Stellenbosch Activities on Trip Advisor]<br /> <br /> Cape Town<br /> <br /> Safaris<br /> <br /> === Venue ===<br /> <br /> 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&amp;amp;spn=0.005172,0.010568&amp;amp;t=m&amp;amp;z=17&amp;amp;layer=c&amp;amp;cbll=-33.935071,18.873269&amp;amp;panoid=JeUfsD7gZihdv1L5a3gYqw&amp;amp;cbp=12,91.15,,0,0.27&amp;amp;source=embed&amp;amp;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&amp;B's, hotels, and restaurants are within 10-15mins walk.<br /> <br /> == Registration ==<br /> <br /> 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:<br /> <br /> * Cash (ZAR) on the first day of the meeting. Note that there are plenty of ATMs in Stellenbosch.<br /> * 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.<br /> <br /> 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.<br /> <br /> On arrival, you will receive a single receipt on University letterhead. This will be issued for the currency you used for your payment.<br /> <br /> == Attendance ==<br /> <br /> Members: please add yourself here (in alphabetical order by last name) or email a chair-person to be added.<br /> <br /> Eric Bodden, Bernd Fischer, Klaus Ostermann, Christoph Reichenbach, Ulrik Pagh Schultz, Yannis Smaragdakis, Markus Püschel, Eric Van Wyk, Bruce Watson<br /> <br /> == Talks ==<br /> <br /> 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.<br /> <br /> * [[WG211/M14Schultz | A domain-specific language for specifying reversible robot assembly tasks]] Ulrik Pagh Schultz<br /> <br /> == Excursion==<br /> <br /> 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. <br /> <br /> Bernd Fischer, Ulrik Schultz</div>

Klaus