The abstracts are available [[InvitedTalks][here]] and [[AcceptedPapers][here]]. -------++ Monday, January 24, 2011 ------+++ Chairs' Welcome: 9:00 - 9:05 ------+++ Invited Talk 1: 9:05 - 10:05 Session Chair: Jeremy Siek * Olivier Danvy: A Walk in the Semantic Park ------+++ Continuations: 10:05 - 10:35 Session Chair: Jeremy Siek * Dimitrios Vardoulakis and Olin Shivers: Ordering Multiple Continuations on the stack _Coffee break_ ------+++ Partial Evaluation: 11:00 - 12:30 Session Chair: Jacques Carette * Torben Mogensen: Partial Evaluation of the Reversible Language Janus * Peter A. Jonsson and Johan Nordlander: Taming Code Explosion in Supercompilation * Carl Friedrich Bolz, Antonio Cuni, Maciej Fijałkowski, Michael Leuschel, Samuele Pedroni and Armin Rigo: Allocation Removal by Partial Evaluation in a Tracing JIT _Lunch_ ------+++ Embedded Languages: 14:00 - 15:00 Session Chair: Ronald Garcia * Jaques Carette, Mustafa Elsheikh and Spencer Smith: A Generative Geometric Kernel * Yan Wang and veronica gaspes: An Embedded Language for Programming Protocol Stacks in Embedded Systems ------+++ Tool Demo: 15:00 - 15:30 * Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla and Guillermo Román Díez: Verified Resource Guarantees using COSTA and !KeY _Coffee break_ ------+++ Invited Talk 2: 16:00 - 17:00 Session Chair: Siau-Cheng Khoo * Chales Consel: !DiaSuite: A Paradigm-Oriented Software Development Approach -------++ Tuesday, January 25, 2011 ------+++ Invited Talk 3: 9:00 - 10:00 Session Chair: Siau-Cheng Khoo * Martin Rinard: Probabilistic Accuracy Bounds for Perforated Programs ------+++ Program Synthesis: 10:00 - 10:30 Session Chair: Siau-Cheng Khoo * Tim Bauer, Martin Erwig, Alan Fern and Jervis Pinto: Adaptation-based Programming in Java _Coffee break_ ------+++ Program Calculation: 11:00 - 12:00 Session Chair: Edwin Westbrook * Hugo Pacheco and Alcino Cunha: Calculating with Lenses: Optimizing Bidrectional Transformations * Yuta Ikeda and Susumu Nishimura: Calculating Tree Navigation with Symmetric Relational Zipper _Lunch_ ------+++ Functional-Logic Programming: 14:00 - 15:00 Session Chair: Carl Friedrich Bolz * Rafael Caballero: A Program Transformation for Returning States in Functional-Logic Programs * Enrique Martin-Martin: Type classes in Functional Logic Programming ------+++ Functional Programming, Part 1: 15:00 - 15:30 Session Chair: Carl Friedrich Bolz * Joao Paulo Fernandes, Joao Saraiva, Daniel Seidel and Janis Voigtländer: Strictification of Circular Programs _Coffee break_ ------+++ Functional Programming, Part 2: 16:00 - 17:00 Session Chair: Jeremy Siek * Olaf Chitil: A Semantics for Lazy Assertions * Rinus Plasmeijer, Peter Achten, Pieter Koopman, Bas Lijnse, Thomas van Noort and John van Groningen: iTasks for a Change - Type-safe run-time change in dynamically evolving workflows