Revision as of 16:08, 15 May 2013

IFIP Working Group 2.11, Twelfth Meeting

June 3-6, 2013, Minneapolis, USA

Venue and Travel

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

We have reserved a block of rooms at the Commons Hotel. This is a private hotel that sits next to campus and is closest to the meeting. Follow this link to make reservations for our block of rooms. Kindly note that this is an external website (synxis.com). The actual web page of the hotel is http://www.commonshotel.com/.

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

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

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

Related events

GPCE 2013 submission deadline is June 14, a week after the meeting.

ICSE 2013 is located in San Francisco two weeks earlier, May 18-26.

Registration

Registration is open.

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

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

Attendees

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

Talks

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

Talks:

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

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

Overall schedule including lunch and dinner arrangements:

Monday

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

Tuesday

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

Wednesday

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

Thursday

• 8.30-10.00: Talks (2)
• 10.30-12.00: Talks (2)
• Lunch

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