---+++ September 24, 2012
---++++++ [[http://fosd.de/2012/][FOSD]]


---+++ September 25, 2012 
---++++++ [[http://fosd.de/2012/][FOSD]]
---++++++ [[http://planet-sl.org/sle2012/index.php?option=com_content&view=article&id=164:doctoral-symposium&catid=9:presentation&Itemid=278][SLE Doctoral Symposium]]
---++++++ GPCE
<table>
<tr>
<td>18:15		</td>  <td> *GPCE/SLE/FOSD Welcome Reception* </td>
</tr>
</table>


---+++ September 26, 2012 
---++++++ [[http://planet-sl.org/sle2012/index.php?option=com_content&view=article&id=4&Itemid=278][SLE]]
---++++++ GPCE
<table>
<tr>
<td>09:10-09:15</td>  <td> *Opening* </td>
</tr>

<tr>
<td>09:15-10:15</td>  <td> *Keynote* </td>
</tr>
<tr><td></td><td>Session Chair: Walter Binder</td></tr>

<tr>
<td></td><td>Éric Tanter: [[TanterInvitedTalk][Taming Aspects]]</td>
</tr>

<tr>
<td>10:15-10:45</td>  <td> *Coffee* </td>
</tr>

<tr>
<td>10:45-12:15</td>  <td> *Session 1: Software Product Lines; Features* </td>
</tr>
<tr><td></td><td>Session Chair: Christian Kästner</td></tr>

<tr>
<td></td><td>Ferruccio Damiani, Luca Padovani, and Ina Schaefer: [[P1Damiani][A Formal Foundation for Dynamic Delta-Oriented Software Product Lines]]</td>
</tr>

<tr>
<td></td><td>Thomas Thüm, Ina Schaefer, Sven Apel, and Martin Hentschel: [[P11Thum][Family-Based Deductive Verification of Software Product Lines]]</td>
</tr>

<tr>
<td></td><td>Uwe Ryssel, Joern Ploennigs, and Klaus Kabitzsch: [[P21Ryssel][Reasoning of Feature Models from Derived Features]]</td>
</tr>

<tr>
<td>12:15-13:45</td>  <td> *Lunch* </td>
</tr>

<tr>
<td>13:45-15:15</td>  <td> *Session 2: Generation* </td>
</tr>
<tr><td></td><td>Session Chair: Michael Franz</td></tr>

<tr>
<td></td><td>Derek Rayside, Vajihollah Montaghami, Francesca Leung, Albert Yuen, Kevin Xu, and Daniel Jackson: [[P31Rayside][Synthesizing Iterators from Abstraction Functions]]</td>
</tr>

<tr>
<td></td><td>Geoffrey C. Hulette, Matthew Sottile, and Allen D. Malony: [[P41Hulette][Composing Typemaps in Twig]]</td>
</tr>

<tr>
<td></td><td>Eyvind W. Axelsen and Stein Krogdahl: [[P50Axelsen][Package Templates: A Definition by Semantics-Preserving Source-to-Source Transformations to Efficient Java Code]]</td>
</tr>

<tr>
<td>15:15-15:45</td>  <td> *Coffee* </td>
</tr>

<tr>
<td>15:45-17:15</td>  <td> *Session 3: Software Components; Libraries* </td>
</tr>
<tr><td></td><td>Session Chair: Julia Lawall</td></tr>

<tr>
<td></td><td>Petr Spacek, Christophe Dony, Chouki Tibermacine, and Luc Fabresse: [[P60Spacek][An Inheritance System for Structural & Behavioral Reuse in Component-based Software Programming]]</td>
</tr>

<tr>
<td></td><td>Huaxi (Yulin) Zhang, Lei Zhang, Christelle Urtado, Sylvain Vauttier, and Marianne Huchard: [[P70Zhang][A Three-level Component Model in Component Based Software Development]]</td>
</tr>

<tr>
<td></td><td>John Freeman, Jaakko Järvi, and Gabriel Foust: [[P80Freeman][HotDrink: A Library for Web User Interfaces]]</td>
</tr>
<tr>
<td>19:30		</td> <td> *GPCE/SLE Dinner*, Sophienkeller im Taschenbergpalais </td> </tr>
</table>




---+++ September 27, 2012
---++++++ [[http://planet-sl.org/sle2012/index.php?option=com_content&view=article&id=4&Itemid=278][SLE]]
---++++++ GPCE
<table>
<tr>
<td>09:15-10:15</td>  <td> *Keynote* </td>
</tr>
<tr><td></td><td>Session Chair: Klaus Ostermann</td></tr>

<tr>
<td></td><td>Oege de Moor: [[MoorInvitedTalk][Analysing Contributions]]</td>
</tr>

<tr>
<td>10:15-10:45</td>  <td> *Coffee* </td>
</tr>

<tr>
<td>10:45-12:15</td>  <td> *Session 4: Software Architectures; Adaptation* </td>
</tr>
<tr><td></td><td>Session Chair: Ina Schaefer</td></tr>

<tr>
<td></td><td>Taylor L Riché, Rui Gonçalves, Bryan Marker, and Don Batory: [[P84Riche][Pushouts in Software Architecture Design]]</td>
</tr>

<tr>
<td></td><td>Hamid Bagheri and Kevin Sullivan: [[P93Bagheri][Pol: Specification-Driven Synthesis of Architectural Code Frameworks for Platform-Based Applications]]</td>
</tr>

<tr>
<td></td><td>Tim Bauer, Martin Erwig, Alan Fern, and Jervis Pinto: [[P103Bauer][Faster Program Adaptation Through Reward Attribution Inference]]</td>
</tr>

<tr>
<td>12:15-13:45</td>  <td> *Lunch* </td>
</tr>

<tr>
<td>13:45-15:15</td>  <td> *Session 5: Languages and Language Theory* </td>
</tr>
<tr><td></td><td>Session Chair: Bernd Fischer</td></tr>

<tr>
<td></td><td>Sven Efftinge, Moritz Eysholdt, Jan Köhnlein, Sebastian Zarnekow, Wilhelm Hasselbring, Robert von Massow, and Michael Hanus: [[P112Efftinge][Xbase: Implementing Domain-Specific Languages for Java]]</td>
</tr>

<tr>
<td></td><td>Jon Rafkind and Matthew Flatt: [[P122Rafkind][Honu: Syntactic Extension for Algebraic Notation through Enforestation]]</td>
</tr>

<tr>
<td></td><td>Eric Walkingshaw and Martin Erwig: [[P132Walkingshaw][A Calculus for Modeling and Implementing Variation]]</td>
</tr>

<tr>
<td>15:15-15:45</td>  <td> *Coffee* </td>
</tr>

<tr>
<td>15:45-16:45</td>  <td> *Tech talk* </td>
</tr>
<tr><td></td><td>Session Chair: Klaus Ostermann</td></tr>

<tr>
<td></td><td>Christian Kästner and Sven Apel: [[KaestnerTechTalk][An Introduction to Variability-Aware Analysis]]</td>
</tr>

<tr>
<td>16:45-16:55</td>  <td> *Closing* </td>
</tr>
</table>


---+++ September 28, 2012
---++++++ [[http://planet-sl.org/sle2012/index.php?option=com_content&view=article&id=4&Itemid=278][SLE]]