Walid at 13:43, 16 December 2011

2011-12-16T13:43:08Z

← Older revision		Revision as of 15:43, 16 December 2011
Line 1:		Line 1:
	[[Category:WG211]]		[[Category:WG211]]

			IFIP Working Group 2.11 Sixth Meeting<br>
			June 19-21, 2008, Passau, DE.

	~~<html><head><title>IFIP WG2.11, meeting schedule</title>~~

	~~</head><body bgcolor="white">~~

	~~<center>~~
	~~#IP [[http://www.smart-generators.org/ Working Group 2.11]] Sixth Meeting<br>~~
	~~June 19-21, 2008, Passau, DE.~~
	~~</center>~~

	<h1 class="style3">		<h1 class="style3">
Line 224:		Line 218:


	~~</html>~~

	<h1 class="style3">		<h1 class="style3">

Admin: 1 revision

2011-12-12T10:06:27Z

1 revision

New page

[[Category:WG211]]

<html><head><title>IFIP WG2.11, meeting schedule</title>

</head><body bgcolor="white">

<center>
#IP [[http://www.smart-generators.org/ Working Group 2.11]] Sixth Meeting<br>
June 19-21, 2008, Passau, DE.
</center>

<h1 class="style3">
Registration
</h1>

Meeting Fee: EUR 160, payable by credit card or money transfer [[http://shop.uni-passau.de (payment page)]]. This includes breaks and meals.

In order to plan the meeting, we would like your firm registration deadline by
'''May 18'''. Hotel rooms are being held until then. If you plan a talk, please
enter a title and abstract on the WG's Web site.

<h1 class="style3">
Accommodation
</h1>

We have made the following room reservations:

<a href="http://www.ichotelsgroup.com/h/d/hi/1/en/home">
Holiday Inn</a> (tel: +49/851/59000):
30 rooms (single: EUR 81, double: EUR 95.50). Use the keyword "Uni Passau" when contacting the hotel.

<a href="http://www.weisser-hase.de">
Hotel Weisser Hase</a> (tel: +49/851/92110)
8 single rooms (single: EUR 69, double: EUR: 99). Use the keyword "WG 2.11" when contacting the hotel.

These and other hotels are in walking distance of the university.
'''Please book directly.'''

<h1>
Registered Attendees (as of May 14)
</h1>

Apel,
Brady,
Consel,
Cook,
Danvy,
Denney,
Fischer,
Glueck,
Groesslinger,
Hammond,
Herrmann,
Laemmel,
Lawall,
Le Meur,
Lengauer,
Moggi,
O'Donnell,
Schultz,
Sloane,
Striegnitz,
Visser

<h1 class="style3">
Schedule
</h1>

The meeting will begin on the morning of Thursday, June 19 and end early in the afternoon of Saturday, June 21.

<h1 class="style3">
Transportation
</h1>

If you come from overseas, fly into Frankfurt and take the train. The ride is
about 4 hours on the major East-West train line from Basel to Budapest.

If you come from somewhere in Europe, fly to Munich and take the train. This is
a local line, and the ride is about 2 hours. To get to the train, you should take a bus from the airport to Freising. You can get train tickets at the central area of the airport. This covers the bus as well.

More information about travel from both the Frankfurt airport and the Munich airport is available
[[http://www.infosun.fim.uni-passau.de/cl/location/ here]]. Please ignore the hotel information on this page.

It is also possible to fly to Vienna and then take a direct train to Passau (3 hours). To get to the train, take a bus
from the airport to the train station Vienna West (German: Wien West).

<h1 class="style3">
Meeting location
</h1>

* [[Media:passaumap.pdf | passaumap.pdf ]]: Map to the meeting location (20 minute walk from the Holiday Inn)

The upper hand-drawn circle marks the location of the Holiday
Inn, the lower circle (at number 9) the informatics building, in which
the meeting will take place.

<h1 class="style3">
Program
</h1>
The program will start on Thursday, June 19, 9 a.m. and end on Saturday, June 21, after lunch.

<p>

To enter your title and abstract, instantiate a copy of the code below, removing the -s between the [[ and ]], and filling in your name and the talk title. If you click on the link, it should give you the option to create a page on which you can enter your abstract.

<p>
[-[http://smart-generators.org/M6Name*][Talk title]-]<br>
Name

Plan to talk for 20-30 minutes.

<h4>Thursday morning, 8:45-12:10</h4>

<p>
[[http://smart-generators.org/M6EelcoVisser* Code Generation by Model Transformation]]<br>
Eelco Visser

<p>
[[http://smart-generators.org/M6NWilliamCook* Strategic Programming by Model Interpretation and Partial Evaluation]]<br>
William Cook

<p>
[[http://smart-generators.org/M6RobertGlueck* Is there a 4th Futamura projection?]]<br>
Robert Gl�ck

<p>
[[http://smart-generators.org/M6AnthonySloane* Combining Attribution and Rewriting]]<br>
Anthony M. Sloane

<h4>Thursday afternoon: 14:30-17:00</h4>

<p>
[[http://smart-generators.org/M6UlrikSchultz* Developing a useful DSL for programming modular robots]]<br>
Ulrik P. Schultz

<p>
[[http://smart-generators.org/M6OlivierDanvy* A derivational explanation of circular programming]]<br>
Olivier Danvy

<p>
[[http://smart-generators.org/M6RalfLaemmel* The Expression Lemma]]<br>
Ralf Lämmel

<h4>Business meeting, 17:00-18:00</h4>

<h4>Friday morning, 9:00-12:10</h4>

<p>
[[http://smart-generators.org/M6Consel* Pantaxou: a Domain-Specific Language for Developing Safe Coordination Services]]<br>
Charles Consel

<p>
[[http://smart-generators.org/M6JohnODonnell* Sublanguages for generating digital circuits]]<br>
John O'Donnell

<p>
[[http://smart-generators.org/M6EwenDenney* Generating Customized Verifiers for Automatically Generated Code]]<br>
Ewen Denney and Bernd Fischer

<p>
[[http://smart-generators.org/M6SvenApel* Recent Developments in Feature-Oriented Software Development]]<br>
Sven Apel

<h4>Friday afternoon: 2:30-18:00</h4>

<p>
[[http://smart-generators.org/M6JuliaLawall* <b>Discussion</b>: What are the important issues in research on domain-specific languages?]]<br>
Julia Lawall

<p>
[[http://smart-generators.org/M6TeachinDisc* <b>Discussion</b>: Whether or not to (and how to) set up a related teaching repository?]]<br>
Ralf Laemmel

<h4>Saturday morning, 9:00-12:10</h4>

<p>
[[http://smart-generators.org/M6LeMeur* A model-based framework for statically and dynamically checking component interactions]]<br>
Anne Francoise Le Meur

<p>
[[http://smart-generators.org/M6ArminGroesslinger* You can throw a loop a curve]]<br>
Armin Groesslinger

<p>
[[http://smart-generators.org/M6EdwinBrady* Correct-by-construction concurrency]]<br>
Edwin Brady

<p>
[[http://smart-generators.org/M6ChristophHermann* The impact of Haskell's type families on DSL implementations with strong resource guarantees]]<br>
Christoph Hermann

<h1 class="style3">
Business meeting
</h1>

Thursday afternoon, after the talks

</html>

<h1 class="style3">
Pictures, etc.
</h1>

[[http://www.diku.dk/~glueck/Passau/Passau.html Pictures from the excursion, by Robert Gl�ck]]
==File Attachments==

*[[Media:apel.pdf | apel.pdf]]
*[[Media:passaumap.pdf | passaumap.pdf]]
*[[Media:pictures4.tar.gz | pictures4.tar.gz]]
*[[Media:pictures3.tar.gz | pictures3.tar.gz]]
*[[Media:pictures2.tar.gz | pictures2.tar.gz]]
*[[Media:pictures1.tar.gz | pictures1.tar.gz]]

WG211/M6Schedule - Revision history

Walid at 13:43, 16 December 2011

Admin: 1 revision