http://mw.hh.se/wg211/api.php?action=feedcontributions&feedformat=atom&user=Igarashi 2026-04-05T21:01:12Z User contributions MediaWiki 1.43.5 http://mw.hh.se/wg211/index.php?title=WG211/M25Schedule&diff=2773 2025-08-19T01:41:52Z

<p>Igarashi: /* Members attending */</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 /> * Yuito Murase (as proxy of Atsushi Igarashi)<br /> * Eric Van Wyk<br /> * Jeremy Yallop<br /> <br /> === Guests and Observers ===<br /> <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>

Igarashi http://mw.hh.se/wg211/index.php?title=WG211/M20Schedule&diff=2139 2020-01-24T13:14:53Z

<p>Igarashi: /* Talks */</p> <hr /> <div>=IFIP Working Group 2.11, Twentieth Meeting=<br /> <br /> == Febuary 17-20th in Paris, France ==<br /> <br /> The meeting will be held in Paris, France, hosted by Julia Lawall.<br /> <br /> The meeting will last 3.5 days; the first three days will be full-day, whereas the last day will be a half-day session.<br /> <br /> === Venue ===<br /> <br /> LIP6, 4 place Jussieu, 75005 Paris<br /> <br /> room 25-26/105<br /> <br /> === Travel ===<br /> <br /> From CDG: RER B to St Michel, and then line 10 to Jussieu. This can be done with a single ticket (10.30 euros). It takes around 1 hour.<br /> <br /> From Orly also takes about an hour, but is less convenient.<br /> <br /> === Accommodation ===<br /> <br /> The [https://www.parishotelminerve.com/en/ Hotel Minerve] is suggested. There are other hotels nearby, on the rue des Ecoles or the rue Linne. For other accomodations, consider staying near metro line 10 or metro line 7.<br /> <br /> === Registration ===<br /> <br /> The cost of the registration will be 300 euros. The registration site is now open: https://congres.upmc.fr/ifip2020/<br /> <br /> == Attendance ==<br /> <br /> Members: please add yourself here (in alphabetical order by last name) or email a chair-person to be added. [Guests will be added by chair-people]<br /> <br /> Edwin Brady, Jacques Carette, Bernd Fischer, Robert Glück, Atsushi Igarashi (until Wednesday lunch), Yukiyoshi Kameyama, Paul Kelly, Oleg Kiselyov, Julia Lawall, Christian Lengauer, Geoff Mainland, Peter Mosses, Markus Püschel (arrival: late afternoon Monday, departure: late afternoon Wednesday, due to teaching) Christoph Reichenbach, Bodo Scholz, Walid Taha, Matthew Taylor, Ulrik Pagh Schultz, Eelco Visser, Jeremy Yallop, Vadim Zaytzev<br /> <br /> Still deciding, but tentative yes: Tim Sheard<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, alphabetical order by last name:<br /> <br /> * Atsushi Igarashi [[WG211/M20Igarashi | Full-spectrum Dependent-types for Multi-Stage Programming ]]<br /> * Ulrik Pagh Schultz [[WG211/M20Schultz | Coarse-grained Computational Energy Modeling for Autonomous Systems]]<br /> * Eelco Visser [[WG211/M20Visser | Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System]]<br /> <br /> We will follow our usual format of interactive talks with an active audience, using a chess clock for timing, as follows. For each talk the speaker and the audience each get at most 25 minutes. The audience does not have to wait until the end of a talk to ask questions; interaction and discussion is encouraged. (But experience from previous meeting shows that it is useful to let the speaker at least finish their introduction before interrupting.) To ensure fairness, administration of the time used by each party is done using a chess clock. Operation of the clock rotates among participants. Both speakers and audience are expected to contribute to make talks and discussions engaging, interesting, and useful. Therefore, we observe a policy of no use of electronic devices during talks (other than the device the speaker uses to present slides). Bring paper and pen for making notes.<br /> <br /> == Program / schedule ==<br /> <br /> === Scientific program ===<br /> <br /> TBA<br /> <br /> === Social events ===<br /> <br /> TBA</div>

Igarashi http://mw.hh.se/wg211/index.php?title=WG211/M20Schedule&diff=2138 2020-01-21T21:24:59Z

<p>Igarashi: /* Attendance */</p> <hr /> <div>=IFIP Working Group 2.11, Twentieth Meeting=<br /> <br /> == Febuary 17-20th in Paris, France ==<br /> <br /> The meeting will be held in Paris, France, hosted by Julia Lawall.<br /> <br /> The meeting will last 3.5 days; the first three days will be full-day, whereas the last day will be a half-day session.<br /> <br /> === Venue ===<br /> <br /> LIP6, 4 place Jussieu, 75005 Paris<br /> <br /> room 25-26/105<br /> <br /> === Travel ===<br /> <br /> From CDG: RER B to St Michel, and then line 10 to Jussieu. This can be done with a single ticket (10.30 euros). It takes around 1 hour.<br /> <br /> From Orly also takes about an hour, but is less convenient.<br /> <br /> === Accommodation ===<br /> <br /> The [https://www.parishotelminerve.com/en/ Hotel Minerve] is suggested. There are other hotels nearby, on the rue des Ecoles or the rue Linne. For other accomodations, consider staying near metro line 10 or metro line 7.<br /> <br /> === Registration ===<br /> <br /> The cost of the registration will be 300 euros. The registration site is now open: https://congres.upmc.fr/ifip2020/<br /> <br /> == Attendance ==<br /> <br /> Members: please add yourself here (in alphabetical order by last name) or email a chair-person to be added. [Guests will be added by chair-people]<br /> <br /> Edwin Brady, Jacques Carette, Bernd Fischer, Robert Glück, Atsushi Igarashi (until Wednesday lunch), Yukiyoshi Kameyama, Paul Kelly, Oleg Kiselyov, Julia Lawall, Christian Lengauer, Geoff Mainland, Peter Mosses, Markus Püschel (arrival: late afternoon Monday, departure: late afternoon Wednesday, due to teaching) Christoph Reichenbach, Bodo Scholz, Walid Taha, Matthew Taylor, Ulrik Pagh Schultz, Eelco Visser, Jeremy Yallop, Vadim Zaytzev<br /> <br /> Still deciding, but tentative yes: Tim Sheard<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, alphabetical order by last name:<br /> <br /> * Ulrik Pagh Schultz [[WG211/M20Schultz | Coarse-grained Computational Energy Modeling for Autonomous Systems]]<br /> * Eelco Visser [[WG211/M20Visser | Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System]]<br /> <br /> We will follow our usual format of interactive talks with an active audience, using a chess clock for timing, as follows. For each talk the speaker and the audience each get at most 25 minutes. The audience does not have to wait until the end of a talk to ask questions; interaction and discussion is encouraged. (But experience from previous meeting shows that it is useful to let the speaker at least finish their introduction before interrupting.) To ensure fairness, administration of the time used by each party is done using a chess clock. Operation of the clock rotates among participants. Both speakers and audience are expected to contribute to make talks and discussions engaging, interesting, and useful. Therefore, we observe a policy of no use of electronic devices during talks (other than the device the speaker uses to present slides). Bring paper and pen for making notes.<br /> <br /> == Program / schedule ==<br /> <br /> === Scientific program ===<br /> <br /> TBA<br /> <br /> === Social events ===<br /> <br /> TBA</div>

Igarashi http://mw.hh.se/wg211/index.php?title=WG211/M20Schedule&diff=2137 2020-01-21T21:23:36Z

<p>Igarashi: /* Attendance */</p> <hr /> <div>=IFIP Working Group 2.11, Twentieth Meeting=<br /> <br /> == Febuary 17-20th in Paris, France ==<br /> <br /> The meeting will be held in Paris, France, hosted by Julia Lawall.<br /> <br /> The meeting will last 3.5 days; the first three days will be full-day, whereas the last day will be a half-day session.<br /> <br /> === Venue ===<br /> <br /> LIP6, 4 place Jussieu, 75005 Paris<br /> <br /> room 25-26/105<br /> <br /> === Travel ===<br /> <br /> From CDG: RER B to St Michel, and then line 10 to Jussieu. This can be done with a single ticket (10.30 euros). It takes around 1 hour.<br /> <br /> From Orly also takes about an hour, but is less convenient.<br /> <br /> === Accommodation ===<br /> <br /> The [https://www.parishotelminerve.com/en/ Hotel Minerve] is suggested. There are other hotels nearby, on the rue des Ecoles or the rue Linne. For other accomodations, consider staying near metro line 10 or metro line 7.<br /> <br /> === Registration ===<br /> <br /> The cost of the registration will be 300 euros. The registration site is now open: https://congres.upmc.fr/ifip2020/<br /> <br /> == Attendance ==<br /> <br /> Members: please add yourself here (in alphabetical order by last name) or email a chair-person to be added. [Guests will be added by chair-people]<br /> <br /> Edwin Brady, Jacques Carette, Bernd Fischer, Robert Glück, Atsushi Igarashi, Yukiyoshi Kameyama, Paul Kelly, Oleg Kiselyov, Julia Lawall, Christian Lengauer, Geoff Mainland, Peter Mosses, Markus Püschel (arrival: late afternoon Monday, departure: late afternoon Wednesday, due to teaching) Christoph Reichenbach, Bodo Scholz, Walid Taha, Matthew Taylor, Ulrik Pagh Schultz, Eelco Visser, Jeremy Yallop, Vadim Zaytzev<br /> <br /> Still deciding, but tentative yes: Tim Sheard<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, alphabetical order by last name:<br /> <br /> * Ulrik Pagh Schultz [[WG211/M20Schultz | Coarse-grained Computational Energy Modeling for Autonomous Systems]]<br /> * Eelco Visser [[WG211/M20Visser | Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System]]<br /> <br /> We will follow our usual format of interactive talks with an active audience, using a chess clock for timing, as follows. For each talk the speaker and the audience each get at most 25 minutes. The audience does not have to wait until the end of a talk to ask questions; interaction and discussion is encouraged. (But experience from previous meeting shows that it is useful to let the speaker at least finish their introduction before interrupting.) To ensure fairness, administration of the time used by each party is done using a chess clock. Operation of the clock rotates among participants. Both speakers and audience are expected to contribute to make talks and discussions engaging, interesting, and useful. Therefore, we observe a policy of no use of electronic devices during talks (other than the device the speaker uses to present slides). Bring paper and pen for making notes.<br /> <br /> == Program / schedule ==<br /> <br /> === Scientific program ===<br /> <br /> TBA<br /> <br /> === Social events ===<br /> <br /> TBA</div>

Igarashi http://mw.hh.se/wg211/index.php?title=WG211/M18Schedule&diff=1875 2018-06-02T05:05:19Z

<p>Igarashi: /* Social events */</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 /> * ... (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>

Igarashi http://mw.hh.se/wg211/index.php?title=WG211/M18Schedule&diff=1874 2018-06-02T05:04:55Z

<p>Igarashi: /* Social events */</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 /> * ... (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. <br /> 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>

Igarashi http://mw.hh.se/wg211/index.php?title=WG211/M18Schedule&diff=1873 2018-06-01T01:23:16Z

<p>Igarashi: /* Social events */</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 /> * ... (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 restaurants for dinner and 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 entrance of Yasaka Shrine at 6:20pm. (More instructions to be added...)<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. (More instructions to be added...)<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>

Igarashi http://mw.hh.se/wg211/index.php?title=WG211/M18Schedule&diff=1861 2018-05-28T07:32:34Z

<p>Igarashi: /* Social events */</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; dep KIX 09 Jun 2018<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 /> <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 /> * 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 | Designing a Language for Drone Swarm Programming]]<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>

Igarashi http://mw.hh.se/wg211/index.php?title=WG211/M18Schedule&diff=1839 2018-05-22T03:37:03Z

<p>Igarashi: /* June 4-7, 2018 in Kyoto, Japan. */</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; dep KIX 09 Jun 2018<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 at 10:30 on KL862<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), Sandrine Blazy, Jacques Carette, Shigeru Chiba, Jeremy Gibbons, Robert Glück, Kevin Hammond, Atsushi Igarashi, Oleg Kiselyov, Julia Lawall, Christian Lengauer, Ralf Lämmel, Peter Mosses (not Thursday), Klaus Ostermann, Markus Püschel, Christoph Reichenbach, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Satnam Singh, Tony Sloane, Kanae Tsushima, Eric Van Wyk, Eelco Visser, Jeremy Yallop<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 | In search of a map: automatic parallel recursion scheme detection in Haskell functions via anti-unification.]]<br /> * Sandrine Blazy [[WG211/M18Blazy | Verified translation validation of static analyses]]<br /> * Jacques Carette [[WG211/M18Carette | A tale of theories and data-structures]]<br /> * Jeremy Gibbons [[WG211/M18Gibbons | Profunctor Optics and the Yoneda Lemma]]<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 /> * 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 /> * Sven-Bodo Scholz [[WG211/M18Scholz | A Lambda-Calculus for Transfinite Arrays - Towards Unifying Streams and Arrays]]<br /> * Ulrik Pagh Schultz [[WG211/M18Schultz | Designing a Language for Drone Swarm Programming]]<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 /> * 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; <br /> ** Dinner at Kagaribi (かがり火) (http://www.gion-kagaribi.com/)<br /> * Tuesday 5 June;<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>

Igarashi http://mw.hh.se/wg211/index.php?title=WG211/M18Schedule&diff=1838 2018-05-22T03:07:14Z

<p>Igarashi: /* June 4-7, 2018 in Kyoto, Japan. */</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 /> <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; dep KIX 09 Jun 2018<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 at 10:30 on KL862<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), Sandrine Blazy, Jacques Carette, Shigeru Chiba, Jeremy Gibbons, Robert Glück, Kevin Hammond, Atsushi Igarashi, Oleg Kiselyov, Julia Lawall, Christian Lengauer, Ralf Lämmel, Peter Mosses (not Thursday), Klaus Ostermann, Markus Püschel, Christoph Reichenbach, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Satnam Singh, Tony Sloane, Kanae Tsushima, Eric Van Wyk, Eelco Visser, Jeremy Yallop<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 | In search of a map: automatic parallel recursion scheme detection in Haskell functions via anti-unification.]]<br /> * Sandrine Blazy [[WG211/M18Blazy | Verified translation validation of static analyses]]<br /> * Jacques Carette [[WG211/M18Carette | A tale of theories and data-structures]]<br /> * Jeremy Gibbons [[WG211/M18Gibbons | Profunctor Optics and the Yoneda Lemma]]<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 /> * 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 /> * Sven-Bodo Scholz [[WG211/M18Scholz | A Lambda-Calculus for Transfinite Arrays - Towards Unifying Streams and Arrays]]<br /> * Ulrik Pagh Schultz [[WG211/M18Schultz | Designing a Language for Drone Swarm Programming]]<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 /> * 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; <br /> ** Dinner at Kagaribi (かがり火) (http://www.gion-kagaribi.com/)<br /> * Tuesday 5 June;<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>

Igarashi http://mw.hh.se/wg211/index.php?title=WG211/M18Schedule&diff=1837 2018-05-22T02:59:14Z

<p>Igarashi: /* Venue */</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 the campus map].) If you stay in the Hearton Hotel Kyoto, you can take a rapid bus to Kyoto Univ. Hospital and Main Gate at Karasuma-Oike. Get off at either Kyoto Univ. Main Gate or Hyakumanben, which is 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.<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 the campus map]<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; dep KIX 09 Jun 2018<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 at 10:30 on KL862<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), Sandrine Blazy, Jacques Carette, Shigeru Chiba, Jeremy Gibbons, Robert Glück, Kevin Hammond, Atsushi Igarashi, Oleg Kiselyov, Julia Lawall, Christian Lengauer, Ralf Lämmel, Peter Mosses (not Thursday), Klaus Ostermann, Markus Püschel, Christoph Reichenbach, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Satnam Singh, Tony Sloane, Kanae Tsushima, Eric Van Wyk, Eelco Visser, Jeremy Yallop<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 | In search of a map: automatic parallel recursion scheme detection in Haskell functions via anti-unification.]]<br /> * Sandrine Blazy [[WG211/M18Blazy | Verified translation validation of static analyses]]<br /> * Jacques Carette [[WG211/M18Carette | A tale of theories and data-structures]]<br /> * Jeremy Gibbons [[WG211/M18Gibbons | Profunctor Optics and the Yoneda Lemma]]<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 /> * 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 /> * Sven-Bodo Scholz [[WG211/M18Scholz | A Lambda-Calculus for Transfinite Arrays - Towards Unifying Streams and Arrays]]<br /> * Ulrik Pagh Schultz [[WG211/M18Schultz | Designing a Language for Drone Swarm Programming]]<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 /> * 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; <br /> ** Dinner at Kagaribi (かがり火) (http://www.gion-kagaribi.com/)<br /> * Tuesday 5 June;<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>

Igarashi http://mw.hh.se/wg211/index.php?title=WG211/M18Igarashi&diff=1820 2018-05-21T00:39:48Z

<p>Igarashi: Created page with &quot;Loop fusion—a program transformation to merge multiple consecutive loops into a single one—has been studied mainly for compiler optimization. In this paper, we propose a n...&quot;</p> <hr /> <div>Loop fusion—a program transformation to merge multiple<br /> consecutive loops into a single one—has been studied mainly<br /> for compiler optimization. In this paper, we propose a new<br /> loop fusion strategy, which can fuse any loops—even loops<br /> with data dependence—and show that it is useful for program<br /> verification because it can simplify loop invariants.<br /> <br /> The crux of our loop fusion is the following observation: if<br /> the state after the first loop were known, the two loop bodies<br /> could be computed at the same time without suffering from<br /> data dependence by renaming program variables. Our loop<br /> fusion produces a program that guesses the unknown state<br /> after the first loop nondeterministically, executes the fused<br /> loop where variables are renamed, compares the guessed<br /> state and the state actually computed by the fused loop,<br /> and, if they do not match, diverges. The last two steps of<br /> comparison and divergence are crucial to preserve partial<br /> correctness. We call our approach “guess-and-assume” be-<br /> cause, in addition to the first step to guess, the last two steps<br /> can be expressed by the pseudo-instruction assume, used in<br /> program verification.<br /> <br /> We formalize our loop fusion for a simple imperative lan-<br /> guage and prove that it preserves partial correctness. We<br /> further extend the “guess-and-assume” technique to revers-<br /> ing loop execution, which is useful to verify a certain type of<br /> consecutive loops. Finally, we confirm by experiments that<br /> our transformation techniques are indeed effective for state-<br /> of-the-art model checkers to verify a few small programs<br /> that they could not.</div>

Igarashi http://mw.hh.se/wg211/index.php?title=WG211/M18Schedule&diff=1819 2018-05-21T00:38:48Z

<p>Igarashi: /* Talks */</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 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 /> <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),<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; dep KIX 09 Jun 2018<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 at 10:30 on KL862<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 /> Sandrine Blazy, Jacques Carette, Shigeru Chiba, Jeremy Gibbons, Robert Glück, Kevin Hammond, Atsushi Igarashi, Oleg Kiselyov, Julia Lawall, Christian Lengauer, Ralf Lämmel, Peter Mosses, Klaus Ostermann, Markus Püschel, Christoph Reichenbach, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Satnam Singh, Tony Sloane, Kanae Tsushima, Eric Van Wyk, Eelco Visser, Jeremy Yallop<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 /> * Sandrine Blazy [[WG211/M18Blazy | Verified translation validation of static analyses]]<br /> * Jacques Carette [[WG211/M18Carette | A tale of theories and data-structures]]<br /> * Jeremy Gibbons [[WG211/M18Gibbons | Profunctor Optics and the Yoneda Lemma]]<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 /> * Ralf Lämmel [[WG211/M18Laemmel | Towards a relatively systematic literature survey on program generation]]<br /> * Peter Mosses [[WG211/M18Mosses | The CBS Framework]]<br /> * Markus Püschel [[WG211/M18Pueschel | SIMD Intrinsics on Managed Runtimes]] (not on Monday)<br /> * Ulrik Pagh Schultz [[WG211/M18Schultz | Designing a Language for Drone Swarm Programming]]<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 /> * 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<br /> <br /> === Social events ===<br /> <br /> * Monday 4 June; <br /> ** Dinner at Kagaribi (かがり火) (http://www.gion-kagaribi.com/)<br /> * Tuesday 5 June;<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>

Igarashi http://mw.hh.se/wg211/index.php?title=WG211/M18Schedule&diff=1759 2018-05-01T09:12:17Z

<p>Igarashi: /* Registration */</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 /> <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<br /> * Tony arr KIX 02 Jun 2018 19:10 on QF33; dep KIX 09 Jun 2018 20:40 on QF34<br /> * Julia arr KIX 03 Jun 2018 08:40 on AF292; dep KIX 09 Jun 2018 10:30 on AF291<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 /> Sandrine Blazy, Jacques Carette, Jeremy Gibbons, Robert Glück, Kevin Hammond, Atsushi Igarashi, Julia Lawall, Christian Lengauer, Peter Mosses, Klaus Ostermann, Markus Püschel, Christoph Reichenbach, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Satnam Singh, Tony Sloane, Eric Van Wyk<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 /> * Monday 4 June; <br /> ** Dinner at Kagaribi (かがり火) (http://www.gion-kagaribi.com/)<br /> * Tuesday 5 June;<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: 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]<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.<br /> <br /> 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>

Igarashi http://mw.hh.se/wg211/index.php?title=WG211/M18Schedule&diff=1757 2018-04-25T02:44:05Z

<p>Igarashi: /* Excursion */</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 /> <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<br /> * Tony arr KIX 02 Jun 2018 19:10 on QF33; dep KIX 09 Jun 2018 20:40 on QF34<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 the registration site, which will be open soon (perhaps on the second week of May), there is an option for your family: 28,000 JPY for everything but refreshments and lunch (during the meeting).<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, Peter Mosses, Klaus Ostermann, Markus Püschel, Christoph Reichenbach, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Satnam Singh, Tony Sloane, Eric Van Wyk<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 /> * Monday 4 June; <br /> ** Dinner at Kagaribi (かがり火) (http://www.gion-kagaribi.com/)<br /> * Tuesday 5 June;<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: 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]<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.<br /> <br /> 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>

Igarashi http://mw.hh.se/wg211/index.php?title=WG211/M18Schedule&diff=1756 2018-04-25T02:41:01Z

<p>Igarashi: /* Registration */</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 /> <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<br /> * Tony arr KIX 02 Jun 2018 19:10 on QF33; dep KIX 09 Jun 2018 20:40 on QF34<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 the registration site, which will be open soon (perhaps on the second week of May), there is an option for your family: 28,000 JPY for everything but refreshments and lunch (during the meeting).<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, Peter Mosses, Klaus Ostermann, Markus Püschel, Christoph Reichenbach, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Satnam Singh, Tony Sloane, Eric Van Wyk<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 /> * Monday 4 June; <br /> ** Dinner at Kagaribi (かがり火) (http://www.gion-kagaribi.com/)<br /> * Tuesday 5 June;<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 /> <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: 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]<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.<br /> <br /> 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>

Igarashi http://mw.hh.se/wg211/index.php?title=WG211/M18Schedule&diff=1755 2018-04-25T02:35:56Z

<p>Igarashi: /* Excursion */</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 /> <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<br /> * Tony arr KIX 02 Jun 2018 19:10 on QF33; dep KIX 09 Jun 2018 20:40 on QF34<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, Peter Mosses, Klaus Ostermann, Markus Püschel, Christoph Reichenbach, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Satnam Singh, Tony Sloane, Eric Van Wyk<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 /> * Monday 4 June; <br /> ** Dinner at Kagaribi (かがり火) (http://www.gion-kagaribi.com/)<br /> * Tuesday 5 June;<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 /> <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: 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]<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.<br /> <br /> 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>

Igarashi http://mw.hh.se/wg211/index.php?title=WG211/M18Schedule&diff=1754 2018-04-25T02:24:20Z

<p>Igarashi: /* Social events */</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 /> <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<br /> * Tony arr KIX 02 Jun 2018 19:10 on QF33; dep KIX 09 Jun 2018 20:40 on QF34<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, Peter Mosses, Klaus Ostermann, Markus Püschel, Christoph Reichenbach, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Satnam Singh, Tony Sloane, Eric Van Wyk<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 /> * Monday 4 June; <br /> ** Dinner at Kagaribi (かがり火) (http://www.gion-kagaribi.com/)<br /> * Tuesday 5 June;<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 /> TBA<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: 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]<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.<br /> <br /> 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>

Igarashi http://mw.hh.se/wg211/index.php?title=WG211/M18Schedule&diff=1736 2018-03-22T14:29:31Z

<p>Igarashi: Add an instruction for those who want to book a room before/after the meeting.</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 [http://www.jorudan.co.jp/english/ 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, 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 through 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>

Igarashi http://mw.hh.se/wg211/index.php?title=WG211/M18Schedule&diff=1722 2018-02-04T07:01:39Z

<p>Igarashi: /* Travel */</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 [http://www.jorudan.co.jp/english/ 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]); a special booking web site will be set up in February, so don't try to book through the official web site. A list of alternative hotels will be provided.<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 /> Kevin Hammond, Atsushi Igarashi, Christian Lengauer, Ulrik Pagh Schultz, Satnam Singh, 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 /> === Social events ===<br /> <br /> <br /> == Excursion==</div>

Igarashi http://mw.hh.se/wg211/index.php?title=WG211/M18Schedule&diff=1721 2018-02-04T06:46:30Z

<p>Igarashi: /* Accommodation */</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 /> Travel instructions for getting to Kyoto will appear here, as will instructions for easily commuting between the recommended hotel and the venue.<br /> <br /> === Accommodation ===<br /> <br /> Rooms have been blocked in a single, recommended hotel ([http://heartonhotel.com/kyo.aspx Hearton Hotel Kyoto]); a special booking web site will be set up in February, so don't try to book through the official web site. A list of alternative hotels will be provided.<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 /> Kevin Hammond, Atsushi Igarashi, Christian Lengauer, Ulrik Pagh Schultz, Satnam Singh, 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 /> === Social events ===<br /> <br /> <br /> == Excursion==</div>

Igarashi http://mw.hh.se/wg211/index.php?title=WG211/M18Schedule&diff=1707 2017-08-27T04:17:36Z

<p>Igarashi: /* June, 2018 in Kyoto, Japan. */</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, Japap, 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 /> === Travel ===<br /> <br /> === Accommodation ===<br /> <br /> === Registration ===<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 /> == 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 /> === Social events ===<br /> <br /> <br /> == Excursion==</div>

Igarashi http://mw.hh.se/wg211/index.php?title=WG211/M17Igarashi&diff=1671 2017-07-04T05:15:16Z

<p>Igarashi: Add the abstract of Igarashi&#039;s talk</p> <hr /> <div>Gradual typing allows statically typed and dynamically typed code<br /> to coexist in a single program. In this talk, we apply gradual<br /> typing to a MetaOCaml-like multi-stage language. A key design<br /> issue lies in how to extend casts, which are used to mediate<br /> between statically typed and dynamically typed code, to code<br /> types. We discuss a few possible semantics of casts and issues<br /> in supporting eval.</div>

Igarashi http://mw.hh.se/wg211/index.php?title=WG211/M17Schedule&diff=1670 2017-07-04T05:13:57Z

<p>Igarashi: Add Igarashi&#039;s talk</p> <hr /> <div>=IFIP Working Group 2.11, Seventeenth Meeting=<br /> <br /> == July 17-20, 2017 in Koblenz, Germany. ==<br /> <br /> The meeting will be held in Koblenz, Germany, hosted by [http://www.softlang.org/rlaemmel:home Ralf L&amp;auml;mmel] (University of Koblenz-Landau).<br /> <br /> The meeting will last 3.5 days; the first three days (July 17-19) will be full-day, whereas the last day (July 20) will be a half-day session. Recommended arrival is afternoon/evening of Sunday 16 July. Recommended departure is noon Thursday 20 July.<br /> <br /> === Venue ===<br /> <br /> The meeting will take place at [http://www.contel-koblenz.de/pages/en/home.php?lang=EN Contel Hotel Koblenz] ([https://www.google.de/maps/place/CONTEL+Hotel+Koblenz/@50.366071,7.575757,17z/data=!3m1!4b1!4m5!3m4!1s0x47be634b933abd41:0x3deab960124706a9!8m2!3d50.366071!4d7.577951?hl=en Google Maps]). The hotel is right at the Mosel River, it is less than 1km from the most beautiful parts of the old city. If the weather is nice, you can walk to the hotel from the main station. Otherwise, get on the bus (3/13, direction Güls) and get off after 9mins at Ludwig-Erhardt-Str. The deal for the conference hotel assumes that we are also booking rooms in the same hotel.<br /> <br /> === Travel ===<br /> <br /> [https://www.frankfurt-airport.com/en/flights---more/flights.html Frankfurt Airport] is well connected to Koblenz. Terminal 1 is connected to the regional and inter-city/express train station. From the train station there is an hourly service to Koblenz. You may need to change trains in Mainz. The journey by train takes about 70 minutes. You should [https://www.bahn.com/en/view/booking-information/booking/online-ticket.shtml buy the train ticket online]. Alternative airports include Cologne-Bonn Airport and Hahn Airport both with similar journey times. The Koblenz main train station is 2.3km from the conference hotel, several public transportation options are available; in particular: bus 3/13, direction Güls, station Ludwig-Erhardt-Str., travel time 9mins. <br /> <br /> === Accommodation ===<br /> <br /> The deal for the conference hotel assumes that we are also booking rooms in the same hotel.<br /> <br /> The price for a hotel room is 90 Euro per night incl. VAT and breakfast. (Note: If you travel with spouse, the price is 106 Euro instead, subject to change).<br /> <br /> Please reserve your hotel room by email: hotel@contel-koblenz.de<br /> <br /> '''Please cc laemmel@uni-koblenz.de so that the local organizer is aware of your booking and can assist.'''<br /> <br /> You need to mention &quot;IFIP WG 2.11&quot; in the email reservation, and you need to mention arrival and departure dates explicitly: arrival should be Sunday 16 July, departure should be Thursday 20 July.<br /> <br /> Here is a [mailto:hotel@contel-koblenz.de?cc=laemmel@uni-koblenz.de&amp;subject=Hotel%20reservation,%20IFIP%20WG2.11&amp;body=%20%20Dear%20Contel%20Hotel%20Koblenz,%0a%0aI%20would%20like%20to%20reserve%20a%20room%20from%20Sunday%20July%2016%20until%20Thursday%20July%2020,%20using%20the%20special%20rate%20IFIP%20WG2.11.%0a%0aPlease%20confirm%20the%20reservation,%20thank%20you.%0a%0a cleverly crafted hotel reservation mailto link] that includes the relevant information.<br /> <br /> === Registration ===<br /> <br /> To register add your name to the attendance list below (or email a chair-person to have it added for you) '''and''' reserve a room at the hotel (accommodation, above). The registration fee is 350 Euro.<br /> <br /> You pay in two parts.<br /> <br /> ====Part I: Conference facilities====<br /> <br /> (Note: If you travel with spouse, this part is not relevant for your spouse.)<br /> <br /> Assuming you stay for the full period, you will pay 203 Euro with your hotel bill, to cover the related conference services.<br /> <br /> For example: you stay 16-20 July (4 nights). Your hotel bill will be 90*4+203=563 Euro.<br /> <br /> This covers use of conference facilities, refreshments, and lunch.<br /> <br /> ====Part II: Catering and social events====<br /> <br /> (Note: If you travel with spouse, this part is relevant for your spouse, if she/he wants to take part.)<br /> <br /> In addition to the hotel, each participant needs to pay an extra 147 Euro to &quot;Landeshochschulkasse Mainz&quot; (see below).<br /> <br /> You can pay by bank transfer or cash onsite.<br /> <br /> This covers all the social events.<br /> <br /> You will receive an official receipt for the registration fee onsite. The receipt will specify a single amount as your registration fee for participating in the meeting.<br /> <br /> Payment details if you opt for bank transfer (rather than cash onsite):<br /> <br /> * Amount: 147 Euro<br /> * Account holder: Landeshochschulkasse Mainz<br /> * Bank: Deutsche Bundesbank Filiale Mainz<br /> * IBAN: DE25 5500 0000 0055 0015 11<br /> * BIC: MARKDEF1550<br /> <br /> '''You must include this note to payee: 6501Ko/1509-28202/5142128'''<br /> <br /> Also mention IFIP WG 2.11.<br /> <br /> Make sure that you cover all costs of bank transfer.<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 /> Nada Amin (except 20/7), Jacques Carette, Bernd Fischer, Robert Glück, Atsushi Igarashi, Yukiyoshi Kameyama, Paul Kelly, Stefan Kronawitter, Ralf Lämmel, Julia Lawall, Christian Lengauer, Stefan Marr, Bruno C. d. S. Oliveira, Markus Püschel (arrives afternoon 17th), Christoph Reichenbach, Ulrik Pagh Schultz, Chung-chieh Shan (the first two days), Tony Sloane, Yannis Smaragdakis, Armando Solar-Lezama, Friedrich Steimann, Eric Van Wyk, Jeremy Yallop, Vadim Zaytsev.<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 /> * Nada Amin [[ WG211/M17Amin | Collapsing Towers of Interpreters ]]<br /> * Jacques Carette [[WG211/M17Carette | Multi-lingual code generation in Drasil]]<br /> * Bernd Fischer [[ WG211/M17Fischer | Breaking Parsers ]]<br /> * Robert Glück [[WG211/M17Glueck | An experiment in ping-pong protocol verification by pushdown automata]]<br /> * Atsushi Igarashi [[ WG211/M17Igarashi | Towards gradually typed multi-stage programming ]]<br /> * Yukiyoshi Kameyama [[ WG211/M17Kameyama | Environment Classifiers, Revisited ]]<br /> * Paul Kelly [[ WG211/M17Kelly | TBD ]]<br /> * Stefan Kronawitter, Christian Lengauer [[ WG211/M17Lengauer | The ExaStencils Compiler: Domain-Specific Stencil-Code Optimization ]]<br /> * Ralf Lämmel [[WG211/M17Laemmel | Systematic comparison of metaprogramming technologies]]<br /> * Stephan Marr [[WG211/M17Marr | Kómpos: A Concurrency-Agnostic Debugger, An Example for Domain-Specific Live Debugging ]]<br /> * Bruno C. d. S. Oliveira [[WG211/M17Oliveira | Semantic Modularization Techniques in Practice: A TAPL case study ]]<br /> * Markus Püschel [[WG211/M17Puschel | TBD]]<br /> * Christoph Reichenbach [[WG211/M17Reichenbach | Adding an extensible backend for PQL/Java]]<br /> * Ulrik Pagh Schultz [[WG211/M17Schultz | Safety as a Programming Language Concept]]<br /> * Chung-chieh Shan [[WG211/M17Shan | Inference building blocks]] (I don't have to speak; I'm only around on July 17 and 18)<br /> * Yannis Smaragdakis [[WG211/M17Smaragdakis | Stream Fusion, to Completeness ]]<br /> * Armando Solar-Lezama [[ WG211/M17SolarLezama | Type system support for template based synthesis ]]<br /> * Friedrich Steimann [[WG211/M17Steimann | Transactional Editing: Giving ACID to Programmers ]]<br /> * Eric Van Wyk [[WG211/M17VanWyk | Extensible and composable type qualifiers in AbleC ]]<br /> * Jeremy Yallop [[WG211/M17Yallop | Staged Generic Programming ]]<br /> * Vadim Zaytsev [[WG211/M17Zaytsev | Succeeding at Impossible Industrial Projects with Generative Technologies ]]<br /> <br /> == Program / schedule ==<br /> <br /> === Scientific program ===<br /> <br /> The schedule will be posted here at the start of the meeting.<br /> <br /> === Social events ===<br /> <br /> * Sunday 16 July; 6pm - ...<br /> ** Informal meeting at [https://www.kaffeewirtschaft.de/ Kaffeewirtschaft]<br /> * Monday 17 July; 5.30-8pm<br /> ** Planwagentour (&quot;mobile wine tasting&quot;) in Winningen mit [http://www.weingut-fries.de/ Winzermeister Fries]<br /> * Tuesday 18 July; 6-7pm<br /> ** Guided city tour in Koblenz mit [http://www.koblenz-touristik.de/ Koblenz Touristik]<br /> * Tuesday 18 July; 7.30-10pm<br /> ** Dinner at [http://www.weinkeller-schwaab.de/restaurant-schwaab.html Weingut Schwaab] in Güls<br /> * Wednesday 19 July; 5.30-11pm<br /> ** Dinner at [http://www.weindorf-koblenz.de/ Weindorf Koblenz]<br /> * Thursday 20 July; 12.01-1.30pm<br /> ** Lunch in the city center<br /> <br /> Social events are covered by the registration fee except informal reception on Sunday (one free drink, though) and the lunch on Thursday.<br /> <br /> == Excursion==<br /> <br /> Here are some suggestions for things people might do if they extend their stay by a day or two.<br /> * Rent a bike and explore Mosel and Rhine rivers<br /> * Get to see some of the many nearby castles and fortresses<br /> * Visit Loreley<br /> * Give a talk at the CS department<br /> * ...</div>

Igarashi http://mw.hh.se/wg211/index.php?title=WG211/M17Schedule&diff=1617 2017-04-14T09:45:53Z

<p>Igarashi: /* Attendance */</p> <hr /> <div>=IFIP Working Group 2.11, Seventeenth Meeting=<br /> <br /> == July 17-20, 2017 in Koblenz, Germany. ==<br /> <br /> The meeting will be held in Koblenz, Germany, hosted by [http://www.softlang.org/rlaemmel:home Ralf L&amp;auml;mmel] (University of Koblenz-Landau).<br /> <br /> The meeting will last 3.5 days; the first three days (July 17-19) will be full-day, whereas the last day (July 20) will be a half-day session. Recommended arrival is afternoon/evening of Sunday 16 July. Recommended departure is noon Thursday 20 July.<br /> <br /> === Venue ===<br /> <br /> The meeting will take place at [http://www.contel-koblenz.de/pages/en/home.php?lang=EN Contel Hotel Koblenz] ([https://www.google.de/maps/place/CONTEL+Hotel+Koblenz/@50.366071,7.575757,17z/data=!3m1!4b1!4m5!3m4!1s0x47be634b933abd41:0x3deab960124706a9!8m2!3d50.366071!4d7.577951?hl=en Google Maps]). The hotel is right at the Mosel River, it is less than 1km from the most beautiful parts of the old city. If the weather is nice, you can walk to the hotel from the main station. Otherwise, get on the bus (3/13, direction Güls) and get off after 9mins at Ludwig-Erhardt-Str. The deal for the conference hotel assumes that we are also booking rooms in the same hotel.<br /> <br /> === Travel ===<br /> <br /> [https://www.frankfurt-airport.com/en/flights---more/flights.html Frankfurt Airport] is well connected to Koblenz. Terminal 1 is connected to the regional and inter-city/express train station. From the train station there is an hourly service to Koblenz. You may need to change trains in Mainz. The journey by train takes about 70 minutes. You should [https://www.bahn.com/en/view/booking-information/booking/online-ticket.shtml buy the train ticket online]. Alternative airports include Cologne-Bonn Airport and Hahn Airport both with similar journey times. The Koblenz main train station is 2.3km from the conference hotel, several public transportation options are available; in particular: bus 3/13, direction Güls, station Ludwig-Erhardt-Str., travel time 9mins. <br /> <br /> === Accommodation ===<br /> <br /> The deal for the conference hotel assumes that we are also booking rooms in the same hotel.<br /> <br /> The price for a hotel room is 90 Euro per night incl. VAT and breakfast. (Note: If you travel with spouse, the price is 106 Euro instead, subject to change).<br /> <br /> Please reserve your hotel room by email: hotel@contel-koblenz.de<br /> <br /> '''Please cc laemmel@uni-koblenz.de so that the local organizer is aware of your booking and can assist.'''<br /> <br /> You need to mention &quot;IFIP WG 2.11&quot; in the email reservation, and you need to mention arrival and departure dates explicitly: arrival should be Sunday 16 July, departure should be Thursday 20 July.<br /> <br /> Here is a [mailto:hotel@contel-koblenz.de?cc=laemmel@uni-koblenz.de&amp;subject=Hotel%20reservation,%20IFIP%20WG2.11&amp;body=%20%20Dear%20Contel%20Hotel%20Koblenz,%0a%0aI%20would%20like%20to%20reserve%20a%20room%20from%20Sunday%20July%2016%20until%20Thursday%20July%2020,%20using%20the%20special%20rate%20IFIP%20WG2.11.%0a%0aPlease%20confirm%20the%20reservation,%20thank%20you.%0a%0a cleverly crafted hotel reservation mailto link] that includes the relevant information.<br /> <br /> === Registration ===<br /> <br /> The registration fee is 350 Euro.<br /> <br /> You pay in two parts.<br /> <br /> ====Part I: Conference facilities====<br /> <br /> (Note: If you travel with spouse, this part is not relevant for your spouse.)<br /> <br /> Assuming you stay for the full period, you will pay 203 Euro with your hotel bill, to cover the related conference services.<br /> <br /> For example: you stay 16-20 July (4 nights). Your hotel bill will be 90*4+203=563 Euro.<br /> <br /> This covers use of conference facilities, refreshments, and lunch.<br /> <br /> ====Part II: Catering and social events====<br /> <br /> (Note: If you travel with spouse, this part is relevant for your spouse, if she/he wants to take part.)<br /> <br /> In addition to the hotel, each participant needs to pay an extra 147 Euro to &quot;Landeshochschulkasse Mainz&quot; (see below).<br /> <br /> You can pay by bank transfer or cash onsite.<br /> <br /> This covers all the social events.<br /> <br /> You will receive an official receipt for the registration fee onsite. The receipt will specify a single amount as your registration fee for participating in the meeting.<br /> <br /> Payment details if you opt for bank transfer (rather than cash onsite):<br /> <br /> * Amount: 147 Euro<br /> * Account holder: Landeshochschulkasse Mainz<br /> * Bank: Deutsche Bundesbank Filiale Mainz<br /> * IBAN: DE25 5500 0000 0055 0015 11<br /> * BIC: MARKDEF1550<br /> <br /> '''You must include this note to payee: 6501Ko/1509-28202/5142128'''<br /> <br /> Also mention IFIP WG 2.11.<br /> <br /> Make sure that you cover all costs of bank transfer.<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 /> Nada Amin (except 20/7), Jacques Carette, Robert Glück, Atsushi Igarashi, Yukiyoshi Kameyama, Ralf Lämmel, Christian Lengauer, Stefan Marr, Bruno C. d. S. Oliveira, Ulrik Pagh Schultz, Friedrich Steimann, Vadim Zaytsev, Eric Van Wyk, 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 /> * Ulrik Pagh Schultz [[WG211/M17Schultz | Safety as a Programming Language Concept]]<br /> * Ralf Lämmel [[WG211/M17Laemmel | Systematic comparison of metaprogramming technologies]]<br /> * Jacques Carette [[WG211/M17Carette | TBD]]<br /> * Robert Glück [[WG211/M17Glueck | An experiment in ping-pong protocol verification by pushdown automata]]<br /> <br /> == Program / schedule ==<br /> <br /> === Scientific program ===<br /> <br /> The schedule will be posted here at the start of the meeting.<br /> <br /> === Social events ===<br /> <br /> * Sunday 16 July; 6pm - ...<br /> ** Informal meeting at [https://www.kaffeewirtschaft.de/ Kaffeewirtschaft]<br /> * Monday 17 July; 5.30-8pm<br /> ** Planwagentour (&quot;mobile wine tasting&quot;) in Winningen mit [http://www.weingut-fries.de/ Winzermeister Fries]<br /> * Tuesday 18 July; 6-7pm<br /> ** Guided city tour in Koblenz mit [http://www.koblenz-touristik.de/ Koblenz Touristik]<br /> * Tuesday 18 July; 7.30-10pm<br /> ** Dinner at [http://www.weinkeller-schwaab.de/restaurant-schwaab.html Weingut Schwaab] in Güls<br /> * Wednesday 19 July; 5.30-11pm<br /> ** Dinner at [http://www.weindorf-koblenz.de/ Weindorf Koblenz]<br /> * Thursday 20 July; 12.01-1.30pm<br /> ** Lunch in the city center<br /> <br /> Social events are covered by the registration fee except informal reception on Sunday (one free drink, though) and the lunch on Thursday.<br /> <br /> == Excursion==<br /> <br /> Here are some suggestions for things people might do if they extend their stay by a day or two.<br /> * Rent a bike and explore Mosel and Rhine rivers<br /> * Get to see some of the many nearby castles and fortresses<br /> * Visit Loreley<br /> * Give a talk at the CS department<br /> * ...</div>

Igarashi http://mw.hh.se/wg211/index.php?title=WG211/M15Schedule&diff=1386 2015-11-12T14:20:19Z

<p>Igarashi: </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]] [[Media:M15Blazy-Slides.pdf | (slides) ]]<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 /> [[Media:M15Gibbons-Slides.pdf | (slides) ]]<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]] [[Media:M15Igarashi-Slides.pdf | (slides) ]]<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 /> [[Media:M15Mosses-Slides.pdf | (slides) ]]<br /> <br /> Luigi Nardi [[WG211/M15Nardi | Vertically-integrated exploration of algorithmic and implementation design spaces in 3D scene understanding]]<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 /> [[Media:M15Reichenbach-Slides.pdf | (slides) ]]<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 /> [[Media:M15Shan-Slides.pdf | (slides) ]]<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 /> 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 /> ''Schedule v1.4''<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): Carette, Igarashi<br /> * 11:00-11:30 morning break with refreshments<br /> * 11:30-13:00 work (2 talks): Sloane, Kobayashi<br /> * 13:00-14:00 buffet lunch<br /> * 14:00-15:30 work (2 talks): Kelly, Reichenbach<br /> * 15:30-16:00 afternoon break with refreshments<br /> * 16:00-17:30 work (2 talks): Armando, Brady<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/iT3pyRANtWn], 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]. We took [[Media:pizza.jpg|a photo of the restaurant's supposedly famous meter-long pizza]].<br /> <br /> Tuesday Nov 10th:<br /> * 9:30-11:00 work (2 talks): Wiklicky, Blazy<br /> * 11:00-11:30 morning break with refreshments<br /> * 11:30-13:00 work (2 talks): Tratt, Lengauer<br /> * 13:00-14:00 working lunch<br /> * 14:00-15:30 work (2 talks): Grebhahn, Donaldson<br /> * 15:30-16:00 afternoon break with refreshments<br /> * 16:00-17:30 business meeting (members only)<br /> * 19:15 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): Yoshida, Scholz<br /> * 11:00-11:30 morning break with refreshments<br /> * 11:30-12:15 work (1 talk): Gibbons<br /> * 12:15-13:15 non-working lunch<br /> * 13:15-15:30 work (3 talks): Glück, Ostermann, Nardi<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): Schultz, Mosses<br /> * 11:00-11:30 morning break with refreshments<br /> * 11:30-13:00 work (2 talks): Rayside, Shan<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>

Igarashi http://mw.hh.se/wg211/index.php?title=File:M15Igarashi-Slides.pdf&diff=1385 2015-11-12T14:19:36Z

<p>Igarashi: </p> <hr /> <div></div>

Igarashi http://mw.hh.se/wg211/index.php?title=WG211/M15Igarashi&diff=1338 2015-10-28T12:19:28Z

<p>Igarashi: </p> <hr /> <div>''Type systems for a polymorphic imperative multi-stage language'' by Atsushi Igarashi<br /> <br /> It is well known that naive combination of let-polymorphism with<br /> mutable references makes an unsound type system. The problem is<br /> even more subtle in MetaOCaml-like multi-stage languages; indeed, <br /> as Kiselyov and Shan have discovered, naive value restriction does<br /> not work. In this talk, I'll discuss two type systems to deal<br /> with this problem.<br /> <br /> Joint work with Megumi Kobayashi.</div>

Igarashi http://mw.hh.se/wg211/index.php?title=WG211/M15Igarashi&diff=1337 2015-10-28T12:18:20Z

<p>Igarashi: </p> <hr /> <div>''Type systems for a polymorphic imperative multi-stage language'' by Atsushi Igarashi<br /> <br /> It is well known that naive combination of let-polymorphism with<br /> mutable references makes an unsound type system. The problem is<br /> even more subtle in a MetaOCaml-like multi-stage language; as<br /> Kiselyov and Shan have discovered, naive value restriction does<br /> not work. In this talk, I'll discuss two type systems to deal<br /> with this problem.<br /> <br /> Joint work with Megumi Kobayashi.</div>

Igarashi http://mw.hh.se/wg211/index.php?title=WG211/M15Igarashi&diff=1336 2015-10-28T12:17:37Z

<p>Igarashi: Created page with &quot;Type systems for a polymorphic imperative multi-stage language It is well known that naive combination of let-polymorphism with mutable references makes an unsound type system. ...&quot;</p> <hr /> <div>Type systems for a polymorphic imperative multi-stage language<br /> <br /> It is well known that naive combination of let-polymorphism with<br /> mutable references makes an unsound type system. The problem is<br /> even more subtle in a MetaOCaml-like multi-stage language; as<br /> Kiselyov and Shan have discovered, naive value restriction does<br /> not work. In this talk, I'll discuss two type systems to deal<br /> with this problem.<br /> <br /> Joint work with Megumi Kobayashi.</div>

Igarashi http://mw.hh.se/wg211/index.php?title=WG211/M15Schedule&diff=1335 2015-10-28T12:16:29Z

<p>Igarashi: </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), Alexander Grebhahn, 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), Christoph Reichenbach (leaving on Nov 12th), Sven-Bodo Scholz, 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 | TBD]]<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, TBD<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 /> Julia Lawall, [[WG211/M15Lawall | Prequel: A Patch-Like Query Language for Commit History Search]]<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 | 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, [[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 /> Nobuko Yoshida (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 a local South Kensington restaurant<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 Doggetts Coat and Badge on the South Bank (tube or cycle, 30mins)<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 /> * 15:30-16:30 tour of Victoria and Albert museum<br /> * 19:00 dinner a local South Kensington restaurant<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 /> 15:30 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>

Igarashi http://mw.hh.se/wg211/index.php?title=WG211/M15Schedule&diff=1254 2015-08-28T05:31:37Z

<p>Igarashi: </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 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.<br /> <br /> There will be an excursion, details to be announced.<br /> <br /> === Venue ===<br /> <br /> The venue will be 170 Queen’s Gate (http://www.170queensgate.co.uk), which is almost next door to 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]<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 /> <br /> We will soon post a suggestion for a less expensive hotel within a convenient (e.g., half-hour) distance, such that attendees on a budget can stay there together if they should wish to do so.<br /> <br /> In general, if you need a cheaper option, there are cheaper 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 /> Registration will be handled by Imperial College, details and costs to be announced, but will be similar to previous recent meetings in Europe.<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 /> Jacques Carette, Atsushi Igarashi (leaving on 11th), Paul Kelly, Julia Lawall, Ulrik Pagh Schultz, Tony Sloane, Eric Van Wyk, Chung-chieh Shan<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 /> Jacques Carette, TBD<br /> <br /> Robert Glück, Maximally-polyvariant partial evaluation<br /> <br /> Atsushi Igarashi, Type systems for a polymorphic imperative multi-stage language<br /> <br /> Ulrik Pagh Schultz, [[WG211/M15Schultz | A domain-specific language for specifying reversible robot assembly tasks]]<br /> <br /> Chung-chieh Shan, something about probabilistic programming<br /> <br /> == Excursion==<br /> <br /> TBD</div>

Igarashi http://mw.hh.se/wg211/index.php?title=WG211/M15Schedule&diff=1253 2015-08-28T05:28:41Z

<p>Igarashi: </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 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.<br /> <br /> There will be an excursion, details to be announced.<br /> <br /> === Venue ===<br /> <br /> The venue will be 170 Queen’s Gate (http://www.170queensgate.co.uk), which is almost next door to 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]<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 /> <br /> We will soon post a suggestion for a less expensive hotel within a convenient (e.g., half-hour) distance, such that attendees on a budget can stay there together if they should wish to do so.<br /> <br /> In general, if you need a cheaper option, there are cheaper 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 /> Registration will be handled by Imperial College, details and costs to be announced, but will be similar to previous recent meetings in Europe.<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 /> Jacques Carette, Atsushi Igarashi, Paul Kelly, Julia Lawall, Ulrik Pagh Schultz, Tony Sloane, Eric Van Wyk, Chung-chieh Shan<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 /> Jacques Carette, TBD<br /> <br /> Robert Glück, Maximally-polyvariant partial evaluation<br /> <br /> Atsushi Igarashi, Type systems for a polymorphic imperative multi-stage language<br /> <br /> Ulrik Pagh Schultz, [[WG211/M15Schultz | A domain-specific language for specifying reversible robot assembly tasks]]<br /> <br /> Chung-chieh Shan, something about probabilistic programming<br /> <br /> == Excursion==<br /> <br /> TBD</div>

Igarashi