WG 2.11 - User contributions [en]

WG211/M20Pueschel

2020-02-05T08:24:17Z

MarkusPuschel: Created page with "Polyhedra domain analysis has been considered unpractical for most real world applications due to its worst case exponential complexity. In this talk I will present techniques..."

Polyhedra domain analysis has been considered unpractical for most real world applications due to its worst case exponential complexity. In this talk I will present techniques to speed up the analysis by several orders of magnitude in many cases. Specifically, this includes dynamic partitioning of variables and the use of learned transformers that can adaptively lose precision to speed up analysis.

WG211/M20Schedule

2020-02-05T08:19:51Z

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

=== Travel ===

From CDG: RER B to St Michel, and then line 10 to Jussieu. This can be done with a single ticket (10.30 euros). It takes around 1 hour.

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

=== 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, Bernd Fischer, Robert Glück, Atsushi Igarashi (until Wednesday lunch), Yukiyoshi Kameyama, Paul Kelly, Oleg Kiselyov, Julia Lawall, Christian Lengauer, Geoff Mainland, Antoine Mine (Monday and Wednesday), Peter Mosses, Markus Püschel (arrival: late afternoon Monday, departure: late afternoon Wednesday, due to teaching) Christoph Reichenbach, Bodo Scholz, Matthew Taylor, Ulrik Pagh Schultz, Eelco Visser, Jeremy Yallop, Vadim Zaytzev

== Talks ==

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

* Atsushi Igarashi [[WG211/M20Igarashi | Full-spectrum Dependent-types for Multi-Stage Programming ]]
* Bernd Fischer [[WG211/M20Fischer | TBD]]
* Oleg Kiselyov [[WG211/M20Kiselyov | Session Types without Sophistry: Practical embedding of DSLs with sophisticated type systems]]
* Antoine Mine: Combinations of Reusable Abstract Domains in the MOPSA Static Analyzer
* Markus Püschel [[WG211/M20Pueschel | Fast Polyhedra Domain Analysis ]] (Tuesday anytime or Wednesday before lunch please)
* Ulrik Pagh Schultz [[WG211/M20Schultz | Coarse-grained Computational Energy Modeling for Autonomous Systems]]
* Eelco Visser [[WG211/M20Visser | Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System]]
* 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 ===

TBA

=== 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-01-26T16:12:02Z

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

=== Travel ===

From CDG: RER B to St Michel, and then line 10 to Jussieu. This can be done with a single ticket (10.30 euros). It takes around 1 hour.

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

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

== 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, Bernd Fischer, Robert Glück, Atsushi Igarashi (until Wednesday lunch), Yukiyoshi Kameyama, Paul Kelly, Oleg Kiselyov, Julia Lawall, Christian Lengauer, Geoff Mainland, Peter Mosses, Markus Püschel (arrival: late afternoon Monday, departure: late afternoon Wednesday, due to teaching) Christoph Reichenbach, Bodo Scholz, Walid Taha, Matthew Taylor, Ulrik Pagh Schultz, Eelco Visser, Jeremy Yallop, Vadim Zaytzev

Still deciding, but tentative yes: Tim Sheard

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

* Atsushi Igarashi [[WG211/M20Igarashi | Full-spectrum Dependent-types for Multi-Stage Programming ]]
* Markus Püschel [[WG211/M20Pueschel | Fast Polyhedra Domain Analysis ]] (Tuesday or Wednesday before lunch please)
* Ulrik Pagh Schultz [[WG211/M20Schultz | Coarse-grained Computational Energy Modeling for Autonomous Systems]]
* Eelco Visser [[WG211/M20Visser | Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System]]

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

TBA

=== Social events ===

TBA

WG211/M20Schedule

2020-01-26T16:11:00Z

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

=== Travel ===

From CDG: RER B to St Michel, and then line 10 to Jussieu. This can be done with a single ticket (10.30 euros). It takes around 1 hour.

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

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

== 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, Bernd Fischer, Robert Glück, Atsushi Igarashi (until Wednesday lunch), Yukiyoshi Kameyama, Paul Kelly, Oleg Kiselyov, Julia Lawall, Christian Lengauer, Geoff Mainland, Peter Mosses, Markus Püschel (arrival: late afternoon Monday, departure: late afternoon Wednesday, due to teaching) Christoph Reichenbach, Bodo Scholz, Walid Taha, Matthew Taylor, Ulrik Pagh Schultz, Eelco Visser, Jeremy Yallop, Vadim Zaytzev

Still deciding, but tentative yes: Tim Sheard

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

* Atsushi Igarashi [[WG211/M20Igarashi | Full-spectrum Dependent-types for Multi-Stage Programming ]]
* Markus Püschel [[WG211/M20Pueschel | Fast Polyhedra Domain Analysis ]]
* Ulrik Pagh Schultz [[WG211/M20Schultz | Coarse-grained Computational Energy Modeling for Autonomous Systems]]
* Eelco Visser [[WG211/M20Visser | Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System]]

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

TBA

=== Social events ===

TBA

WG211/M20Schedule

2020-01-26T16:09:32Z

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

=== Travel ===

From CDG: RER B to St Michel, and then line 10 to Jussieu. This can be done with a single ticket (10.30 euros). It takes around 1 hour.

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

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

== 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, Bernd Fischer, Robert Glück, Atsushi Igarashi (until Wednesday lunch), Yukiyoshi Kameyama, Paul Kelly, Oleg Kiselyov, Julia Lawall, Christian Lengauer, Geoff Mainland, Peter Mosses, Markus Püschel (arrival: late afternoon Monday, departure: late afternoon Wednesday, due to teaching) Christoph Reichenbach, Bodo Scholz, Walid Taha, Matthew Taylor, Ulrik Pagh Schultz, Eelco Visser, Jeremy Yallop, Vadim Zaytzev

Still deciding, but tentative yes: Tim Sheard

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

* Atsushi Igarashi [[WG211/M20Igarashi | Full-spectrum Dependent-types for Multi-Stage Programming ]]
* Markus Püschel
* Ulrik Pagh Schultz [[WG211/M20Schultz | Coarse-grained Computational Energy Modeling for Autonomous Systems]]
* Eelco Visser [[WG211/M20Visser | Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System]]

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

TBA

=== Social events ===

TBA

WG211/M20Schedule

2020-01-19T13:40:18Z

MarkusPuschel: /* Attendance */

WG211/M20Schedule

2020-01-19T08:16:58Z

MarkusPuschel: /* Attendance */

WG211/M19Schedule

2019-04-01T12:49:27Z

MarkusPuschel: /* Attendance */

=IFIP Working Group 2.11, Nineteenth Meeting=

== April 29-May 2nd 2019 in Boston, USA ==

The meeting will be held in Boston, USA, hosted by Armando Solar-Lezama.

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

=== Venue ===

The meeting will be held at Salem Waterfront Hotel & Suites in Salem MA, http://www.salemwaterfronthotel.com

=== Travel ===

Travel recommendations to be announced.

=== Accommodation ===

As noted above, the meeting will take place at the Salem Waterfront Hotel & Suites in Salem MA. We have a block of rooms reserved at the following rates:
* Superior Full: $149.00
* Superior Queen: $159.00
* Superior King: $159.000
* Deluxe King: $169.00
* Junior Suite: $189.00
* King Suite: $209.00
All the costs are per night before taxes for up to 2 guests per room ($10 plus tax is added for extra guests in a room). In order to get this rate people need to call the hotel directly at 1-888-337-253 (US) or +1-978-740-8788 (internationally) and refer to MIT.
The block is held until April 2nd 2019, but please reserve as soon as possible so we have a good headcount.

=== Registration ===

Registration is done using eventbrite: https://www.eventbrite.com/e/wg-211-meeting-tickets-57113878147

The password is circulated by email. The registration is $520.42. (People from the US can save the eventbrite fee of 5% by paying with a check when they arrive, in this case they only need to pay $497.00.)

== Attendance ==

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

Sandrine Blazy,
Jacques Carette,
Shigeru Chiba (not Thursday),
Maryam Mehri Dehnavi,
Jeremy Gibbons,
Kevin Hammond,
Christian Kaestner,
Julia Lawall,
Geoff Mainland,
Ulrik Pagh Schultz,
Chung-chieh Shan,
Yannis Smaragdakis,
Armando Solar-Lezama,
Eelco Visser,
Eric Walkingshaw,
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.

* Jeremy Gibbons [[WG211/M19Gibbons | To Infinity and Beyond! Transfinite Arrays]]
* Ulrik Pagh Schultz [[WG211/M19Schultz | TeamPlay Project: Time, Energy and security Analysis for Multi/Many-code heterogeneous PLAtforms]]
* Eelco Visser [[WG211/M19Visser | Declarative Type System Specification with Statix]]
* ... (add more, order alphabetically by last name, following same pattern)...

== Program / schedule ==

=== Scientific program ===

The scheduling of the talks will be announced on the first day of the meeting.

=== Social events ===

To be announced. Social events will in general be covered by the registration fee, details will be available later.

== Excursion==

To be announced.

WG211/M19Schedule

2019-04-01T11:17:34Z

MarkusPuschel: /* Attendance */

=IFIP Working Group 2.11, Nineteenth Meeting=

== April 29-May 2nd 2019 in Boston, USA ==

The meeting will be held in Boston, USA, hosted by Armando Solar-Lezama.

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

=== Venue ===

The meeting will be held at Salem Waterfront Hotel & Suites in Salem MA, http://www.salemwaterfronthotel.com

=== Travel ===

Travel recommendations to be announced.

=== Accommodation ===

As noted above, the meeting will take place at the Salem Waterfront Hotel & Suites in Salem MA. We have a block of rooms reserved at the following rates:
* Superior Full: $149.00
* Superior Queen: $159.00
* Superior King: $159.000
* Deluxe King: $169.00
* Junior Suite: $189.00
* King Suite: $209.00
All the costs are per night before taxes for up to 2 guests per room ($10 plus tax is added for extra guests in a room). In order to get this rate people need to call the hotel directly at 1-888-337-253 (US) or +1-978-740-8788 (internationally) and refer to MIT.
The block is held until April 2nd 2019, but please reserve as soon as possible so we have a good headcount.

=== Registration ===

Registration is done using eventbrite: https://www.eventbrite.com/e/wg-211-meeting-tickets-57113878147

The password is circulated by email. The registration is $520.42. (People from the US can save the eventbrite fee of 5% by paying with a check when they arrive, in this case they only need to pay $497.00.)

== Attendance ==

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

Sandrine Blazy,
Jacques Carette,
Shigeru Chiba (not Thursday),
Maryam Mehri Dehnavi,
Jeremy Gibbons,
Kevin Hammond,
Christian Kaestner,
Julia Lawall,
Geoff Mainland,
Ulrik Pagh Schultz,
Chung-chieh Shan,
Yannis Smaragdakis,
Armando Solar-Lezama,
Eelco Visser,
Eric Walkingshaw,
Eric Van Wyk.

Cannot attend: Markus Püschel

== Talks ==

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

* Jeremy Gibbons [[WG211/M19Gibbons | To Infinity and Beyond! Transfinite Arrays]]
* Ulrik Pagh Schultz [[WG211/M19Schultz | TeamPlay Project: Time, Energy and security Analysis for Multi/Many-code heterogeneous PLAtforms]]
* Eelco Visser [[WG211/M19Visser | Declarative Type System Specification with Statix]]
* ... (add more, order alphabetically by last name, following same pattern)...

== Program / schedule ==

=== Scientific program ===

The scheduling of the talks will be announced on the first day of the meeting.

=== Social events ===

To be announced. Social events will in general be covered by the registration fee, details will be available later.

== Excursion==

To be announced.

WG211/M18Schedule

2018-05-15T10:27:47Z

MarkusPuschel: /* Travel */

=IFIP Working Group 2.11, Eighteenth Meeting=

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

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

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

=== Venue ===

The meeting will be held at Kyoto University.

=== Travel ===

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

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

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

---- Arrival/Departure

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

=== Accommodation ===

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

=== Registration ===

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

== Attendance ==

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

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

== Talks ==

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

* Jeremy Gibbons [[WG211/M18Gibbons | Profunctor Optics and the Yoneda Lemma]]
* Kevin Hammond [[WG211/M18Hammond | The Robots are Coming: Failure is not an Option!]]
* 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]]
* 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/M18Pueschel

2018-05-15T10:24:43Z

MarkusPuschel: Created page with "Managed language runtimes such as the Java Virtual Machine (JVM) provide adequate performance for a wide range of applications, but at the same time, they lack much of the low..."

Managed language runtimes such as the Java Virtual Machine (JVM) provide adequate performance for a wide range of applications, but at the same time, they lack much of the low-level control that performance-minded programmers appreciate in languages like C/C++. One important example is the intrinsics interface that exposes instructions of SIMD (Single Instruction Multiple Data) vector ISAs (Instruction Set Architectures). In this paper we present an automatic approach for including native intrinsics in the runtime of a managed language. Our implementation consists of two parts. First, for each vector ISA, we automatically generate the intrinsics API from the vendor-provided XML specification. Second, we employ a metaprogramming approach that enables programmers to generate and load native code at runtime. In this setting, programmers can use the entire high-level language as a kind of macro system to define new high-level vector APIs with zero overhead. As an example use case we show a variable precision API. We provide an end-to-end implementation of our approach in the HotSpot VM that supports all 5912 Intel SIMD intrinsics from MMX to AVX-512. Our benchmarks demonstrate that this combination of SIMD and metaprogramming enables developers to write high-performance, vectorized code on an unmodified JVM that outperforms the auto-vectorizing HotSpot just-in-time (JIT) compiler and provides tight integration between vectorized native code and the managed JVM ecosystem.

WG211/M18Schedule

2018-05-15T10:23:00Z

MarkusPuschel: /* 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),

=== Accommodation ===

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

=== Registration ===

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

== Attendance ==

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

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

== Talks ==

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

* Jeremy Gibbons [[WG211/M18Gibbons | Profunctor Optics and the Yoneda Lemma]]
* Kevin Hammond [[WG211/M18Hammond | The Robots are Coming: Failure is not an Option!]]
* 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]]
* 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-14T07:47:07Z

MarkusPuschel: /* Attendance */

=IFIP Working Group 2.11, Eighteenth Meeting=

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

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

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

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

=== Venue ===

The meeting will be held at Kyoto University.

=== Travel ===

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

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

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

=== Accommodation ===

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

=== Registration ===

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

== Attendance ==

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

Sandrine Blazy, Jacques Carette, Jeremy Gibbons, Robert Glück, Kevin Hammond, Atsushi Igarashi, Julia Lawall, Christian Lengauer, Markus Püschel, Ulrik Pagh Schultz, Chung-chieh Shan, 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-07-11T10:34:10Z

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

To register add your name to the attendance list below (or email a chair-person to have it added for you) '''and''' reserve a room at the hotel (accommodation, above). The registration fee is 350 Euro.

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, Bernd Fischer, Robert Glück, Atsushi Igarashi, Yukiyoshi Kameyama, Paul Kelly, Stefan Kronawitter, Ralf Lämmel, Julia Lawall, Christian Lengauer, Stefan Marr, Bruno C. d. S. Oliveira, Markus Püschel (arrives afternoon 17th, leaves 20th at 11), Christoph Reichenbach, Ulrik Pagh Schultz, Chung-chieh Shan (the first two days), Tony Sloane, Yannis Smaragdakis, Armando Solar-Lezama, Friedrich Steimann, Eric Van Wyk, Jeremy Yallop, Vadim Zaytsev.

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

* Nada Amin [[ WG211/M17Amin | Collapsing Towers of Interpreters ]]
* Jacques Carette [[WG211/M17Carette | Multi-lingual code generation in Drasil]]
* Bernd Fischer [[ WG211/M17Fischer | Breaking Parsers ]]
* Robert Glück [[WG211/M17Glueck | An experiment in ping-pong protocol verification by pushdown automata]]
* Atsushi Igarashi [[ WG211/M17Igarashi | Towards gradually typed multi-stage programming ]]
* Yukiyoshi Kameyama [[ WG211/M17Kameyama | Environment Classifiers, Revisited ]]
* Paul Kelly [[ WG211/M17Kelly | TBD ]]
* Stefan Kronawitter, Christian Lengauer [[ WG211/M17Lengauer | The ExaStencils Compiler: Domain-Specific Stencil-Code Optimization ]]
* Ralf Lämmel [[WG211/M17Laemmel | Systematic comparison of metaprogramming technologies]]
* Stephan Marr [[WG211/M17Marr | Kómpos: A Concurrency-Agnostic Debugger, An Example for Domain-Specific Live Debugging ]]
* Bruno C. d. S. Oliveira [[WG211/M17Oliveira | Semantic Modularization Techniques in Practice: A TAPL case study ]]
* Markus Püschel [[WG211/M17Puschel | Program generation for small linear algebra (not on Monday or last talk Thursday) ]]
* Christoph Reichenbach [[WG211/M17Reichenbach | Adding an extensible backend for PQL/Java]]
* Ulrik Pagh Schultz [[WG211/M17Schultz | Safety as a Programming Language Concept]]
* Chung-chieh Shan [[WG211/M17Shan | Inference building blocks]] (I don't have to speak; I'm only around on July 17 and 18)
* Yannis Smaragdakis [[WG211/M17Smaragdakis | Stream Fusion, to Completeness ]]
* Armando Solar-Lezama [[ WG211/M17SolarLezama | Type system support for template based synthesis ]]
* Friedrich Steimann [[WG211/M17Steimann | Transactional Editing: Giving ACID to Programmers ]]
* Eric Van Wyk [[WG211/M17VanWyk | Extensible and composable type qualifiers in AbleC ]]
* Jeremy Yallop [[WG211/M17Yallop | Staged Generic Programming ]]
* Vadim Zaytsev [[WG211/M17Zaytsev | Succeeding at Impossible Industrial Projects with Generative Technologies ]]

== Program / schedule ==

=== Scientific program ===

The scheduling of the talks will be posted here at the start of the meeting. The overall schedule is as follows.

Monday July 17:
* 8.45-9.00: Welcome
* 9.00-10:30: 2 talks
* 10:30-11:00: Break
* 11:00-12:30: 2 talks
* 12:30-14.15: Lunch (break)
* 14.15-15.00: 1 talk
* 15.00-15.30: Break
* 15.30-17.00: 2 talks
* 17.30: Social event

Tuesday July 18:
* 9.00-10.30: 2 talks
* 10.30-11.00: Break
* 11.00-12.30: 2 talks
* 12.30-14.15: Lunch (break)
* 14.15-15.00: 1 talk
* 15.00-15.30: Break
* 15.30-17.00: Business meeting (members only)
* 18.00: Social event

Wednesday July 19:
* 9.00-10.30: 2 talks
* 10.30-11.00: Break
* 11.00-12.30: 2 talks
* 12.30-14.15: Lunch (break)
* 14.15-15.00: 1 talk
* 15.00-15.30: Break
* 15.30-17.00: 2 talks
* 17.30: Social event

Thursday July 20:
* 9.00-10.30: 2 talks
* 10.30-11.00: Break
* 11.00-11.45: 1 talk
* 12.00: Lunch

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

[https://www.tripadvisor.com/Attractions-g187391-Activities-Koblenz_Rhineland_Palatinate.html TripAdvisor] provides some fairly "exhausting" list of local attractions. One thing to keep in mind is that Koblenz is a wine region. Magically, both the Mosel river and the Rhine river meet right at [https://en.wikipedia.org/wiki/Deutsches_Eck Deutsches Eck] ("German Corner"). Koblenz has a beautiful old city. One is supposed to visit nearby castles, fortresses -- many of them along the rivers (mainly the Rhine river). Such visits may be very well done on a (rented) bike. For instance, one should strive for [https://en.wikipedia.org/wiki/Lorelei Lorelei] (a rock). If you should run out of ideas, you could still go to Bonn and Cologne.

WG211/M17Schedule

2017-07-10T14:05:21Z

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

To register add your name to the attendance list below (or email a chair-person to have it added for you) '''and''' reserve a room at the hotel (accommodation, above). The registration fee is 350 Euro.

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, Bernd Fischer, Robert Glück, Atsushi Igarashi, Yukiyoshi Kameyama, Paul Kelly, Stefan Kronawitter, Ralf Lämmel, Julia Lawall, Christian Lengauer, Stefan Marr, Bruno C. d. S. Oliveira, Markus Püschel (arrives afternoon 17th), Christoph Reichenbach, Ulrik Pagh Schultz, Chung-chieh Shan (the first two days), Tony Sloane, Yannis Smaragdakis, Armando Solar-Lezama, Friedrich Steimann, Eric Van Wyk, Jeremy Yallop, Vadim Zaytsev.

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

* Nada Amin [[ WG211/M17Amin | Collapsing Towers of Interpreters ]]
* Jacques Carette [[WG211/M17Carette | Multi-lingual code generation in Drasil]]
* Bernd Fischer [[ WG211/M17Fischer | Breaking Parsers ]]
* Robert Glück [[WG211/M17Glueck | An experiment in ping-pong protocol verification by pushdown automata]]
* Atsushi Igarashi [[ WG211/M17Igarashi | Towards gradually typed multi-stage programming ]]
* Yukiyoshi Kameyama [[ WG211/M17Kameyama | Environment Classifiers, Revisited ]]
* Paul Kelly [[ WG211/M17Kelly | TBD ]]
* Stefan Kronawitter, Christian Lengauer [[ WG211/M17Lengauer | The ExaStencils Compiler: Domain-Specific Stencil-Code Optimization ]]
* Ralf Lämmel [[WG211/M17Laemmel | Systematic comparison of metaprogramming technologies]]
* Stephan Marr [[WG211/M17Marr | Kómpos: A Concurrency-Agnostic Debugger, An Example for Domain-Specific Live Debugging ]]
* Bruno C. d. S. Oliveira [[WG211/M17Oliveira | Semantic Modularization Techniques in Practice: A TAPL case study ]]
* Markus Püschel [[WG211/M17Puschel | Program generation for small linear algebra (not on Monday or last talk Thursday) ]]
* Christoph Reichenbach [[WG211/M17Reichenbach | Adding an extensible backend for PQL/Java]]
* Ulrik Pagh Schultz [[WG211/M17Schultz | Safety as a Programming Language Concept]]
* Chung-chieh Shan [[WG211/M17Shan | Inference building blocks]] (I don't have to speak; I'm only around on July 17 and 18)
* Yannis Smaragdakis [[WG211/M17Smaragdakis | Stream Fusion, to Completeness ]]
* Armando Solar-Lezama [[ WG211/M17SolarLezama | Type system support for template based synthesis ]]
* Friedrich Steimann [[WG211/M17Steimann | Transactional Editing: Giving ACID to Programmers ]]
* Eric Van Wyk [[WG211/M17VanWyk | Extensible and composable type qualifiers in AbleC ]]
* Jeremy Yallop [[WG211/M17Yallop | Staged Generic Programming ]]
* Vadim Zaytsev [[WG211/M17Zaytsev | Succeeding at Impossible Industrial Projects with Generative Technologies ]]

== Program / schedule ==

=== Scientific program ===

The scheduling of the talks will be posted here at the start of the meeting. The '''preliminary''' overall schedule is as follows.

Monday July 17:
* 8.45-9.00: Welcome
* 9.00-10:30: 2 talks
* 10:30-11:00: Break
* 11:00-12:30: 2 talks
* 12:30-14.15: Lunch (break)
* 14.15-15.00: 1 talk
* 15.00-15.30: Break
* 15.30-17.00: 2 talks
* 17.30: Social event

Tuesday July 18:
* 9.00-10.30: 2 talks
* 10.30-11.00: Break
* 11.00-12.30: 2 talks
* 12.30-14.15: Lunch (break)
* 14.15-15.00: 1 talk
* 15.00-15.30: Break
* 15.30-17.00: Business meeting (members only)
* 18.00: Social event

Wednesday July 19:
* 9.00-10.30: 2 talks
* 10.30-11.00: Break
* 11.00-12.30: 2 talks
* 12.30-14.15: Lunch (break)
* 14.15-15.00: 1 talk
* 15.00-15.30: Break
* 15.30-17.00: 2 talks
* 17.30: Social event

Thursday July 20:
* 9.00-10.30: 2 talks
* 10.30-11.00: Break
* 11.00-11.45: 1 talk
* 12.00: Lunch

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

[https://www.tripadvisor.com/Attractions-g187391-Activities-Koblenz_Rhineland_Palatinate.html TripAdvisor] provides some fairly "exhausting" list of local attractions. One thing to keep in mind is that Koblenz is a wine region. Magically, both the Mosel river and the Rhine river meet right at [https://en.wikipedia.org/wiki/Deutsches_Eck Deutsches Eck] ("German Corner"). Koblenz has a beautiful old city. One is supposed to visit nearby castles, fortresses -- many of them along the rivers (mainly the Rhine river). Such visits may be very well done on a (rented) bike. For instance, one should strive for [https://en.wikipedia.org/wiki/Lorelei Lorelei] (a rock). If you should run out of ideas, you could still go to Bonn and Cologne.

WG211/M17Schedule

2017-07-04T13:53:31Z

MarkusPuschel:

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

To register add your name to the attendance list below (or email a chair-person to have it added for you) '''and''' reserve a room at the hotel (accommodation, above). The registration fee is 350 Euro.

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, Bernd Fischer, Robert Glück, Atsushi Igarashi, Yukiyoshi Kameyama, Paul Kelly, Stefan Kronawitter, Ralf Lämmel, Julia Lawall, Christian Lengauer, Stefan Marr, Bruno C. d. S. Oliveira, Markus Püschel (arrives afternoon 17th), Christoph Reichenbach, Ulrik Pagh Schultz, Chung-chieh Shan (the first two days), Tony Sloane, Yannis Smaragdakis, Armando Solar-Lezama, Friedrich Steimann, Eric Van Wyk, Jeremy Yallop, Vadim Zaytsev.

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

* Nada Amin [[ WG211/M17Amin | Collapsing Towers of Interpreters ]]
* Jacques Carette [[WG211/M17Carette | Multi-lingual code generation in Drasil]]
* Bernd Fischer [[ WG211/M17Fischer | Breaking Parsers ]]
* Robert Glück [[WG211/M17Glueck | An experiment in ping-pong protocol verification by pushdown automata]]
* Atsushi Igarashi [[ WG211/M17Igarashi | Towards gradually typed multi-stage programming ]]
* Yukiyoshi Kameyama [[ WG211/M17Kameyama | Environment Classifiers, Revisited ]]
* Paul Kelly [[ WG211/M17Kelly | TBD ]]
* Stefan Kronawitter, Christian Lengauer [[ WG211/M17Lengauer | The ExaStencils Compiler: Domain-Specific Stencil-Code Optimization ]]
* Ralf Lämmel [[WG211/M17Laemmel | Systematic comparison of metaprogramming technologies]]
* Stephan Marr [[WG211/M17Marr | Kómpos: A Concurrency-Agnostic Debugger, An Example for Domain-Specific Live Debugging ]]
* Bruno C. d. S. Oliveira [[WG211/M17Oliveira | Semantic Modularization Techniques in Practice: A TAPL case study ]]
* Markus Püschel [[WG211/M17Puschel | Program generation for small linear algebra (not on Monday) ]]
* Christoph Reichenbach [[WG211/M17Reichenbach | Adding an extensible backend for PQL/Java]]
* Ulrik Pagh Schultz [[WG211/M17Schultz | Safety as a Programming Language Concept]]
* Chung-chieh Shan [[WG211/M17Shan | Inference building blocks]] (I don't have to speak; I'm only around on July 17 and 18)
* Yannis Smaragdakis [[WG211/M17Smaragdakis | Stream Fusion, to Completeness ]]
* Armando Solar-Lezama [[ WG211/M17SolarLezama | Type system support for template based synthesis ]]
* Friedrich Steimann [[WG211/M17Steimann | Transactional Editing: Giving ACID to Programmers ]]
* Eric Van Wyk [[WG211/M17VanWyk | Extensible and composable type qualifiers in AbleC ]]
* Jeremy Yallop [[WG211/M17Yallop | Staged Generic Programming ]]
* Vadim Zaytsev [[WG211/M17Zaytsev | Succeeding at Impossible Industrial Projects with Generative Technologies ]]

== 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-05-15T14:22:56Z

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

To register add your name to the attendance list below (or email a chair-person to have it added for you) '''and''' reserve a room at the hotel (accommodation, above). The registration fee is 350 Euro.

You pay in two parts.

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

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

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

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

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

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

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

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

You can pay by bank transfer or cash onsite.

This covers all the social events.

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

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

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

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

Also mention IFIP WG 2.11.

Make sure that you cover all costs of bank transfer.

== Attendance ==

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

Nada Amin (except 20/7), Jacques Carette, Robert Glück, Atsushi Igarashi, Yukiyoshi Kameyama, Stefan Kronawitter, Ralf Lämmel, Julia Lawall, Christian Lengauer, Stefan Marr, Bruno C. d. S. Oliveira, Markus Püschel (arrives afternoon 17th), Christoph Reichenbach, Ulrik Pagh Schultz, Tony Sloane, Friedrich Steimann, Vadim Zaytsev, Eric Van Wyk, Jeremy Yallop.

== Talks ==

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

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

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

To register add your name to the attendance list below (or email a chair-person to have it added for you) '''and''' reserve a room at the hotel (accommodation, above). The registration fee is 350 Euro.

You pay in two parts.

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

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

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

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

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

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

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

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

You can pay by bank transfer or cash onsite.

This covers all the social events.

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

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

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

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

Also mention IFIP WG 2.11.

Make sure that you cover all costs of bank transfer.

== Attendance ==

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

Nada Amin (except 20/7), Jacques Carette, Robert Glück, Atsushi Igarashi, Yukiyoshi Kameyama, Stefan Kronawitter, Ralf Lämmel, Julia Lawall, Christian Lengauer, Stefan Marr, Bruno C. d. S. Oliveira, Markus Püschel, Christoph Reichenbach, Ulrik Pagh Schultz, Tony Sloane, Friedrich Steimann, Vadim Zaytsev, Eric Van Wyk, Jeremy Yallop.

== Talks ==

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

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

MarkusPuschel:

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

To register add your name to the attendance list below (or email a chair-person to have it added for you) '''and''' reserve a room at the hotel (accommodation, above). The registration fee is 350 Euro.

You pay in two parts.

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

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

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

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

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

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

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

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

You can pay by bank transfer or cash onsite.

This covers all the social events.

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

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

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

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

Also mention IFIP WG 2.11.

Make sure that you cover all costs of bank transfer.

== Attendance ==

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

Nada Amin (except 20/7), Jacques Carette, Robert Glück, Atsushi Igarashi, Yukiyoshi Kameyama, Stefan Kronawitter, Ralf Lämmel, Julia Lawall, Christian Lengauer, Stefan Marr, Bruno C. d. S. Oliveira, Christoph Reichenbach, Ulrik Pagh Schultz, Tony Sloane, Friedrich Steimann, Vadim Zaytsev, Eric Van Wyk, Jeremy Yallop.

== Talks ==

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

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

2014-11-24T09:12:49Z

MarkusPuschel: /* Excursion */

=IFIP Working Group 2.11, Fourteenth Meeting=

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

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

=== Travel ===

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

==== Visa Information ====

Visitors from [http://en.wikipedia.org/wiki/Visa_policy_of_South_Africa link title most EU countries, US, Canada, Japan, Australia and most of South America] don't need a visa to visit South Africa. The complete (official) list is available at the [http://www.home-affairs.gov.za/index.php/immigration-services/exempt-countries Department of Home Affairs]. The Department also has the details for a visa application. Please contact [mailto:bfischer@cs.sun.ac.za Bernd Fischer] if you need an invitation letter to obtain your visa.

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

==== Getting to Stellenbosch ====

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

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

Stellenbosch is small and easily navigatable by foot, and the venue is in walking distance to most hotels and B&Bs. You won't need a rental car unless you are planning to stay on a wine farm, or to go on a road-trip before or after the conference.

==== Accommodation ====

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

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

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

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

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

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

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

==== Excursions ====

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

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

Ideas for a few extra days:
* Spend the weekend in Cape Town and explore the city - Table Mountain is certainly a prime target. You could also go to Kirstenbosch Botanical Garden (although the prime bloom will be over then), and even climb Table Mountain from there (although this could be hot and strenuous that time of the year). Cape Town has quite a lot of night life, especially on the weekend.
* Explore the Stellenbosch surroundings. For this, you should probably get a rental car. There are literally hundreds of wine farms in the surroundings, if you want to go for a tasting. The Paarl Taal Monument (monument to the Afrikaans language) is an interesting cultural experience, and you can go on to the Paarl rock (large granite Boulder). Franschhoeck is a another cute town.
* Get out to the Cederberg Mountains - a nice mountainous area about 2-3hours north of Cape Town, with nice mountain walks (Wolfberg Cracks, some caves). You could stay at Clanwilliam, or look for a place in the mountain reserve (look for Algeria). The roads are mostly dirt (ie unpaved) but we have driven them in a Polo...
* Hike the Bosmanskloof Traverse (either as an overnight hike, or as a day-hike), staying in McGregor or Grayton.
* Go to Calitzdorp for Port tasting, Oudtshoorn for the ostriches (and the very tourist-trappy Cango Caves, a huge limestone cave), and drive some of the "poorts" (ie old Mountain passes), like [http://en.wikipedia.org/wiki/Swartberg_Pass Swartbergpass] into Prince Albert, a quaint Karoo town.
* Go shark cage diving in Struisbaai.

Exept for the Cape Town weekend, most trips will require a rental car. You can get a driver for the wine tasting tour, which is probably a smart idea in the first place...

Safaris

There are no lions running around in Stellenbosch ;-). The closest ones are at the [http://www.lionrescue.org.za/ Drakenstein Lion Park], which is basically a retirement home for lions. There are a few private game reserves within two to three hours drive of Stellenbosch (e.g., [http://www.sanbona.com/propertydefault.asp?MicroSiteID=3 Sanbona]), but they are not cheap. The closest National Parks with substantial wildlife are [http://www.sanparks.co.za/parks/mountain_zebra/ Mountain Zebra NP] and [http://www.sanparks.org/parks/addo/ Addo Elephant NP] (about 8-10hrs drive from Stellenbosch, but Addo is quite close to Port Elizabeth, which is one hour by plane from Cape Town). If you plan to visit [http://www.sanparks.org/parks/kruger/ Krueger NP] you should probably fly with a stop-over in Johannesburg, and plan on at least four extra days.

=== Venue ===

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

== Registration ==

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

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

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

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

== Attendance ==

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

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

== Talks ==

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

* [[WG211/M14Fischer | Code generation for distributed applications]] Bernd Fischer
* [[WG211/M14Schultz | A domain-specific language for specifying reversible robot assembly tasks]] Ulrik Pagh Schultz
* [[WG211/M14Visser | A general theory of name resolution]] Eelco Visser

== Excursion==

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

Bernd Fischer, Markus Püschel, Ulrik Schultz, Tony Sloane, Eelco Visser, Eric Van Wyk

WG211/M14Schedule

2014-11-15T13:35:38Z

MarkusPuschel: /* Excursion */

=IFIP Working Group 2.11, Fourteenth Meeting=

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

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

=== Travel ===

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

==== Visa Information ====

Visitors from [http://en.wikipedia.org/wiki/Visa_policy_of_South_Africa link title most EU countries, US, Canada, Japan, Australia and most of South America] don't need a visa to visit South Africa. The complete (official) list is available at the [http://www.home-affairs.gov.za/index.php/immigration-services/exempt-countries Department of Home Affairs]. The Department also has the details for a visa application. Please contact [mailto:bfischer@cs.sun.ac.za Bernd Fischer] if you need an invitation letter to obtain your visa.

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

==== Getting to Stellenbosch ====

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

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

Stellenbosch is small and easily navigatable by foot, and the venue is in walking distance to most hotels and B&Bs. You won't need a rental car unless you are planning to stay on a wine farm, or to go on a road-trip before or after the conference.

==== Accommodation ====

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

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

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

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

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

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

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

==== Excursions ====

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

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

Ideas for a few extra days:
* Spend the weekend in Cape Town and explore the city - Table Mountain is certainly a prime target. You could also go to Kirstenbosch Botanical Garden (although the prime bloom will be over then), and even climb Table Mountain from there (although this could be hot and strenuous that time of the year). Cape Town has quite a lot of night life, especially on the weekend.
* Explore the Stellenbosch surroundings. For this, you should probably get a rental car. There are literally hundreds of wine farms in the surroundings, if you want to go for a tasting. The Paarl Taal Monument (monument to the Afrikaans language) is an interesting cultural experience, and you can go on to the Paarl rock (large granite Boulder). Franschhoeck is a another cute town.
* Get out to the Cederberg Mountains - a nice mountainous area about 2-3hours north of Cape Town, with nice mountain walks (Wolfberg Cracks, some caves). You could stay at Clanwilliam, or look for a place in the mountain reserve (look for Algeria). The roads are mostly dirt (ie unpaved) but we have driven them in a Polo...
* Hike the Bosmanskloof Traverse (either as an overnight hike, or as a day-hike), staying in McGregor or Grayton.
* Go to Calitzdorp for Port tasting, Oudtshoorn for the ostriches (and the very tourist-trappy Cango Caves, a huge limestone cave), and drive some of the "poorts" (ie old Mountain passes), like [http://en.wikipedia.org/wiki/Swartberg_Pass Swartbergpass] into Prince Albert, a quaint Karoo town.
* Go shark cage diving in Struisbaai.

Exept for the Cape Town weekend, most trips will require a rental car. You can get a driver for the wine tasting tour, which is probably a smart idea in the first place...

Safaris

There are no lions running around in Stellenbosch ;-). The closest ones are at the [http://www.lionrescue.org.za/ Drakenstein Lion Park], which is basically a retirement home for lions. There are a few private game reserves within two to three hours drive of Stellenbosch (e.g., [http://www.sanbona.com/propertydefault.asp?MicroSiteID=3 Sanbona]), but they are not cheap. The closest National Parks with substantial wildlife are [http://www.sanparks.co.za/parks/mountain_zebra/ Mountain Zebra NP] and [http://www.sanparks.org/parks/addo/ Addo Elephant NP] (about 8-10hrs drive from Stellenbosch, but Addo is quite close to Port Elizabeth, which is one hour by plane from Cape Town). If you plan to visit [http://www.sanparks.org/parks/kruger/ Krueger NP] you should probably fly with a stop-over in Johannesburg, and plan on at least four extra days.

=== Venue ===

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

== Registration ==

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

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

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

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

== Attendance ==

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

Sandrine Blazy, Eric Bodden, Bernd Fischer, Julia Lawall, Klaus Ostermann, Markus Püschel, Christoph Reichenbach, Tiark Rompf, Ina Schaefer, Ulrik Pagh Schultz, Tony Sloane, Yannis Smaragdakis, Eelco Visser, Bruce Watson, Eric Van Wyk

== Talks ==

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

* [[WG211/M14Schultz | A domain-specific language for specifying reversible robot assembly tasks]] Ulrik Pagh Schultz
* [[WG211/M14Visser | A general theory of name resolution]] Eelco Visser

== Excursion==

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

Bernd Fischer, Ulrik Schultz, Tony Sloane, Eelco Visser, Eric Van Wyk, Markus püschel

WG211/M14Schedule

2014-10-13T13:16:42Z

MarkusPuschel: /* Attendance */

=IFIP Working Group 2.11, Fourteenth Meeting=

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

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

=== Travel ===

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

==== Visa Information ====

Visitors from [http://en.wikipedia.org/wiki/Visa_policy_of_South_Africa link title most EU countries, US, Canada, Japan, Australia and most of South America] don't need a visa to visit South Africa. The complete (official) list is available at the [http://www.home-affairs.gov.za/index.php/immigration-services/exempt-countries Department of Home Affairs]. The Department also has the details for a visa application. Please contact [mailto:bfischer@cs.sun.ac.za Bernd Fischer] if you need an invitation letter to obtain your visa.

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

==== Getting to Stellenbosch ====

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

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

Stellenbosch is small and easily navigatable by foot, and the venue is in walking distance to most hotels and B&Bs. You won't need a rental car unless you are planning to stay on a wine farm, or to go on a road-trip before or after the conference.

==== Accommodation ====

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

* [http://www.avenuesguestlodge.com ''AVENUES GUEST LODGE''], 32 The Avenues. Tel: +27 21 887 1843 [mailto:theacampuss@mweb.co.za theacampuss@mweb.co.za].
* [http://www.bonneesperance.com ''BONNE ESPERANCE''], 17 Van Riebeeck Str. Tel: +27 21 887 0225 [mailto:stay@bonneesperance.com stay@bonneesperance.com].
* [http://www.caledonvilla.co.za ''CALEDON VILLA''], 7 Neethling Str. Tel: +27 21 883 8912.
* [http://www.coopmanhuijs.co.za ''COOPMANHUIJS HOTEL''], 33 Church Street. Tel: +27 21 883 8207 [mailto:info@coopmanhuijs.co.za info@coopmanhuijs.co.za].
* [http://www.evergreenmanor.co.za ''EVERGREEN MANOR''], Cnr Murray& Bosman Str. Tel: +27 886 6832 [mailto:stay@evergreenmanor.co.za stay@evergreenmanor.co.za].
* [http://www.fynbosguesthouse.co.za ''FYNBOS VILLA GUEST HOUSE''], 14 Neethling Str. Tel: +27 21 883 8670 [mailto:info@fynbosguesthouse.co.za info@fynbosguesthouse.co.za].
* [http://www.jonkershuis.co.za/ ''JONKERSHUIS GUESTHOUSE''], 50 Jonkershoek Road. Tel: +27 21 8866000 [mailto:info@jonkershuis.co.za info@jonkershuis.co.za].
* [http://www.wheretostay.co.za/justjoey/ ''JUST JOEY GUEST HOUSE''], Cnr Noordwal-Wes/Helderberg Streets. Tel: +27 21 887 1799 [mailto:justjoey@mweb.co.za justjoey@mweb.co.za].
* [http://www.kerensvine.co.za/ ''KEREN'S VINE''], 4 Rozendal Rd. Tel:+27 21 886 6221 [mailto:info@kerensvine.co.za info@kerensvine.co.za].
* [http://www.labrimanor.co.za/ ''LABRI MANOR''], 71 Victoria Str. Tel: +27 21 886 5652 [mailto:malansgh@gmail.com malansgh@gmail.com].
* [http://www.rivermanor.co.za ''RIVER MANOR''], 6 The Avenues. Tel: +27 21 887-9944 [mailto:info@rivermanor.co.za info@rivermanor.co.za].
* [http://www.stellenguest.co.za ''ROOSENWIJN''], 14 Van Riebeeck Str. Tel: +27 21 883 3338, [mailto:bookingsenquiries@roosenwijn.co.za bookingsenquiries@roosenwijn.co.za].
* [http://www.ryneveldlodge.co.za ''RYNEVELD LODGE''] 67 Ryneveld Str. Tel: +27 21 887 4469 [mailto:ryneveld@iafrica.com ryneveld@iafrica.com].
* [http://www.sa-campuss.com/visit/victoriahouse/ ''VICTORIA HOUSE (Self Catering)''], 21 Van Riebeeck Str. Tel: +27 82 576-3807.
* [http://www.villa-grande.com ''VILLA GRANDE''], 1 Keerom Str. +27 21 887 8454, [mailto:info@villa-grande.com info@villa-grande.com].

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

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

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

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

==== Excursions ====

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

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

Cape Town

Safaris

=== Venue ===

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

== Registration ==

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

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

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

On arrival, you will receive a single receipt on University letterhead. This will be issued for the currency you used for your payment.

== Attendance ==

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

Bernd Fischer, Ulrik Pagh Schultz, Yannis Smaragdakis, Eric Van Wyk, Markus Püschel

== Talks ==

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

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

== Excursion==

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

Bernd Fischer

WG211/M13Puschel

2014-03-10T17:25:27Z

MarkusPuschel:

'''Spiral for Basic Linear Algebra''', ''by Markus Püschel''

Many applications in media processing, control, graphics, and other domains require efficient small-scale linear
algebra computations. However, most existing high performance libraries for linear algebra, such as ATLAS or Intel MKL
are more geared towards large-scale problems (matrix sizes in the hundreds and larger) and towards specific interfaces (e.g., BLAS). In this paper we present LGen: a program generator for small-scale, basic linear algebra computations. The input to LGen is a fixed-size linear algebra expression; the output is a corresponding C function optionally including intrinsics to efficiently use SIMD vector extensions. LGen is designed closely after Spiral, generating code using two levels of mathematical domain-specific languages (DSLs). The DSLs are used to perform tiling, loop fusion, and vectorization at a high level of abstraction, before the final code is generated. In addition, search is used to select among alternative generated implementations. We show benchmarks of code generated by Lgen against Intel MKL and IPP as well as against alternative generators, such as the C++ template-based Eigen and the BTO compiler. The achieved speed-up is typically about a factor of two to three.

WG211/M13Puschel

2014-03-10T17:24:53Z

MarkusPuschel: Created page with "'''Spiral for Basic Linear Algebra''', ''by Markus Püschel'' Many applications in media processing, control, graphics, and other domains require efficient small-scale linear al..."

'''Spiral for Basic Linear Algebra''', ''by Markus Püschel''

Many applications in media processing, control, graphics, and other domains require efficient small-scale linear
algebra computations. However, most existing high performance libraries for linear algebra, such as ATLAS or Intel MKL
are more geared towards large-scale problems (matrix sizes in the hundreds and larger) and towards specific interfaces (e.g., BLAS). In this paper we present LGen: a program generator for small-scale, basic linear algebra computations. The input to LGen is a fixed-size linear algebra expression; the output is a corresponding C function optionally including intrinsics to efficiently use SIMD vector extensions. LGen generates code using two levels
of mathematical domain-specific languages (DSLs). The DSLs are used to perform tiling, loop fusion, and vectorization at a high level of abstraction, before the final code is generated. In addition, search is used to select among alternative generated implementations. We show benchmarks of code generated by Lgen against Intel MKL and IPP as well as against alternative generators, such as the C++ template-based Eigen and the BTO compiler. The achieved speed-up is typically about a factor of two to three.

WG211/M13Schedule

2014-03-06T16:11:03Z

MarkusPuschel: /* Talks */

[[Category:WG211]]

=IFIP Working Group 2.11, Thirteenth Meeting=

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

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

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

=== Travel ===

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

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

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

=== Accommodations ===

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

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

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

===Registration===

Registration is now open

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

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

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

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

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

===Attendees===

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

===Talks===

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

Talks:

* [[WG211/M13Blazy | Compiling avionics software with a formally verified compiler]] Sabrine Blazy
* [[WG211/M13Carette | TBD]] Jacques Carette (short)
* [[WG211/M13Consel | Design-Driven Development of Programs Orchestrating Masses of Sensors ]] Charles Consel
* [[WG211/M13Franchetti | High Assurance Spiral: Co-Synthesizing Proof and Implementation From High-Level Specification]] Franz Franchetti
* [[WG211/M13Hammond | Using Dependent Types for Parallel Programming]] Kevin Hammond
* [[WG211/M13Kaestner | An Update on Variability-Aware Execution]] Christian Kaestner
* [[WG211/M13Lawall | Understanding the Genetic Makeup of Linux Device Drivers]] Julia Lawall (short talk)
* [[WG211/M13Laemmel | Experiences with Software Language Engineering Classes]] Ralf Lämmel
* [[WG211/M13Lengauer | News from Project ExaStencils]] Christian Lengauer
* [[WG211/M13Mousavi | Semantics, Validation and Verification of DSLs: An Experience Report]] Mohammadreza Mousavi
* [[WG211/M13Ostermann | From Object Algebras to Attribute Grammars]] Klaus Ostermann
* [[WG211/M13Puschel | Spiral for Basic Linear Algebra ]] Markus Püschel (Monday or Tuesday)
* [[WG211/M13Rayside | Synthesis of Microfluidics Chips using SMT Solvers]] Derek Rayside (not Thursday)
* [[WG211/M13Reichenbach | PQL: A Purely-Declarative Java Extension for Parallel Programming]] Christoph Reichenbach
* [[WG211/M13Scholz | TBD]] Sven-Bodo Scholz
* [[WG211/M13Schultz | Object-oriented multi-stage programming]] Ulrik Schultz (short talk)
* [[WG211/M13Shan | TBD]] Chung-chieh Shan
* [[WG211/M13Taha | Binding Time Analysis in Acumen]] Walid Taha
* [[WG211/M13VanWyk | TBD]] Eric Van Wyk
* [[WG211/M13Visser | Type System Specification in Spoofax]] Eelco Visser

===Overall schedule===

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

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

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

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

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

Thursday (4 talks)
* 8.30-10.00: Talks (2)
* 10.30-12.00: Talks (2)
* Lunch at [http://alibabapittsburgh.com/ Ali Baba]

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

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

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

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

=== Sunday trip to Fallingwater ===

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

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

Sabrine Blazy, Ulrik Schultz, Sven-Bodo Scholz

WG211/M13Schedule

2014-02-13T12:34:00Z

MarkusPuschel:

WG211/M13Schedule

2013-09-18T12:31:37Z

MarkusPuschel: /* Attendees */

[[Category:WG211]]

=IFIP Working Group 2.11, Thirteenth Meeting=

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

The meeting takes place at CMU.

=== Travel ===

(To be filled in)

===Venue ===

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

Information will be provided on convenient hotels in the area, special rates etc.

===Related events===

(To be filled in)

===Registration===

Registration is not open yet.

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

===Attendees===

Sandrine Blazy, Eric Bodden, Christian Kaestner, Ralf Lämmel, Julia Lawall, Mohammadreza Mousavi, Christoph Reichenbach, Chung-chieh Shan, Armando Solar-Lezama, Ulrik Pagh Schultz, Eric Van Wyk, Markus Püschel

===Talks===

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

Talks:

* [[WG211/M13Schultz | Optimal Specialization of Object-Oriented Interpreters by Partial Evaluation]] Ulrik Schultz

===Overall schedule===

To be announced. There will be 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.

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