WG 2.11 - User contributions [en]

WG211/M22Schedule

2023-01-30T13:39:01Z

Robert: /* Attendance */

=IFIP Working Group 2.11, Twenty-second Meeting=

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

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

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

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

A commemorative symposium for [https://www.tudelft.nl/en/2022/eemcs/in-memoriam-eelco-visser-1966-2022 Eelco Visser] is to be held on April 5th 2023: the first anniversary of his untimely passing. It will bring together colleagues from various communities, with presentations of papers on topics related to his research and his other academic activities.

For further details, see https://symposium.eelcovisser.org.

----

'''''This page is still being updated.'''''

----

=== Venue ===

The Twenty-second meeting of WG 2.11 will take place on the campus of [https://www.tudelft.nl/en/ Delft University of Technology] (TU Delft) in the [https://www.tudelft.nl/en/x/about-x/our-story '''X Building''']. The [https://symposium.eelcovisser.org Eelco Visser Commemorative Symposium] (EVCS) will take place in the same building.

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

=== Travel ===

==== Getting to Delft ====

The city of Delft is located about halfway between ''The Hague (Den Haag)'' and ''Rotterdam''.

Delft has two '''train stations''':
* The main one '''Delft''' (“Delft Station” on travel planners) has frequent Intercity (IC) connections from Amsterdam, The Hague, Rotterdam, and other Dutch cities.
* The smaller '''Delft Campus''' station has only Sprinter connections – Intercity trains do ''not'' stop there.

You can reach Amsterdam and Rotterdam by '''high-speed trains''' from Belgium and France (''Thalys'') and from England (''Eurostar'').

The '''closest airports''' to Delft are '''Schiphol Airport''' (AMS) and '''Rotterdam-The Hague Airport''' (RTM).
* Schiphol Airport has train connections to Delft (usually every 15 minutes). Some connections are direct, for others you need to change at Leiden.
* Rotterdam-The Hague Airport has bus connections to Rotterdam.

To determine your route and travel time to (or in) Delft you can use [https://www.9292ov.nl '''9292'''].

==== In Delft ====

The main '''bus and tram station''' in Delft is next to Delft train station. Bus routes '''40''', '''69''', and '''174''' go from the station directly to the venue. The bus stop to get off at is '''Delft, Berlageweg'''.  The ride takes about 10 minutes.

'''Walking''' to the venue from the main Delft station takes about 30 minutes (2.5 km), and from Delft Campus train station about 15 minutes (1.3 km).

==== Train and bus tickets ====

For tourists and short stay visitors it is advised to use an '''anonymous OV-chipcard''', it’s the most common way to travel by all forms of public transportation in The Netherlands. This is a blue-coloured card with no personal details on it, and can therefore be used by anyone (but not for group travel). You can buy an OV-chipcard at the train station at an NS (Dutch Railways) ticketing machine or NS service desk. It can also be bought at large supermarkets (Albert Heijn, Jumbo) or tobacco shops (Primera, Readshop, Bruna). The price is €7.50. It remains valid for 5 years.

The OV-chipcard gives you access to travel in 2nd class. You need a balance of at least €20 to travel by train. You can charge credit on your OV-chipcard at the ticket machines at the train stations and tobacco shops. Once credit has been charged onto your card, you can check in at the designated posts or turnstiles, which are usually located close to or on the platform. Don’t forget to check out once you leave any form of public transport!

In trams and buses you can also buy a paper day-ticket or a single-use, disposable chipcard instead of an anonymous OV-chipcard. For metros you can buy a ticket at the ticket machines near the platform or metro station.

'''Note:''' Most ticket machines do not accept cash, nor do buses and trams.

=== Accommodation ===

We recommend that you stay at  [https://hotelarsenaal.com '''Hotel Arsenaal'''] or [https://www.grandcanaldelft.nl/en/ '''Hotel Grand Canal''']. These hotels are conveniently located within 5 minutes walking distance of Delft’s main station, between the station and the university campus.

Blocks of rooms have been reserved at these hotels for WG 2.11 meeting participants, for arrival on '''Sunday 2nd April''' and departure '''Thursday 6th April'''.

''The organiser has now circulated additional information on the WG 2.11 mailing list about booking these rooms.''

'''Booking deadline: Monday 30th January.''' Note: The number of rooms available is limited, and the rooms are made available on a first-come first-served basis. Rooms not booked by the end of January will be released, to avoid potential cancellation charges.

Participants are welcome to book rooms directly – either at the same hotels, or at other hotels in Delft, such as [https://all.accor.com/hotel/B5M3/index.nl.shtml Ibis Styles Hotel], [https://westcordhotels.com/hotel/hotel-delft/ WestCord Hotel], and [https://www.thesocialhub.co/delft/ The Social Hub].

=== Registration ===

TBA

== Attendance ==

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

* Edwin Brady
* Jacques Carette
* Jesper Cockx
* Sebastijan Dumančić
* Sebastian Erdweg
* Robert Glück
* Ohad Kammar
* Julia Lawall
* Ralf Lämmel
* Christian Lengauer
* Ulrik Pagh Schultz Lundquist (arrival Monday afternoon)
* Peter Mosses
* Klaus Ostermann
* Casper Bach Poulsen
* Yannis Smaragdakis
* Friedrich Steimann
* Tijs van der Storm
* Eric Van Wyk
* Jeremy Yallop
* Vadim Zaytsev

== Talks ==

TBA

== Program / schedule ==

=== Scientific program ===

Details TBA

Monday April 3rd

Tuesday April 4th

Wednesday April 5th
* Eelco Visser Symposium

=== Social events ===

TBA

== Touristic information ==

Delft is known for many things. The first things that would come to mind are '''Delft’s Blue Pottery''', the painter '''Johannes Vermeer''', and the University of Technology. But Delft also played a very important role in history of the '''Dutch Golden Age''' and the reigning of the Dutch royals (House of Orange-Nassau). It is recommended to visit '''Prinsenhof Museum''' for the history of the Dutch royals. Stroll down the city centre to visit the Old and New Churches, where you’ll find the graves of Johannes Vermeer and one of our first leaders: '''Willem of Orange'''.

WG211/M21Schedule

2022-08-10T12:55:27Z

Robert: /* Talks */

=IFIP Working Group 2.11, Twenty-first Meeting=

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

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

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

=== Venue ===

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

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

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

=== Travel ===

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

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

=== Accommodation ===

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

=== Registration ===

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

=== COVID-19 ===

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

== Attendance ==

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

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

== Talks ==

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

* Nada Amin [[WG211/M21Amin | Staged Relational Interpreters: Running with Holes, Faster ]]
* Sandrine Blazy [[WG211/M21Blazy | Bridging the Semantic Gap between SSA and Gated SSA ]]
* Jacques Carette [[WG211/M21Carette | Partial Evaluation of Quantum Programs ]]
* Sebastian Erdweg [[WG211/M21Erdweg | Functional Programming with Datalog ]]
* Robert Glück [[WG211/M21Glueck | A Technique for Reversible Memoization of Recurrence Functions]]
* Christoph Reichenbach (TBD)
* Walid Taha (details to be announced later)
* Eric Van Wyk [[WG211/M21VanWyk | Strategic Tree Rewriting in Attribute Grammars ]]

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

== Program / schedule ==

=== Scientific program ===

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

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

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

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

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

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

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

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

=== Social events ===

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

== Touristy information ==

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

WG211/M21Glueck

2022-08-10T09:59:27Z

Robert:

The design and implementation of efficient algorithms for reversible computing systems requires unconventional ways of thinking. Memoization is a classic program optimization technique that stores computation results in memory. How memoization can be made reversible without adding unbounded tracing is not immediately clear. This work-in-progress presention discusses a unconventional solution using cyclic state transition systems to memoize reversible recurrence functions. The costs compare favorably to classic memoization: bounded space and amortized linear running time. Joint work with Tetsuo Yokoyama.

WG211/M21Glueck

2022-08-10T09:58:54Z

Robert:

The design and implementation of efficient algorithms for reversible computing systems requires unconventional ways of thinking. Memoization is a classic program optimization technique that stores computation results in memory. How memoization can be made reversible without adding unbounded tracing is not immediately clear. This work-in-progress presention discusses a unconventional solution using cyclic state transition systems to memoize reversibly recurrence functions. The costs compare favorably to classic memoization: bounded space and amortized linear running time. Joint work with Tetsuo Yokoyama.

WG211/M21Glueck

2022-08-10T09:58:28Z

Robert:

The design and implementation of efficient algorithms for reversible computing systems requires unconventional ways of thinking. Memoization is a classic program optimization technique that stores the computation results in memory. How memoization can be made reversible without adding unbounded tracing is not immediately clear. This work-in-progress presention discusses a unconventional solution using cyclic state transition systems to memoize reversibly recurrence functions. The costs compare favorably to classic memoization: bounded space and amortized linear running time. Joint work with Tetsuo Yokoyama.

WG211/M21Glueck

2022-08-10T09:56:06Z

Robert: Created page with "The design and implementation of efficient algorithms for reversible computing systems requires an unconventional way of thinking. Memoization is a classic program optimizatio..."

The design and implementation of efficient algorithms for reversible computing systems requires an unconventional way of thinking. Memoization is a classic program optimization technique that stores the result of a computation in memory. Unfortunately, it is not immediately clear how memoization can be made reversible without adding unbounded tracing. This work-in-progress presention discusses a surprising solution using cyclic state transition systems to reversibly memoize recurrence functions. The costs compare favorably to conventional memoization: bounded space and amortized linear running time. Joint work with Tetsuo Yokoyama.

WG211/M21Schedule

2022-08-10T09:55:10Z

Robert: /* Talks */

=IFIP Working Group 2.11, Twenty-first Meeting=

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

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

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

=== Venue ===

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

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

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

=== Travel ===

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

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

=== Accommodation ===

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

=== Registration ===

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

=== COVID-19 ===

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

== Attendance ==

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

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

== Talks ==

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

* Nada Amin [[WG211/M21Amin | Staged Relational Interpreters: Running with Holes, Faster ]]
* Sandrine Blazy [[WG211/M21Blazy | Bridging the Semantic Gap between SSA and Gated SSA ]]
* Jacques Carette [[WG211/M21Carette | Partial Evaluation of Quantum Programs ]]
* Sebastian Erdweg [[WG211/M21Erdweg | Functional Programming with Datalog ]]
* Eric Van Wyk [[WG211/M21VanWyk | Strategic Tree Rewriting in Attribute Grammars ]]
* Robert Glück [[WG211/M21Glueck | A Technique for Reversible Memoization of Recurrence Functions]]

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

== Program / schedule ==

=== Scientific program ===

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

Monday, August 15:
* 10:00 - 12:00: Welcome and talks (2 talks)
* 12:00 - 13:30: Lunch in SDU Canteen
* 13:30 - TBD: Afternoon session (3 or 4 talks)

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

Tuesday, August 16:
* 9:00 - 9:45: Talk
* 10:00-10:30: Excursion to SDU Industry 4.0 lab
* 10:45-12:15: Talks (1 normal + 1 short)
* 12:15 - 14:00: Lunch in SDU Restaurant
* 14:00 - TBD: Talks (3 talks?)
* TBD - TBD: Business Meeting, members only

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

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

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

Thursday, August 18:
* 8:30 - 12:00: Talks (4 talks)
* 12:00 - TBD: Lunch in SDU Canteen

=== Social events ===

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

== Touristy information ==

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

WG211/M21Schedule

2022-05-25T11:22:49Z

Robert: /* Attendance */

WG211/M20Schedule

2020-02-19T17:07:27Z

Robert: /* Talks */

=IFIP Working Group 2.11, Twentieth Meeting=

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

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

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

=== Venue ===

LIP6, 4 place Jussieu, 75005 Paris

room 25-26/105

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

=== Travel ===

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

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

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

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

=== Accommodation ===

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

=== Registration ===

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

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

== Attendance ==

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

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

== Talks ==

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

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

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

== Program / schedule ==

=== Scientific program ===

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

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

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

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

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

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

=== Social events ===

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

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

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

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

WG211/M20Schedule

2020-02-09T08:52:15Z

Robert: /* Talks */

WG211/M20Schedule

2020-02-09T08:51:54Z

Robert: /* Talks */

WG211/M20Schedule

2020-02-06T22:00:50Z

Robert: /* Talks */

WG211/M20Schedule

2019-11-15T17:39:28Z

Robert: /* Attendance */

WG211/M18Schedule

2018-05-20T18:04:16Z

Robert: /* Talks */

=IFIP Working Group 2.11, Eighteenth Meeting=

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

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

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

=== Venue ===

The meeting will be held at Kyoto University.

=== Travel ===

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

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

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

---- Arrival/Departure

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

=== Accommodation ===

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

=== Registration ===

Registration fee is 33,000 JPY, which covers all meeting-related expenses (including excursion, lunch, and dinner, which is all part of the program).
At [https://va.apollon.nta.co.jp/wg211/ the registration site], there is an option for your family: 28,000 JPY for everything but refreshments and lunch (during the meeting).

== Attendance ==

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

Sandrine Blazy, Jacques Carette, Shigeru Chiba, Jeremy Gibbons, Robert Glück, Kevin Hammond, Atsushi Igarashi, Oleg Kiselyov, Julia Lawall, Christian Lengauer, Ralf Lämmel, Peter Mosses, Klaus Ostermann, Markus Püschel, Christoph Reichenbach, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Satnam Singh, Tony Sloane, Kanae Tsushima, Eric Van Wyk, Eelco Visser, Jeremy Yallop

== Talks ==

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

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

== Program / schedule ==

=== Scientific program ===

TBA

=== Social events ===

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

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

== Excursion==

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

== Joint trips before/after the meeting ==

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

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

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

=== Sento ===

Jeremy suggests the following: I thought it would be helpful - for those like myself, arriving early in the morning but not able to check in to a hotel in the afternoon - to point out that that it is easy to get a nice hot bath cheaply in Japan, in a public facility called a [http://www.sentoguide.info/etiquette/ sento]. You have to be comfortable being naked with strangers (of the same sex); but there is no better way to relax after a long flight. However, note that tattoos are not welcome. As it happens, there is a basic sento in the basement of Kyoto Tower, which is just across the road from Kyoto Station where people are likely to arrive in the city, open from early to late: [https://www.keihanhotels-resorts.co.jp/kyoto-tower/en/ Kyoto Tower Daiyokujo Yuu 07:00-22:00 (basement 3F)]. But Atsushi has recommended a "super-sento" (a fancier place, with several different pools, masseurs, restaurant, a bit more expensive) called [http://hanano-yu.jp/ Hana-no-yu はなの湯], one station away from Kyoto Station, which is open from 10:00.

WG211/M18Glueck

2018-05-20T18:03:46Z

Robert:

'''Metacomputation and Inversion - A Frontier of Program Generation''' by Robert Glück

Despite tremendous technological progress over several decades, the development of software still relies to a greater extent on non-automated processes. An important research goal is, therefore, to deal with the analysis, transformation and generation of programs by programs. More specifically, our aim is to advance three fundamental programs-as-data operations: the composition, inversion, and specialization of programs. A long-term endeavor illustrated with open questions about inverse interpretation and partial evaluation.

WG211/M18Glueck

2018-05-20T18:03:26Z

Robert:

'''Metacomputation and Inversion - Frontiers of Program Generation''' by Robert Glück

Despite tremendous technological progress over several decades, the development of software still relies to a greater extent on non-automated processes. An important research goal is, therefore, to deal with the analysis, transformation and generation of programs by programs. More specifically, our aim is to advance three fundamental programs-as-data operations: the composition, inversion, and specialization of programs. A long-term endeavor illustrated with open questions about inverse interpretation and partial evaluation.

WG211/M18Glueck

2018-05-20T18:02:56Z

Robert:

'''Metacomputation and Inversion - On the Frontiers of Program Generation''' by Robert Glück

Despite tremendous technological progress over several decades, the development of software still relies to a greater extent on non-automated processes. An important research goal is, therefore, to deal with the analysis, transformation and generation of programs by programs. More specifically, our aim is to advance three fundamental programs-as-data operations: the composition, inversion, and specialization of programs. A long-term endeavor illustrated with open questions about inverse interpretation and partial evaluation.

WG211/M18Glueck

2018-05-20T18:02:23Z

Robert:

'''Metacomputation and Inversion - On the Frontiers of Computing''' by Robert Glück

Despite tremendous technological progress over several decades, the development of software still relies to a greater extent on non-automated processes. An important research goal is, therefore, to deal with the analysis, transformation and generation of programs by programs. More specifically, our aim is to advance three fundamental programs-as-data operations: the composition, inversion, and specialization of programs. A long-term endeavor illustrated with open questions about inverse interpretation and partial evaluation.

WG211/M18Glueck

2018-05-20T18:02:09Z

Robert:

'''Metacomputation and Inversion - Some Frontiers of Computing''' by Robert Glück

Despite tremendous technological progress over several decades, the development of software still relies to a greater extent on non-automated processes. An important research goal is, therefore, to deal with the analysis, transformation and generation of programs by programs. More specifically, our aim is to advance three fundamental programs-as-data operations: the composition, inversion, and specialization of programs. A long-term endeavor illustrated with open questions about inverse interpretation and partial evaluation.

WG211/M18Glueck

2018-05-20T17:57:58Z

Robert:

'''Metacomputation and Inversion - Frontiers of Computing''' by Robert Glück

Despite tremendous technological progress over several decades, the development of software still relies to a greater extent on non-automated processes. An important research goal is, therefore, to deal with the analysis, transformation and generation of programs by programs. More specifically, our aim is to advance three fundamental programs-as-data operations: the composition, inversion, and specialization of programs. A long-term endeavor illustrated with open questions about inverse interpretation and partial evaluation.

WG211/M18Glueck

2018-05-20T17:55:28Z

Robert:

Despite tremendous technological progress over several decades, the development of software still relies to a greater extent on non-automated processes. An important research goal is, therefore, to deal with the analysis, transformation and generation of programs by programs. More specifically, our aim is to advance three fundamental programs-as-data operations: the composition, inversion, and specialization of programs. A long-term endeavor illustrated with open questions about inverse interpretation and partial evaluation.

WG211/M18Glueck

2018-05-20T17:53:13Z

Robert: Created page with "Despite tremendous technological progress over several decades, the development of software still relies to a greater extent on non-automated processes. An important research..."

WG211/M18Schedule

2018-05-20T17:47:55Z

Robert: /* Talks */

=IFIP Working Group 2.11, Eighteenth Meeting=

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

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

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

=== Venue ===

The meeting will be held at Kyoto University.

=== Travel ===

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

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

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

---- Arrival/Departure

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

=== Accommodation ===

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

=== Registration ===

Registration fee is 33,000 JPY, which covers all meeting-related expenses (including excursion, lunch, and dinner, which is all part of the program).
At [https://va.apollon.nta.co.jp/wg211/ the registration site], there is an option for your family: 28,000 JPY for everything but refreshments and lunch (during the meeting).

== Attendance ==

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

Sandrine Blazy, Jacques Carette, Shigeru Chiba, Jeremy Gibbons, Robert Glück, Kevin Hammond, Atsushi Igarashi, Oleg Kiselyov, Julia Lawall, Christian Lengauer, Ralf Lämmel, Peter Mosses, Klaus Ostermann, Markus Püschel, Christoph Reichenbach, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Satnam Singh, Tony Sloane, Kanae Tsushima, Eric Van Wyk, Eelco Visser, Jeremy Yallop

== Talks ==

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

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

== Program / schedule ==

=== Scientific program ===

TBA

=== Social events ===

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

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

== Excursion==

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

== Joint trips before/after the meeting ==

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

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

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

=== Sento ===

Jeremy suggests the following: I thought it would be helpful - for those like myself, arriving early in the morning but not able to check in to a hotel in the afternoon - to point out that that it is easy to get a nice hot bath cheaply in Japan, in a public facility called a [http://www.sentoguide.info/etiquette/ sento]. You have to be comfortable being naked with strangers (of the same sex); but there is no better way to relax after a long flight. However, note that tattoos are not welcome. As it happens, there is a basic sento in the basement of Kyoto Tower, which is just across the road from Kyoto Station where people are likely to arrive in the city, open from early to late: [https://www.keihanhotels-resorts.co.jp/kyoto-tower/en/ Kyoto Tower Daiyokujo Yuu 07:00-22:00 (basement 3F)]. But Atsushi has recommended a "super-sento" (a fancier place, with several different pools, masseurs, restaurant, a bit more expensive) called [http://hanano-yu.jp/ Hana-no-yu はなの湯], one station away from Kyoto Station, which is open from 10:00.

WG211/M18Schedule

2018-03-08T21:26:10Z

Robert: /* Attendance */

=IFIP Working Group 2.11, Eighteenth Meeting=

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

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

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

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

=== Venue ===

The meeting will be held at Kyoto University.

=== Travel ===

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

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

You can check timetables for trains inside Japan on [http://www.jorudan.co.jp/english/ Jorudan's Norikae-Annai] or on Google Maps.

=== Accommodation ===

Rooms have been blocked in a single, recommended hotel ([http://heartonhotel.com/kyo.aspx Hearton Hotel Kyoto]); please use the [https://va.apollon.nta.co.jp/wg211/ special booking web site]. Alternative hotels can be located [https://drive.google.com/open?id=1d49jNFPqgEZPjE4OjVL5TFcoKYeNrV0X&usp=sharing on this map].

=== Registration ===

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

== Attendance ==

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

Robert Glück, Kevin Hammond, Atsushi Igarashi, Christian Lengauer, Ulrik Pagh Schultz, Satnam Singh, Eric Van Wyk

== Talks ==

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

* ...

== Program / schedule ==

=== Scientific program ===

=== Social events ===

== Excursion==

WG211/M17Schedule

2017-04-07T12:34:34Z

Robert: /* Talks */

=IFIP Working Group 2.11, Seventeenth Meeting=

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

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

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

=== Venue ===

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

=== Travel ===

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

=== Accommodation ===

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

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

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

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

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

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

=== Registration ===

The registration fee is 350 Euro.

You pay in two parts.

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

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

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

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

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

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

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

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

You can pay by bank transfer or cash onsite.

This covers all the social events.

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

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

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

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

Also mention IFIP WG 2.11.

Make sure that you cover all costs of bank transfer.

== Attendance ==

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

Nada Amin (except 20/7), Jacques Carette, Robert Glück, 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.

== Talks ==

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

* Ulrik Pagh Schultz [[WG211/M17Schultz | Safety as a Programming Language Concept]]
* Ralf Lämmel [[WG211/M17Laemmel | Systematic comparison of metaprogramming technologies]]
* Jacques Carette [[WG211/M17Carette | TBD]]
* Robert Glück [[WG211/M17Glueck | An experiment in ping-pong protocol verification by pushdown automata]]

== Program / schedule ==

=== Scientific program ===

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

=== Social events ===

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

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

== Excursion==

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

WG211/M17Schedule

2017-04-07T12:34:23Z

Robert: /* Attendance */

=IFIP Working Group 2.11, Seventeenth Meeting=

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

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

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

=== Venue ===

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

=== Travel ===

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

=== Accommodation ===

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

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

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

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

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

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

=== Registration ===

The registration fee is 350 Euro.

You pay in two parts.

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

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

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

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

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

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

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

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

You can pay by bank transfer or cash onsite.

This covers all the social events.

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

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

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

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

Also mention IFIP WG 2.11.

Make sure that you cover all costs of bank transfer.

== Attendance ==

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

Nada Amin (except 20/7), Jacques Carette, Robert Glück, 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.

== Talks ==

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

* Robert Glück [[WG211/M17Glueck | An experiment in ping-pong protocol verification by pushdown automata]]
* Ulrik Pagh Schultz [[WG211/M17Schultz | Safety as a Programming Language Concept]]
* Ralf Lämmel [[WG211/M17Laemmel | Systematic comparison of metaprogramming technologies]]
* Jacques Carette [[WG211/M17Carette | TBD]]

== Program / schedule ==

=== Scientific program ===

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

=== Social events ===

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

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

== Excursion==

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

WG211/M17Schedule

2017-04-07T12:33:18Z

Robert:

=IFIP Working Group 2.11, Seventeenth Meeting=

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

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

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

=== Venue ===

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

=== Travel ===

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

=== Accommodation ===

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

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

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

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

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

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

=== Registration ===

The registration fee is 350 Euro.

You pay in two parts.

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

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

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

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

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

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

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

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

You can pay by bank transfer or cash onsite.

This covers all the social events.

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

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

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

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

Also mention IFIP WG 2.11.

Make sure that you cover all costs of bank transfer.

== Attendance ==

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

Nada Amin (except 20/7), Jacques Carette, 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.

== Talks ==

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

* Robert Glück [[WG211/M17Glueck | An experiment in ping-pong protocol verification by pushdown automata]]
* Ulrik Pagh Schultz [[WG211/M17Schultz | Safety as a Programming Language Concept]]
* Ralf Lämmel [[WG211/M17Laemmel | Systematic comparison of metaprogramming technologies]]
* Jacques Carette [[WG211/M17Carette | TBD]]

== Program / schedule ==

=== Scientific program ===

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

=== Social events ===

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

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

== Excursion==

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

WG211/M15Schedule

2015-10-07T06:27:31Z

Robert: /* Attendance */

=IFIP Working Group 2.11, Fifteenth Meeting=

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

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

There will be an excursion, details to be announced.

=== Venue ===

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

=== Travel ===

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

==== Accommodation ====

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

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

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

==== Excursions ====

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

=== Venue ===

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

== Registration ==

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

== Attendance ==

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

Sandrine Blazy, Edwin Brady, Jacques Carette, Jeremy Gibbons (not present Nov 12th), Robert Glück (leaving on Nov 12th), Atsushi Igarashi (leaving on Nov 11th), Paul Kelly, Naoki Kobayashi, Julia Lawall, Christian Lengauer, Peter Mosses, Christoph Reichenbach (leaving on Nov 12th), Ulrik Pagh Schultz, Chung-chieh Shan, Tony Sloane, Armando Solar-Lezama, Walid Taha, Laurence Tratt, Eric Van Wyk

== Talks and Schedule ==

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

Sandrine Blazy, Formal verification of source program obfuscations

Edwin Brady [[WG211/M15Brady | TBD]]

Jacques Carette, TBD

Robert Glück, Maximally-polyvariant partial evaluation

Atsushi Igarashi, Type systems for a polymorphic imperative multi-stage language

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

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

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

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

Chung-chieh Shan, something about probabilistic programming

Walid Taha, Binding Time Analysis in Acumen

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

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

== Excursion==

TBD

WG211/M15Schedule

2015-08-27T18:15:57Z

Robert: /* Talks and Schedule */

=IFIP Working Group 2.11, Fifteenth Meeting=

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

The meeting will be held in London, England, hosted by Paul Kelly.
There will be an excursion, details to be announced.

=== Venue ===

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

=== Travel ===

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

==== Accommodation ====

Imperial's conferences office offers support in finding accommodation options [http://www3.imperial.ac.uk/conferenceandevents/accommodation/hotelaccommodation]

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.

If you need a cheaper option, there are cheaper hotels; our experience with them is mixed. We have had good experience with this agency, which offers rooms in private homes: [http://doctorhouse.co.uk]
You should expect a significant commute of course.

==== Excursions ====

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

=== Venue ===

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

== Registration ==

Registration will be handled by Imperial College, details and costs to be announced, but will be similar to previous recent meetings in Europe.

== Attendance ==

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

Paul Kelly, Julia Lawall, Ulrik Pagh Schultz, Tony Sloane, Eric Van Wyk, Chung-chieh Shan

== Talks and Schedule ==

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

Robert Glück, Maximally-polyvariant partial evaluation

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

Chung-chieh Shan, something about probabilistic programming

== Excursion==

TBD

WG211/M12Schedule

2013-06-07T17:02:49Z

Robert:

[[Category:WG211]]

=IFIP Working Group 2.11, Twelfth Meeting=

[http://cs.umn.edu/~evw/wg_boat.jpg WG member photo]

==June 3-6, 2013, Minneapolis, USA==

A map of campus with a few (poorly drawn) additions of interest to us can be found [http://cs.umn.edu/~evw/map.jpg here].

=== Travel ===
After flying into Minneapolis-St. Paul airport it is easy to get to the university and the hotel. The easiest, and most expensive, is to take a taxi. This is usually around $25-$30. If you want to share a taxi ride, add your name and time of arrival in the space at the bottom of this page.

Another easy and less expensive way is to use public transportation. The light rail transit system will take you from the airport to downtown Minneapolis where you can take a city bus to campus.
* From baggage claim follow the signs to the LRT. This involves a 30 second tram ride to the station where you will need to purchase a ticket before boarding the train. This ticket is also good for the city bus.
* Go down the escalators and board any train going north. They all go to Minneapolis and signs make it clear which side the trains will be on.
* Ride to the "Downtown East / Metrodome" stop. Stops are announced on the train and there are maps on the train as well. You'll see the Metrodome one your left.
* The bus stop is just a few feet away. Follow some fellow passengers as most will be going there. It is just by the rail line at the very end of the platform as your exit the train and walk to your right. Do not cross the street, busing heading in the wrong direction leave from across the street.
* Your ticket is good on the bus, just show it to the bus driver and he or she will tell you have to run the ticket through the ticket reading device. There is typically a place for luggage at the front of the bus right as your enter.
* Get on a bus numbered 16 or 50. They will make two stops before crossing the Mississippi river. You can exit the bus at any of the next few stops. These stops are the yellow circles in the campus map. The buses only stop at designated stops and only when the yellow cord has been pulled to request a stop. If you get off of the bus on University Avenue (the one with 3 stops shown) and are unsure where exactly you are you can orient yourself by walking in the same direction as traffic until you see the large stadium on your left. Just turn left at any cross street, following the map to the hotel. (A number 3 bus will take you to the circled stop that is not on University Avenue, but will not go to the stops on University Ave.)
* The hotel reportedly offers a free shuttle to anywhere within 5 miles of the hotel. So they will come pick you up at the Metrodome station if you prefer to avoid the city bus. They will also drop you off there on your way home - this make for a simple and cheap way to get back to the airport.

=== Around campus ===
A map of campus with a few (poorly drawn) additions of interest to us can be found above.
* The hotel is incorrectly labeled on this map as "University Hotel". You will see it in yellow.
* All meetings are in Coffman Union. This is also shown in yellow on the map. From the hotel just cross the street, turn right and you can't miss Coffman Union. We are meeting in the Dale Shepard room on the 4th floor. Take either elevator to the fourth floor, turn left and walk to the end of the hallway to find this room. The route is highlighted on the map.
* Bus stops are shown as yellow circles on the map. The shortest walking routes are highlighted.

* Eating around campus: ... coming soon ...

===Venue ===
The meeting will be held at University of Minnesota in USA, June 3-6, hosted by Eric Van Wyk. The meeting starts June 3rd in the morning, and ends with a lunch on June 6th. (Note that the meeting was earlier announced as being a day longer, but was reduced in length to be June 3-6.)

We have reserved a block of rooms at the Commons Hotel. This is a private hotel that sits next to campus and is closest to the meeting.
[https://gc.synxis.com/rez.aspx?Hotel=53931&Chain=11910&template=GCF&shell=GCF2&start=availresults&arrive=6/2/2013&depart=6/7/2013&adult=1&child=0&group=060213COMP Follow this link to make reservations for our block of rooms.] Kindly note that this is an external website (synxis.com). The actual web page of the hotel is [http://www.commonshotel.com/ http://www.commonshotel.com/].

Please book your room by '''April 2'''. That is the last date on which we can modify the number of reserved rooms in our contract. Once that happens there will be a few additional rooms that can be reserved in our block, but to be sure of getting a room it is best to book before April 2.

* '''NEW:''' If you want to come a day early or stay a day late (and why not, there are plenty of nice things to do in Minneapolis and the snow will be melted by then...) then you should be able to book those rooms now. If the reservation system does not give you the pre-tax rate of $124 then let me know. It only means that the few rooms that they allocated for those extra nights have been booked, but we can easily get more. I just need to call the hotel to make it happen. -Eric, March 28.

* Coming soon: detailed information about getting to the hotel from the airport. See above now.

===Related events===

[http://www.gpce.org GPCE 2013] submission deadline is June 14, a week after the meeting.

[http://2013.icse-conferences.org/ ICSE 2013] is located in San Francisco two weeks earlier, May 18-26.

===Registration===

Registration is open.
* The registration web page is http://register.cce.umn.edu/Course.pl?sect_key=187328.
* The cost of registration is $375.00 and covers meeting rooms, excursion, lunch, dinner, and coffee in the mornings and afternoons.
* Payment is by credit card. Please contact Eric if you need to pay by some other means.
* At one point the web page says that payment is in "US Dollars drawn on a US bank." Disregard this; it isn't true but it is unfortunately hard-coded into the registration system.

Please remember to either add yourself to the list of attendees or send an email to [[mailto:ups@mmmi.sdu.dk Ulrik Schultz ]]. If you are giving a talk, please either add your topic to the list below or email Ulrik.

===Attendees===

Jacques Carette, Krzysztof Czarnecki (Tuesday), Martin Erwig (Monday, Tuesday), Bernd Fischer, Robert Glück, Mats Heimdahl, Atsushi Igarashi, Christian Kaestner, Oleg Kiselyov, Julia Lawall, Christian Lengauer, Jörg Liebig, Peter Mosses, Sanjai Rayadurgam, Derek Rayside, Laurent Réveillère, Morten Rhiger, Tiark Rompf, Ina Schaefer, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Jeremy Siek, Satnam Singh, Tony Sloane, Yannis Smaragdakis, Mike Whalen, Eric Van Wyk.

===Talks===

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

Talks:

* [[WG211/M12Carette | Programming Languages through the Lens of Program Generation]] Jacques Carette
* [[WG211/M12Czarnecki | TBD]] Krzysztof Czarnecki (Tuesday)
* [[WG211/M12Erwig | Towards Explicitness as a Language Design Criterion]] Martin Erwig (Monday or Tuesday)
* [[WG211/M12Fischer | Automatic Generation of Data Distribution Strategies for Data Parallel Programs]] Bernd Fischer
* [[WG211/M12Glück | Simulation of Two-Way Pushdown Automata Revisited]] Robert Glück
* [[WG211/M12Igarashi | Revisiting Cross-Stage Persistence]] Atsushi Igarashi
* [[WG211/M12Kaestner | Variability-Aware Test Execution]] Christian Kaestner
* [[WG211/M12Kiselyov | MetaOCaml lives on]] Oleg Kiselyov
* [[WG211/M12Lengauer | Advanced Stencil-Code Generation]] Christian Lengauer
* [[WG211/M12Liebig | Analysis and Transformation of Product Lines]] Jörg Liebig (Monday or Tuesday)
* [[WG211/M12Mosses | Component-Based Semantics for Caml Light]] Peter Mosses (Monday or Tuesday)
* [[WG211/M12Rhiger | Towards static compilation of dynamic code generation ]] Morten Rhiger
* [[WG211/M12Rompf | Project Lancet: Surgical Precision JIT Compilers]] Tiark Rompf
* [[WG211/M12Schaefer | Engineering Delta Modeling Languages]] Ina Schaefer
* [[WG211/M12Scholz | Data-Layout Inference for Generating Vectorised Code]] Sven-Bodo Scholz
* [[WG211/M12Schultz | Automatic Generation of an Electronics-to-Middleware Interface Layer]] Ulrik Schultz
* [[WG211/M12Siek | Linking isn't Substitution]] Jeremy Siek
* [[WG211/M12Singh | Computing without Processors]] Satnam Singh
* [[WG211/M12Smaragdakis | PQL: A Purely-Declarative Java Extension for Parallel Programming]] Yannis Smaragdakis
* [[WG211/M12Wyk | Debugging Attribute Grammars]] Eric Van Wyk

Discussion: Relationship GPCE/WG211, Christian Kaestner/GPCE steering committee

===Overall schedule===

The meeting is in the Coffman Union building, we are meeting in the Dale Shepard room on the 4th floor. Instructions on how to get there: see above.

Overall schedule including lunch and dinner arrangements (third revision):

Monday (8 talks)
* 8.30-9.15: Welcome
* 9.15-10.00: Talks (1)
* 10.30-12.00: Talks (2)
* Lunch in Campus Club
* 13.30-15.00: Talks (2)
* 15.30-17.00: Talks (2)
* 18:25: meet in hotel lobby
* 18:30: take taxis to dinner at [http://www.redstagsupperclub.com/ Red Stagg Supper Club]

Tuesday (6 talks, business meeting)
(On Tuesday only we are meeting in room 303 Coffman Union (the same building as we meet on other days). This room is one floor below the regular one and is basically between the elevators.)
* 8.30-10.00: Talks (2)
* 10.30-12.00: Talks (2)
* Lunch in Campus Club
* 13.30-15.00: Talks (2)
* 15-30-17.00: Business meeting
* 18:25: meet in hotel lobby
* 18:30: walk to dinner at [http://loringpastabar.com/ Loring Pasta Bar]. This is marked as "LBP" on the map linked to above.

Wednesday (3 talks, excursion)
* 8.30-10.00: Talks (2)
* 10.30-11.15: Talks (1)
* Afternoon excursion:
** 11:15: Drop bags at hotel, walk to the boat.
** 11:50: Board the boat.
** 12:00: Boat cruise and lunch
** 13:30: Go to the Mill City Museum
** 14:00: Mill City Museum
** 16:00: Free time to explore the view from Guthrie Theater, walk across the Stone Arch bridge, explore the old mill ruins in the outdoor part of the Mill City Museum. (In nice weather this would be a nice relaxing time.)
** 18:00: Head back to hotel, free time before dinner
* 18:25: meet in hotel lobby to walk to dinner at [http://www.republicmn.com/ Republic].
* 18:30: Walk to dinner

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

Optional extra excursion: Visit to the Weisman modern art museum that is next door to where we are meeting (it is free).
http://www.weisman.umn.edu/

Talk schedule: As announced on the mailing list, we plan to have a floating schedule where talks are scheduled dynamically as the meeting proceeds.

=== Sharing a taxi from the airport to the hotel ===
* Add your name and time of arrival here if you are interested in sharing a taxi to the hotel.
* Ulrik: arriving June 1st 12.45, inclined to train+bus but will share taxi if convenient
* Chris: arriving June 2nd, 18:38 from Atlanta on DL1528, intentions as Ulrik.

=== Sharing a taxi from the university to the airport ===
* Add your name and time of departure here if you are interested in sharing a taxi back to the airport.
* Julia: dep June 6 15:45, inclined to shuttle+train but will share taxi if convenient

WG211/M12Schedule

2013-06-04T18:49:27Z

Robert:

[[Category:WG211]]

=IFIP Working Group 2.11, Twelfth Meeting=
==June 3-6, 2013, Minneapolis, USA==

A map of campus with a few (poorly drawn) additions of interest to us can be found [http://cs.umn.edu/~evw/map.jpg here].

=== Travel ===
After flying into Minneapolis-St. Paul airport it is easy to get to the university and the hotel. The easiest, and most expensive, is to take a taxi. This is usually around $25-$30. If you want to share a taxi ride, add your name and time of arrival in the space at the bottom of this page.

Another easy and less expensive way is to use public transportation. The light rail transit system will take you from the airport to downtown Minneapolis where you can take a city bus to campus.
* From baggage claim follow the signs to the LRT. This involves a 30 second tram ride to the station where you will need to purchase a ticket before boarding the train. This ticket is also good for the city bus.
* Go down the escalators and board any train going north. They all go to Minneapolis and signs make it clear which side the trains will be on.
* Ride to the "Downtown East / Metrodome" stop. Stops are announced on the train and there are maps on the train as well. You'll see the Metrodome one your left.
* The bus stop is just a few feet away. Follow some fellow passengers as most will be going there. It is just by the rail line at the very end of the platform as your exit the train and walk to your right. Do not cross the street, busing heading in the wrong direction leave from across the street.
* Your ticket is good on the bus, just show it to the bus driver and he or she will tell you have to run the ticket through the ticket reading device. There is typically a place for luggage at the front of the bus right as your enter.
* Get on a bus numbered 16 or 50. They will make two stops before crossing the Mississippi river. You can exit the bus at any of the next few stops. These stops are the yellow circles in the campus map. The buses only stop at designated stops and only when the yellow cord has been pulled to request a stop. If you get off of the bus on University Avenue (the one with 3 stops shown) and are unsure where exactly you are you can orient yourself by walking in the same direction as traffic until you see the large stadium on your left. Just turn left at any cross street, following the map to the hotel. (A number 3 bus will take you to the circled stop that is not on University Avenue, but will not go to the stops on University Ave.)
* The hotel reportedly offers a free shuttle to anywhere within 5 miles of the hotel. So they will come pick you up at the Metrodome station if you prefer to avoid the city bus. They will also drop you off there on your way home - this make for a simple and cheap way to get back to the airport.

=== Around campus ===
A map of campus with a few (poorly drawn) additions of interest to us can be found above.
* The hotel is incorrectly labeled on this map as "University Hotel". You will see it in yellow.
* All meetings are in Coffman Union. This is also shown in yellow on the map. From the hotel just cross the street, turn right and you can't miss Coffman Union. We are meeting in the Dale Shepard room on the 4th floor. Take either elevator to the fourth floor, turn left and walk to the end of the hallway to find this room. The route is highlighted on the map.
* Bus stops are shown as yellow circles on the map. The shortest walking routes are highlighted.

* Eating around campus: ... coming soon ...

===Venue ===
The meeting will be held at University of Minnesota in USA, June 3-6, hosted by Eric Van Wyk. The meeting starts June 3rd in the morning, and ends with a lunch on June 6th. (Note that the meeting was earlier announced as being a day longer, but was reduced in length to be June 3-6.)

We have reserved a block of rooms at the Commons Hotel. This is a private hotel that sits next to campus and is closest to the meeting.
[https://gc.synxis.com/rez.aspx?Hotel=53931&Chain=11910&template=GCF&shell=GCF2&start=availresults&arrive=6/2/2013&depart=6/7/2013&adult=1&child=0&group=060213COMP Follow this link to make reservations for our block of rooms.] Kindly note that this is an external website (synxis.com). The actual web page of the hotel is [http://www.commonshotel.com/ http://www.commonshotel.com/].

Please book your room by '''April 2'''. That is the last date on which we can modify the number of reserved rooms in our contract. Once that happens there will be a few additional rooms that can be reserved in our block, but to be sure of getting a room it is best to book before April 2.

* '''NEW:''' If you want to come a day early or stay a day late (and why not, there are plenty of nice things to do in Minneapolis and the snow will be melted by then...) then you should be able to book those rooms now. If the reservation system does not give you the pre-tax rate of $124 then let me know. It only means that the few rooms that they allocated for those extra nights have been booked, but we can easily get more. I just need to call the hotel to make it happen. -Eric, March 28.

* Coming soon: detailed information about getting to the hotel from the airport. See above now.

===Related events===

[http://www.gpce.org GPCE 2013] submission deadline is June 14, a week after the meeting.

[http://2013.icse-conferences.org/ ICSE 2013] is located in San Francisco two weeks earlier, May 18-26.

===Registration===

Registration is open.
* The registration web page is http://register.cce.umn.edu/Course.pl?sect_key=187328.
* The cost of registration is $375.00 and covers meeting rooms, excursion, lunch, dinner, and coffee in the mornings and afternoons.
* Payment is by credit card. Please contact Eric if you need to pay by some other means.
* At one point the web page says that payment is in "US Dollars drawn on a US bank." Disregard this; it isn't true but it is unfortunately hard-coded into the registration system.

Please remember to either add yourself to the list of attendees or send an email to [[mailto:ups@mmmi.sdu.dk Ulrik Schultz ]]. If you are giving a talk, please either add your topic to the list below or email Ulrik.

===Attendees===

Jacques Carette, Krzysztof Czarnecki (Tuesday), Martin Erwig (Monday, Tuesday), Bernd Fischer, Robert Glück, Mats Heimdahl, Atsushi Igarashi, Christian Kaestner, Oleg Kiselyov, Julia Lawall, Christian Lengauer, Jörg Liebig, Peter Mosses, Sanjai Rayadurgam, Derek Rayside, Laurent Réveillère, Morten Rhiger, Tiark Rompf, Ina Schaefer, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Jeremy Siek, Satnam Singh, Tony Sloane, Yannis Smaragdakis, Mike Whalen, Eric Van Wyk.

===Talks===

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

Talks:

* [[WG211/M12Carette | Programming Languages through the Lens of Program Generation]] Jacques Carette
* [[WG211/M12Czarnecki | TBD]] Krzysztof Czarnecki (Tuesday)
* [[WG211/M12Erwig | Towards Explicitness as a Language Design Criterion]] Martin Erwig (Monday or Tuesday)
* [[WG211/M12Fischer | Automatic Generation of Data Distribution Strategies for Data Parallel Programs]] Bernd Fischer
* [[WG211/M12Glück | Simulation of Two-Way Pushdown Automata Revisited]] Robert Glück
* [[WG211/M12Igarashi | Revisiting Cross-Stage Persistence]] Atsushi Igarashi
* [[WG211/M12Kaestner | Variability-Aware Test Execution]] Christian Kaestner
* [[WG211/M12Kiselyov | MetaOCaml lives on]] Oleg Kiselyov
* [[WG211/M12Lengauer | Advanced Stencil-code Generation]] Christian Lengauer
* [[WG211/M12Liebig | Analysis and Transformation of Product Lines]] Jörg Liebig (Monday or Tuesday)
* [[WG211/M12Mosses | Component-Based Semantics for Caml Light]] Peter Mosses (Monday or Tuesday)
* [[WG211/M12Rhiger | Towards static compilation of dynamic code generation ]] Morten Rhiger
* [[WG211/M12Rompf | Project Lancet: Surgical Precision JIT Compilers]] Tiark Rompf
* [[WG211/M12Schaefer | Engineering Delta Modeling Languages]] Ina Schaefer
* [[WG211/M12Scholz | Data-Layout Inference for Generating Vectorised Code]] Sven-Bodo Scholz
* [[WG211/M12Schultz | Automatic Generation of an Electronics-to-Middleware Interface Layer]] Ulrik Schultz
* [[WG211/M12Siek | Linking isn't Substitution]] Jeremy Siek
* [[WG211/M12Singh | Computing without Processors]] Satnam Singh
* [[WG211/M12Smaragdakis | Forsaking Inheritance: Supercharged Delegation as a Modular OO Primitive]] Yannis Smaragdakis
* [[WG211/M12Wyk | Debugging Attribute Grammars]] Eric Van Wyk

Discussion: Relationship GPCE/WG211, Christian Kaestner/GPCE steering committee

===Overall schedule===

The meeting is in the Coffman Union building, we are meeting in the Dale Shepard room on the 4th floor. Instructions on how to get there: see above.

Overall schedule including lunch and dinner arrangements (third revision):

Monday (8 talks)
* 8.30-9.15: Welcome
* 9.15-10.00: Talks (1)
* 10.30-12.00: Talks (2)
* Lunch in Campus Club
* 13.30-15.00: Talks (2)
* 15.30-17.00: Talks (2)
* 18:25: meet in hotel lobby
* 18:30: take taxis to dinner at [http://www.redstagsupperclub.com/ Red Stagg Supper Club]

Tuesday (6 talks, business meeting)
(On Tuesday only we are meeting in room 303 Coffman Union (the same building as we meet on other days). This room is one floor below the regular one and is basically between the elevators.)
* 8.30-10.00: Talks (2)
* 10.30-12.00: Talks (2)
* Lunch in Campus Club
* 13.30-15.00: Talks (2)
* 15-30-17.00: Business meeting
* 18:25: meet in hotel lobby
* 18:30: walk to dinner at [http://loringpastabar.com/ Loring Pasta Bar]. This is marked as "LBP" on the map linked to above.

Wednesday (3 talks, excursion)
* 8.30-10.00: Talks (2)
* 10.30-11.15: Talks (1)
* Afternoon excursion:
** 11:15: Drop bags at hotel, walk to the boat.
** 11:50: Board the boat.
** 12:00: Boat cruise and lunch
** 13:30: Go to the Mill City Museum
** 14:00: Mill City Museum
** 16:00: Free time to explore the view from Guthrie Theater, walk across the Stone Arch bridge, explore the old mill ruins in the outdoor part of the Mill City Museum. (In nice weather this would be a nice relaxing time.)
** 18:00: Head back to hotel, free time before dinner
* 18:25: meet in hotel lobby to walk to dinner at [http://www.republicmn.com/ Republic].
* 18:30: Walk to dinner

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

Optional extra excursion: Visit to the Weisman modern art museum that is next door to where we are meeting (it is free).
http://www.weisman.umn.edu/

Talk schedule: As announced on the mailing list, we plan to have a floating schedule where talks are scheduled dynamically as the meeting proceeds.

=== Sharing a taxi from the airport to the hotel ===
* Add your name and time of arrival here if you are interested in sharing a taxi to the hotel.
* Ulrik: arriving June 1st 12.45, inclined to train+bus but will share taxi if convenient
* Chris: arriving June 2nd, 18:38 from Atlanta on DL1528, intentions as Ulrik.

=== Sharing a taxi from the university to the airport ===
* Add your name and time of departure here if you are interested in sharing a taxi back to the airport.
* Robert: dep June 6 15:55, inclined to shuttle+train but will share taxi if convenient

WG211/M12Schedule

2013-05-27T06:15:54Z

Robert:

[[Category:WG211]]

=IFIP Working Group 2.11, Twelfth Meeting=
==June 3-6, 2013, Minneapolis, USA==

===Venue and Travel===

The meeting will be held at University of Minnesota in USA, June 3-6, hosted by Eric Van Wyk. The meeting starts June 3rd in the morning, and ends with a lunch on June 6th. (Note that the meeting was earlier announced as being a day longer, but was reduced in length to be June 3-6.)

We have reserved a block of rooms at the Commons Hotel. This is a private hotel that sits next to campus and is closest to the meeting.
[https://gc.synxis.com/rez.aspx?Hotel=53931&Chain=11910&template=GCF&shell=GCF2&start=availresults&arrive=6/2/2013&depart=6/7/2013&adult=1&child=0&group=060213COMP Follow this link to make reservations for our block of rooms.] Kindly note that this is an external website (synxis.com). The actual web page of the hotel is [http://www.commonshotel.com/ http://www.commonshotel.com/].

Please book your room by '''April 2'''. That is the last date on which we can modify the number of reserved rooms in our contract. Once that happens there will be a few additional rooms that can be reserved in our block, but to be sure of getting a room it is best to book before April 2.

* '''NEW:''' If you want to come a day early or stay a day late (and why not, there are plenty of nice things to do in Minneapolis and the snow will be melted by then...) then you should be able to book those rooms now. If the reservation system does not give you the pre-tax rate of $124 then let me know. It only means that the few rooms that they allocated for those extra nights have been booked, but we can easily get more. I just need to call the hotel to make it happen. -Eric, March 28.

* Coming soon: detailed information about getting to the hotel from the airport.

===Related events===

[http://www.gpce.org GPCE 2013] submission deadline is June 14, a week after the meeting.

[http://2013.icse-conferences.org/ ICSE 2013] is located in San Francisco two weeks earlier, May 18-26.

===Registration===

Registration is open.
* The registration web page is http://register.cce.umn.edu/Course.pl?sect_key=187328.
* The cost of registration is $375.00 and covers meeting rooms, excursion, lunch, dinner, and coffee in the mornings and afternoons.
* Payment is by credit card. Please contact Eric if you need to pay by some other means.
* At one point the web page says that payment is in "US Dollars drawn on a US bank." Disregard this; it isn't true but it is unfortunately hard-coded into the registration system.

Please remember to either add yourself to the list of attendees or send an email to [[mailto:ups@mmmi.sdu.dk Ulrik Schultz ]]. If you are giving a talk, please either add your topic to the list below or email Ulrik.

===Attendees===

Jacques Carette, Krzysztof Czarnecki (Tuesday), Martin Erwig (Monday, Tuesday), Bernd Fischer, Robert Glück, Atsushi Igarashi, Christian Kaestner, Oleg Kiselyov, Julia Lawall, Christian Lengauer, Jörg Liebig, Peter Mosses, Laurent Réveillère, Morten Rhiger, Tiark Rompf, Ina Schaefer, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Jeremy Siek, Satnam Singh, Tony Sloane, Yannis Smaragdakis, Eric Van Wyk.

===Talks===

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

Talks:

* [[WG211/M12Carette | TBD]] Jacques Carette
* [[WG211/M12Erwig | Towards Explicitness as a Language Design Criterion]] Martin Erwig (Monday or Tuesday)
* [[WG211/M12Glück | Simulation of Two-Way Pushdown Automata Revisited]] Robert Glück
* [[WG211/M12Igarashi | Revisiting Cross-Stage Persistence]] Atsishi Igarashi
* [[WG211/M12Kaestner | Variability-Aware Test Execution]] Christian Kaestner
* [[WG211/M12Kiselyov | MetaOCaml lives on]] Oleg Kiselyov
* [[WG211/M12Liebig | Analysis and Transformation of Product Lines]] Jörg Liebig (Monday or Tuesday)
* [[WG211/M12Mosses | Component-Based Semantics for Caml Light]] Peter Mosses (Monday or Tuesday)
* [[WG211/M12Rhiger | TBD ]] Morten Rhiger
* [[WG211/M12Rompf | Project Lancet: Surgical Precision JIT Compilers]] Tiark Rompf
* [[WG211/M12Schaefer | Engineering Delta Modeling Languages]] Ina Schaefer
* [[WG211/M12Scholz | Data-Layout Inference for Generating Vectorised Code]] Sven-Bodo Scholz
* [[WG211/M12Schultz | Automatic Generation of an Electronics-to-Middleware Interface Layer]] Ulrik Schultz
* [[WG211/M12Siek | TBD]] Jeremy Siek
* [[WG211/M12Singh | Computing without Processors]] Satnam Singh
* [[WG211/M12Sloane | TBD]] Tony Sloane
* [[WG211/M12Smaragdakis | Forsaking Inheritance]] Yannis Smaragdakis
* [[WG211/M12Wyk | TBD]] Eric Van Wyk

Discussion: Relationship GPCE/WG211, Christian Kaestner/GPCE steering committee

Overall schedule including lunch and dinner arrangements:

Monday
* 8.00-8.30: Welcome
* 8.30-10.00: Talks (2)
* 10.30-12.00: Talks (2)
* Lunch
* 13.30-15.00: Talks (2)
* 15.30-17.45: Talks (3)
* Dinner: TBA

Tuesday
* 8.30-10.00: Talks (2)
* 10.30-12.00: Talks (2)
* Lunch
* 13.30-15.00: Talks (2)
* 15-30-17.00: Business meeting
* Dinner: TBA

Wednesday
* 8.30-10.00: Talks (2)
* 10.30-12.00: Talks (2)
* Lunch
* Afternoon: excursion
* Dinner: TBA

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

Talk schedule: As announced on the mailing list, we plan to have a floating schedule where talks are scheduled dynamically as the meeting proceeds.

WG211/M12Glueck

2013-03-26T21:38:13Z

Robert:

The linear-time simulation of 2-way deterministic pushdown automata (2DPDA) is revisited. Following a semantics-based approach, a recursive interpreter is given which, when extended with random-access memory, performs a linear-time simulation of 2DPDA. The simulation is then extended to non-deterministic pushdown automata yielding a polynomial-time simulator. The constructions may provide an alternative angle to assess some program generation and complexity problems.

WG211/M12Glueck

2013-03-26T21:36:52Z

Robert: Created page with "The linear-time simulation of 2-way deterministic pushdown automata (2DPDA) is revisited. Following the semantics-based approach by Jones, a recursive interpreter is given which,..."

The linear-time simulation of 2-way deterministic pushdown automata (2DPDA) is revisited. Following the semantics-based approach by Jones, a recursive interpreter is given which, when extended with random-access memory, performs a linear-time simulation of 2DPDA. The simulation is then extended to non-deterministic pushdown automata yielding a polynomial-time simulator. The constructions may provide an alternative angle to assess some program generation and complexity problems.

WG211/M12Schedule

2013-03-26T21:36:44Z

Robert: /* Talks */

WG211/M12Schultz

2013-03-26T21:36:04Z

Robert: Blanked the page

WG211/M12Schultz

2013-03-26T21:35:48Z

WG211/M12Schedule

2013-03-26T21:31:38Z

Robert: /* Talks */

WG211/M12Schedule

2013-03-26T21:31:18Z

Robert: /* Talks */

WG211/M12Schedule

2013-03-26T21:30:31Z

Robert: /* Talks */

File:M11slidesGlueck.pdf

2012-06-28T17:02:03Z

Robert: uploaded a new version of "File:M11slidesGlueck.pdf"

File:M11slidesGlueck.pdf

2012-06-28T16:50:22Z

Robert: uploaded a new version of "File:M11slidesGlueck.pdf"

WG211/M11Schedule

2012-06-28T16:46:17Z

Robert:

[[Category:WG211]]

=IFIP Working Group 2.11, Eleventh Meeting=
==June 25-27, 2012, Halmstad, Sweden==

===Venue and Travel===

The meeting will be held at Halmstad University in Sweden, June 25-27, hosted by Walid Taha. '''Registration and hotel booking deadline: May 7th.''' The meeting starts June 25th in the morning, and ends with a lunch on June 27th.

For accommodation, you are recommended the Hotel Mårtensson. To get a special rate of SEK 928/night including breakfast and VAT, booking '''must''' be made by either by e-mail to malin.nilsson@firsthotels.se or by phoning them, tel: +46 35 17 75 75, as this is a group arrangement. Use the booking code sent to you by email (contact [[mailto:ups@mmmi.sdu.dk Ulrik Schultz ]] if you do not have it.) To get this rate, you must book by May 7th, and you should not book through the hotel's web page (but by email, as described above). If you want more information or review other booking options, please see [http://www.firsthotels.com/Our-hotels/Hotels-in-Sweden/Halmstad/First-Hotel-Martenson/ http://www.firsthotels.com/Our-hotels/Hotels-in-Sweden/Halmstad/First-Hotel-Martenson/].

The official directions for getting to campus can be found [http://www.hh.se/english/abouttheuniversity/visitus.307_en.html here]. To simplify matters, if you are flying in internationally you might find it easiest to fly into Copenhagen (CPH) airport, which is locally known as Kastrup (as on the instructions on the above mentioned page). The best thing about flying into CPH is that you just buy a train ticket and take a train to Halmstad when you arrive. The train leaves from the airport itself. Once in Halmstad, everything is either in walking distance or a short cab ride away. Usually there are cabs at the station, but in case there are none there is a little phone that connects directly to the local taxi company.

Note that CPH is in Denmark, which is a different country. So, if you need visas for European countries, make sure you get one that works for both. If for some reason you cannot or do not want to use CPH, the next best international airport is in Gothenburg (GOT), locally known as Landvetter. The tricky thing about using that airport is that you would first have to take a 45 minute shuttle from the airport to the Gothenburg train station, and then take the train to Halmstad. That's one transfer and one wait.

===Getting to the venue===

The meeting is in Wigforssalen, Visionen Building, Halmstad University. To get there from one of the hotels, you can either walk or go there by bus. The university is about 1500m from the train station, it takes about 15-20 minutes to walk there from the station, probably 30 minutes from hotel Martenson, along the route indicated in this map [[Media:Map_to_Halmstad_University.pdf]]. When you get to the university, you will see a big sign with the university logo on on the right side. The Visionen house is just behind the tower house within the campus area. Visionen is house "H" on the [http://www.hh.se/english/abouttheuniversity/visitus.307_en.html university map]. The meeting is on the 21st floor of the building, in the room called "Faculty club".

You can also get to the university by bus. Note that buses do not cash, but you can pay with a credit card (or purchase a multi-ride ticket in advance). To catch a bus from hotel Martenson, go to the Osterskans bus terminal which is on the other side of Nissan from Martenson, at the end of Osterbro (go south to the square, then across the bridge). The numbers of the relevant buses are 20 to Fyllinge (every 15 minutes in the morning) and 30 to N Andersberg (every half hour). They stop very close to the university (same stop, "Hogskolan", after about 6 minutes of bus ride, 1 zone of travel). Of course you can take them back to town center too, in this case the bus stop is on the other side of the street outside the university. To get more information on bus traffic, look at [http://www.hallandstrafiken.se/CM.php?PageID=88037 Hallandstrafiken] (they have information in English).

===Related events===

The workshop on Reversible Computing [http://www.reversible-computation.org RC 2012] is located in Copenhagen the week after, July 2-3.

===Registration===

Registration is done using Paypal, deadline is May 7th, and the registration fee is SEK 2500. Link is available in the left-hand column on this page. Registration covers lunch, dinners, coffee breaks, and transportation for an excursion.

Please remember to either add yourself to the list of attendees or send an email to [[mailto:ups@mmmi.sdu.dk Ulrik Schultz ]]. If you are giving a talk, please either add your topic to the list below or email Ulrik.

===Attendees===

Sven Apel (Monday+Tuesday), Emilie Balland, Eric Bodden, Edwin Brady, Anthony Cleve (Monday+Tuesday), Olivier Danvy, Ewen Denney, Bernd Fischer, Robert Glueck, Gorel Hedin, Christoph Herrmann, Jun Inoue, Christian Kaestner, Julia Lawall, Christian Lengauer, Peter Mosses, John O'Donnell (talk Monday or Tuesday), Markus Puschel, Klaus Ostermann, Morten Rhiger, Ina Schaefer, Sven-Bodo Scholz, Ulrik Schultz, Tony Sloane, Walid Taha, Eelco Visser, Eric Van Wyk

===Talks===

If you are giving a talk, email Ulrik the title and the abstract. Alternatively, if you have access to the wiki, add it yourself following the examples below:

Talks:
* [[WG211/M11Apel | Product-Line Analysis: Experience and Prospects]] Sven Apel (Monday/Tuesday)
* [[WG211/M11Balland | Design-driven Development of Dependable Applications: A Case Study in Avionics]] Emilie Balland
* [[WG211/M11Bodden | IFDS/IDE-based Inter-procedural Static Analysis of Software Product Lines]] Eric Bodden [[Media:M11slidesBodden.pdf | (slides)]]
* [[WG211/M11Brady | Implementing Domain Specific Languages by Syntax Overloading]] Edwin Brady
* [[WG211/M11Cleve | Combining generation and transformation for data-intensive systems development and evolution]] Anthony Cleve
* [[WG211/M11Danvy | A formalization of Moessner's theorem in Coq]] Olivier Danvy [[Media:M11slidesDanvy.pdf | (slides)]]
* [[WG211/M11Glueck | Bootstrapping compiler generators from partial evaluators]] Robert Glück [[Media:M11slidesGlueck.pdf | (slides)]]
* [[WG211/M11Hedin | Parameterized reference attributes: examples and properties]] Gorel Hedin [[Media:M11slidesHedin.pdf | (slides)]]
* [[WG211/M11Herrmann | Derivation of program properties during generation]] Christoph Herrmann
* [[WG211/Inoue | Reasoning About Multi-stage Programs]] Jun Inoue
* [[WG211/M11Kaestner | Variability Mining]] Christian Kaestner [[Media:M11slidesKaestner.pdf | (slides)]]
* [[WG211/M11Lawall | Automatic Generation of a Debugging Interface to the Linux Kernel ]] Julia Lawall [[Media:M11slidesLawall.pdf | (slides)]]
* [[WG211/M11Mosses | Component-based bisimilarity]] Peter Mosses [[Media:M11slidesMosses.pdf | (slides)]]
* [[WG211/M11ODonnell | Generating Debuggers and Fast Simulators from Functional Circuit Specifications]] John O'Donnell
* [[WG211/M11Ostermann | Model-Oriented Programming]] Klaus Ostermann [[Media:M11slidesOstermann.pdf | (slides)]]
* [[WG211/M11Puschel | Computer Generation of IP Cores]] Markus Puschel (Monday/Tuesday)
* [[WG211/M11Rhiger | A lexically scoped type system for multi-stage languages]] Morten Rhiger
* [[WG211/M11Schaefer | Incremental model-based testing of software product lines]] Ina Schaefer [[Media:M11slidesSchaefer.pdf | (slides)]]
* [[WG211/M11Scholz | Effective Parallel Code Generation Through Auto-Sequentialisation]] Sven-Bodo Scholz
* [[WG211/M11Schultz | Programming Language Abstractions for Modular Robots]] Ulrik Schultz [[Media:M11slidesSchultz.pdf | (slides)]]
* [[WG211/M11Sloane | Profile-based Analysis and Abstraction of Attribute Evaluation]] Tony Sloane [[Media:M11slidesSloane.pdf | (slides)]]
* [[WG211/M11Vanwyk | Modular Flow Analysis in Attribute Grammars]] Eric Van Wyk [[Media:M11slidesVanWyk.pdf | (slides)]]
* [[WG211/M11Visser | Declarative Language Definition (in Spoofax)]] Eelco Visser

Overall schedule including lunch and dinner arrangements: [https://docs.google.com/document/pub?id=1uHLkUo7OnGnYsEZP0qUF08FmBJneS5vm3Gxx7Zwk0Rc Overall schedule (google docs)]

Talk schedule (see also overall schedule):

===monday===
* Monday morning 1: 9.00-10.40
** Welcome
** [[WG211/M11Balland | Design-driven Development of Dependable Applications: A Case Study in Avionics]] Emilie Balland
** [[WG211/M11Brady | Implementing Domain Specific Languages by Syntax Overloading]] Edwin Brady [[Media:idris-wg211.pdf | (slides)]]
** [[WG211/M11Mosses | Component-based bisimilarity]] Peter Mosses [[Media:M11slidesMosses.pdf | (slides)]]
* Coffee (10:40-11:10)
* Monday morning 2: 11.10-12.10
** [[WG211/M11Glueck | Bootstrapping compiler generators from partial evaluators]] Robert Glueck [[Media:M11slidesGlueck.pdf | (slides)]]
** [[WG211/M11Rhiger | A lexically scoped type system for multi-stage languages]] Morten Rhiger
* Lunch (12.10-14.00, Lille Helfvettet)
* Monday afternoon 1: 14.00-15.30
** [[WG211/M11Sloane | Profile-based Analysis and Abstraction of Attribute Evaluation]] Tony Sloane [[Media:M11slidesSloane.pdf | (slides)]]
** [[WG211/M11Vanwyk | Modular Flow Analysis in Attribute Grammars]] Eric Van Wyk [[Media:M11slidesVanWyk.pdf | (slides)]]
** [[WG211/M11Hedin | Parameterized reference attributes: examples and properties]] Görel Hedin [[Media:M11slidesHedin.pdf | (slides)]]
* Coffee (15:30-16:00)
* Monday afternoon 2: 16.00-17.30
** [[WG211/M11Herrmann | Derivation of program properties during generation]] Christoph Herrmann
** [[WG211/Inoue | Reasoning About Multi-stage Programs]] Jun Inoue
** [[WG211/M11Kaestner | Variability Mining]] Christian Kaestner [[Media:M11slidesKaestner.pdf | (slides)]]
* Dinner 19:00 Svarta Örnshuset (The Black Eagle House), uptown

===tuesday===
* Tuesday morning 1: 9.00-10.30
** [[WG211/M11Apel | Product-Line Analysis: Experience and Prospects]] Sven Apel (Monday/Tuesday)
** [[WG211/M11Bodden | IFDS/IDE-based Inter-procedural Static Analysis of Software Product Lines]] Eric Bodden [[Media:M11slidesBodden.pdf | (slides)]]
** [[WG211/M11Schaefer | Incremental model-based testing of software product lines]] Ina Schaefer [[Media:M11slidesSchaefer.pdf | (slides)]]
* Coffee Break (10:30-11:00) [Catered by Anna Katis]
* Tuesday morning 2: 11.00-12.00
** [[WG211/M11Cleve | Combining generation and transformation for data-intensive systems development and evolution]] Anthony Cleve
** [[WG211/M11Puschel | Computer Generation of IP Cores]] Markus Püschel
* Lunch 12.00-14:00 Tre Hjärtan (Three Hearts), downtown
* Tuesday afternoon 1: 14.00-15.15
** [[WG211/M11Discussion | Discussion]] (75 minutes)
** (Short break)
* Tuesday afternoon 2: 15.30-16.30
** [[WG211/M11Danvy | A formalization of Moessner's theorem in Coq]] Olivier Danvy [[Media:M11slidesDanvy.pdf | (slides)]]
** [[WG211/M11ODonnell | Generating Debuggers and Fast Simulators from Functional Circuit Specifications]] John O'Donnell
* Business meeting (members only) 16.45-18.00
* Dinner: 19:00 at Brasserie Cullier, downtown

===wednesday===
* Wednesday morning 1: 9.00-10.30
** [[WG211/M11Visser | Declarative Language Definition (in Spoofax)]] Eelco Visser
** [[WG211/M11Lawall | Automatic Generation of a Debugging Interface to the Linux Kernel ]] Julia Lawall [[Media:M11slidesLawall.pdf | (slides)]]
** [[WG211/M11Scholz | Effective Parallel Code Generation Through Auto-Sequentialisation]] Sven-Bodo Scholz
* Coffee Break (10:30-11:00) [Catered by Anna Katis]
* Wednesday morning 2: 11.00-12.00
** [[WG211/M11Ostermann | Model-Oriented Programming]] Klaus Ostermann [[Media:M11slidesOstermann.pdf | (slides)]]
** [[WG211/M11Schultz | Programming Language Abstractions for Modular Robots]] Ulrik Schultz [[Media:M11slidesSchultz.pdf | (slides)]]
* Lunch 12.00-14:00 [Robert’s Cafe, downtown]