The abstracts of invited talks and accepted contributions are available [[InvitedTalks][here]] and [[AcceptedPapers][here]].

Where provided by the speakers (of non-whiteboard-only talks), slides are linked off below.

-----++++ Session 1: 9:00 - 10:30

	* Jean-Luc Hainaut. *Invited talk*: <A HREF="http://www.program-transformation.org/pub/BX12/Program/Keynote-Bx-12-short.ppt" TARGET="_blank">Bidirectional Transformations in Database Engineering.</A>
	* Jeremy Gibbons and Michael Johnson. <A HREF="http://www.program-transformation.org/pub/BX12/Program/slides-gibbons.pdf" TARGET="_blank">Relating Algebraic and Coalgebraic Descriptions of Lenses.</A>

_Coffee break_

-----++++ Session 2: 11:00 - 12:30

	* Hugo Pacheco, Alcino Cunha and Zhenjiang Hu. <A HREF="http://alfa.di.uminho.pt/~hpacheco/publications/bx12-slides.pdf" TARGET="_blank">Delta Lenses over Inductive Types.</A>
	* Vadim Zaytsev. <A HREF="http://grammarware.net/slides/2012/bx-metasyntax.pdf" TARGET="_blank">Language Evolution, Metasyntactically.</A>
	* Michael Johnson and Robert Rosebrugh. Lens put-put laws: Monotonic and mixed.

_Lunch_

-----++++ Session 3: 14:00 - 15:30

	* Juan de Lara. *Invited talk*: <A HREF="http://www.program-transformation.org/pub/BX12/Program/slides-JuanDeLara.pdf" TARGET="_blank">Bidirectional Transformations with Graphical Constraints.</A>
	* Anthony Anjorin, Gergely Varro and Andy Schürr.  <A HREF="http://www.program-transformation.org/pub/BX12/Program/bx2012avs.pdf" TARGET="_blank">Complex Attribute Manipulation in TGGs with Constraint-Based Programming Techniques.</A>

_Coffee break_


-----++++ Session 4: 16:00 - 17:30

	* Leen Lambers, Stephan Hildebrandt, Holger Giese and Fernando Orejas.  <A HREF="http://www.program-transformation.org/pub/BX12/Program/slides-LHGO11.pdf" TARGET="_blank"> Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case.</A>
	* Erwann Wernli. Bidirectional transformations meets dynamic updates: promise & perils.
	* Perdita Stevens. <A HREF="http://www.program-transformation.org/pub/BX12/Program/slides-Stevens.pdf" TARGET="_blank">Observations relating to the equivalences induced on model sets by bidirectional transformations.</A>

-----++++ Closing Discussion: 17:30 - 18:00



<!--

-------++ Monday, January 18, 2010

------+++ Chairs' Welcome: 9:00 - 9:05

_Break_

-->