Walid at 13:40, 16 December 2011

2011-12-16T13:40:48Z

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

			IFIP WG2.11, meeting schedule

	~~<html><head><title>~~IFIP ~~WG2.11, meeting schedule</title>~~		IFIP Working Group 2.11 Fifth Meeting<br>

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

	~~<center>~~
	~~#IP [[http://www.smart-generators.org/~~ Working Group 2.11]] Fifth Meeting<br>
	August 20-22, 2007, Copenhagen, Denmark.		August 20-22, 2007, Copenhagen, Denmark.
	~~</center>~~


	~~<p></p>~~<br~~><p></p~~>		<br>

	<h1 class="style3">		<h1 class="style3">
Line 288:		Line 282:
	Eelco Visser		Eelco Visser

	~~</html>~~

	==File Attachments==		==File Attachments==

Admin: 1 revision

2011-12-12T10:06:26Z

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]] Fifth Meeting<br>
August 20-22, 2007, Copenhagen, Denmark.
</center>

<p></p><br><p></p>

<h1 class="style3">
Business meeting
</h1>
There will be a business meeting late Monday afternoon (August 20) for members only. The discussion will include the following administrative matters:
* Should we collocate the meeting in 2008 with the WC conference?
* Should we hold the meeting at all at this meeting?
* Should we hold the meeting each 14 months instead of each 10?
* Election of chair and vice chair.

<h1 class="style3">
Travel information
</h1>

Some information about getting to the hotel is available [[http://smart-generators.org/M5Travel* here]].

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

<h2>Monday</h2>

<h5>9:00-10:30</h5>

<ul>
<li> Edwin Brady: A DSL for resource usage verification

<li> Christoph Hermann: [[Media:hermann.pdf | Generalised algebraic data types for type-safe language embeddings ]]

<li> Charles Consel: Pantachou

</ul>

<h5>10:30-11:00: Break</h5>

<h5>11:00-12:00</h5>

<ul>

<li> Ewen Denney: [[Media:ProgGen_for_NGATS.ppt | Using Program Generation to Support V&V in the Next Generation Air Transportation System ]]

<li> Olivier Danvy: [[Media:danvy.pdf | A connection between calculi with a strongly normalizing reduction strategy, abstract machines for strong normalization, and normalization functions as encountered in normalization by evaluation ]]

</ul>

<h5>12:00-14:00: Lunch</h5>

<h5>14:00-15:30</h5>

<ul>

<li> Gunter Kniesel: [[Media:kniesel.pdf | Reusability of Software Transformations ]]

<li> Ulrik Pagh Schultz: Domain-Specific Languages for Physically Interlocked
Systems (aka modular embedded systems with interlocking physical
connectors)

<li> Eric Van Wyk: Composable Specifications of Syntax and Semantics for
Extensible Languages

</ul>

<h5>15:30-16:00: Break</h5>

<h5>16:00-17:30: Business meeting</h5>

<h2>Tuesday</h2>

<h5>9:00-10:30</h5>

<ul>

<li> Robert Glueck: A Reversible Programming Language

<li> Ralf Laemmel: [[http://www.uni-koblenz.de/~laemmel/sle/wg211-copenhagen.pdf Who needs an engineer for software languages?]]

<li> Julia Lawall: [[Media:lawall.pdf | Practical program transformation using temporal logic and model checking ]]

</ul>

<h5>10:30-11:00: Break</h5>

<h5>11:00-12:00</h5>

<ul>

<li> Christian Lengauer: [[Media:lengauer.pdf | Feature Algebra ]]

<li> Harold Ossher: Lightweight Program Generation to support Faceted Objects

</ul>

<h5>12:00-14:00: Lunch</h5>

<h5>14:00-16:00: Discussion groups (see web page)</h5>

<h5>16:00-16:30: Break</h5>

<h5>16:30-17:30</h5>

<ul>

<li> Peter Sestoft: [[Media:sestoft.ppt | Zero-overhead aspects for .NET: The YIIHAW aspect weaver ]]
(by Johansen and Spangenberg)

<li> Chung-chieh Shan: [[Media:wg211-talk.pdf | Quotation and effects in natural language: three applications ]]

</ul>

<h5>After dinner</h5>

<ul>

<li> Excursion to Copenhagen
</ul>

<h2>Wednesday</h5>

<h5>9:00-10:30</h5>

<ul>

<li> Laurent Reveillere: Zebu

<li> Yannis Smaragdakis: [[Media:mjpres.pdf | Morphing: Safely Shaping a Class in the Image of Others ]]

<li> Eelco Visser: Domain-Specific Language Engineering. A Case Study in Agile
DSL Development

</ul>

<h5>10:30-11:00: Break</h5>

<h5>11:00-12:00: Demos</h5>

<ul>
<li> Eric Van Wyk: ableJ extensible Java framework.
</ul>

<h5>12:00-14:00: Lunch</h5>

<h5>14:00-16:00: General discussion</h5>

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

<h3>How reusable are transformation modules?</h3>

Discussion proposed by Gunter Kniesel

<p>
Due to the success of Model Driven Engineering, transformations are becoming
increasingly important as strategic softare artefacts. Therefore, their
cost-effective development is crucial. However, my personal impression
of the transformation approaches that I know is that they do not really
support <i>as-is reuse</i> of transformation modules.

I'd like to present a simple reuse scenario that illustrates my point
and would like to ask the audience for their solutions in any approach
that they know. The aim is to compile a list of reuse challenges and
classify the existing approaches according to which challenges they
are able to cope with.

<h3>Advantages and
weaknesses of the industrial program generation approaches</h3>

<p>

Discussion proposed by Christoph Herrmann

<p>

This discussion will consider problems of industrial software generation and alternative approaches that
provide automised, adaptable and scalable solutions regarding verification,
correctness by construction, contracts, safety and resource guarantees.
Please feel free to extend this description with topics that seem relevant.

<h3> [[Media:staged-calculi.pdf | Staging calculi ]]</h3>
Discussion proposed by Oleg Kiselyov and Chung-chieh Shan
<p>

Many formal calculi for staged programming have evolved over the
last couple of decades. Some are typed; some support `run'; some
allow cross-stage persistence; some are call-by-name and others are
call-by-value; some are specified with big-step operational semantics
and others with small-step. With hindsight, we should make these
calculi more uniform and their features more orthogonal to each other,
so that they are easier to study, mechanize, and extend (for example, to
add side effects).

This discussion will aim to:
* compile a definite reference to staged calculi, to reduce rummaging through the literature: which calculus supersedes which, and how do they compare?
* design, with the benefit of hindsight, a common calculus or calculi substrate, which at least shares notation, and to which features such as `run' can be added or removed;
* design calculi that are good models of real implementations such as MetaOCaml;
* compile a database of mechanized calculi.

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

The fifth meeting will take place at the [[http://www.badehotellet.dk/uk/default.asp Drag�r Badehotel]].

<p>

In the second half of the same week, the [[http://www2.imm.dtu.dk/sas2007/ 14th International Static Analysis Symposium]] will take place just outside of Copenhagen.

<p>

For payment of the registration fee there are two options:

<ul>
<li> Payment by credit card. In this case, the cost will be $375. The registration form is available [[https://cohesion.rice.edu/Services/EventReg/?event=IF07 here]].

<p>
<li> Payment by bank transfer. In this case, the cost will be 2000 Danish
Kroners.
</ul>

If you would like to pay by bank transfer, you should take the following
into account:

<ul>
<li>
The IBAN number is DK263000 4180 720278. The SWIFT code is DABADKKK. The bank is Danske Bank.
<p>
<li> You <b>must</b> pay all associated fees, both for the sender and the receiver.
You will need to check with your bank about how to do that.
<p>
<li> You should clearly indicate that the receiver is "Julia Lawall -- IFIP
working group".
<p>
<li> If you register by bank transfer, send me an e-mail (julia @ diku.dk) letting me know
that you have done so, and letting me know of any dietary preferences or
other constraints.
</ul>

Please register as soon as possible.
<p>

When you register, you should consider reserving your hotel room as well.
Please send your requirements to julia @ diku.dk. The hotel is very near the airport, so if you can get a
night flight, it should be possible to leave directly on the last day of
the meeting.

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

Edwin Brady,
Charles Consel,
Olivier Danvy,
Ewen Denney,
Bernd Fischer,
Robert Glueck,
Kevin Hammond,
Christoph Armin Herrmann,
Oleg Kiselyov,
Gunter Kniesel,
Ralf Lammel,
Julia Lawall,
Christian Lengauer,
Harold Ossher,
Laurent Reveillere,
Ulrik Pagh Schultz,
Peter Sestoft,
Chung-chieh Shan,
Yannis Smaragdakis,
Jorg Striegnitz,
Eric Van Wyk,
Eelco Visser

</html>

==File Attachments==

*[[Media:staged-calculi.pdf | staged-calculi.pdf]]
*[[Media:mjpres.pdf | mjpres.pdf]]
*[[Media:sestoft.ppt | sestoft.ppt]]
*[[Media:hermann.pdf | hermann.pdf]]
*[[Media:lengauer.pdf | lengauer.pdf]]
*[[Media:danvy.pdf | danvy.pdf]]
*[[Media:lawall.pdf | lawall.pdf]]
*[[Media:kniesel.pdf | kniesel.pdf]]
*[[Media:ProgGen_for_NGATS.ppt | ProgGen_for_NGATS.ppt]]
*[[Media:wg211-talk.pdf | wg211-talk.pdf]]

WG211/M5Schedule - Revision history

Walid at 13:40, 16 December 2011

Admin: 1 revision