The abstracts are available [[InvitedTalks][here]] and [[AcceptedPapers][here]].


-------++ Monday, January 21, 2013

------+++ Program Chairs' Report and Best Paper Award Announcement: 8:45 - 9:00

------+++ Invited Talk: 9:00 - 10:00
Session Chair: Shin-Cheng Mu

	* Zhenjiang Hu: Practical Aspects of Bidirectional Graph Transformations


_Coffee break_


------+++ 10:30 - 12:30
Session Chair: Samir Genaim

	* Jeroen Weijers, Jurriaan Hage and Stefan Holdermans: Security Type Error Diagnosis for Higher-Order, Polymorphic Languages
	* Axel Simon: Deriving a Complete Type Inference for Hindley-Milner and Vector Sizes using Expansion
	* Francisco Javier López-Fraguas and Enrique Martin-Martin: Typing as Functional-Logic Evaluation
	* Kostis Sagonas, Josep Silva and Salvador Tamarit: Precise Explanation of Success Typing Errors

_Lunch (not provided)_

------+++ 14:30 - 16:00
Session Chair: Jeremy Siek

	* Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti: Verifying Programs via Iterated Specialization
	* Ryosuke Sato, Hiroshi Unno and Naoki Kobayashi: Towards a Scalable Software Model Checker for Higher-Order Programs
	* Michael Carbin, Deokhwan Kim, Sasa Misailovic and Martin Rinard: Verified Integrity Properties for Safe Approximate Program Transformations

_Coffee break_


------+++ 16:30 - 17:30
Session Chair: Bruno Oliveira

	* Marco Comini and Luca Torella: TRSynth: a Tool for Automatic Inference of Term Equivalence in Left-linear Term Rewriting Systems
	* Martin Sulzmann, Jürgen Nicklisch and Axel Zechner: Traceability and Correctness of EDSL Abstractions

-------++ Tuesday, January 22, 2013

------+++ Invited Talk: 9:00 - 10:00 
Session Chair: Elvira Albert

	* Peter Thiemann: Partially Static Operations 

_Coffee break_

------+++ 10:30 - 12:30
Session Chair: Kazutaka Matsuda

	* Bruno Martinez, Marcos Viera and Alberto Pardo: Just Do It While Compiling!: Fast Extensible Records in Haskell
	* Bruno Oliveira and Andres Loh: Abstract Syntax Graphs for Domain Specific Languages
	* Dominique Devriese, Ilya Sergey, Dave Clarke and Frank Piessens: Fixing Idioms - A Recursion Primitive for Applicative DSLs
	* Álvaro García-Pérez and Pablo Nogueira: A Syntactic and Functional Correspondence between Reduction Semantics and Reduction-Free Full Normalisers

_Lunch (not provided)_

------+++ 14:30 - 16:00
Session Chair: Roberto Giacobazzi

	* Marco Servetto and Elena Zucca: A Meta-Circular Language for Active Libraries
	* María Alpuente, Marco A. Feliú and Alicia Villanueva: Automatic Inference of Specifications using Matching Logic
	* Qiang Sun, Yuting Chen and Jianjun Zhao: Constraint-Based Locality Analysis for X10 Programs

_Coffee break_

------+++ 16:30 - 17:00
Session Chair: Jurriaan Hage

	* Baris Aktemur, Yukiyoshi Kameyama, Oleg Kiselyov and Chung‐chieh Shan: Shonan Challenge for Generative 
 Programming