Revision as of 17:34, 3 June 2012

IFIP Working Group 2.11, Eleventh Meeting

June 25-27, 2012, Halmstad, Sweden

Venue and Travel

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

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

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

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

Related events

The workshop on Reversible Computing RC 2012 is located in Copenhagen the week after, July 2-3.

Registration

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

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

Attendees

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

Talks

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

Talks:

• Product-Line Analysis: Experience and Prospects Sven Apel (Monday/Tuesday)
• Design-driven Development of Dependable Applications: A Case Study in Avionics Emilie Balland
• IFDS/IDE-based Inter-procedural Static Analysis of Software Product Lines Eric Bodden (Monday/Tuesday)
• Implementing Domain Specific Languages by Syntax Overloading Edwin Brady
• Bootstrapping compiler generators from partial evaluators Robert Glueck
• Derivation of program properties during generation Christoph Herrmann
• Parameterized reference attributes: examples and properties Gorel Hedin
• Variability Mining Christian Kaestner
• Component-based bisimilarity Peter Mosses
• Generating Debuggers and Fast Simulators from Functional Circuit Specifications John O'Donnell
• Computer Generation of IP Cores Markus Puschel
• Incremental model-based testing of software product lines Ina Schaefer (Tuesday/Wednesday)
• Profile-based Analysis and Abstraction of Attribute Evaluation Tony Sloane
• Declarative Language Definition (in Spoofax) Eelco Visser
• Reversible Interpretation in Modular Robots Ulrik Schultz

Overall schedule: TBD