* 9:00 - 10:00 *<font color=green>ICFP invited talk</font>*

	* 10:15 - 10:30 Opening

	* 10:30 - 11:00 *Break*

	* 11:00 - 11:30
			 Playing with Type Systems <br> Tim Sheard	
	* 11:30 - 12:00
	  Typing Template Haskell: Soft Types <br> Ian Lynagh 
	* 12:00 - 12:30
	  Type Soundness for Open and Closed Code Fragments <br> Morten Rhiger
	* 12:30 - 13:00
			 Discussion session on Types.	

	* 13:00 - 14:30 *Lunch*

	* 14:30 - 15:00
			 Dynamic Caml: a Dynamic Code Generation Library for Objective Caml <br> Dmitry Lomov and Andrey Serebryansky	
	* 15:00 - 15:30
			 A runtime for Multi-Stage Programming, and
			 Meta-Programming without Quasi-Quotation <br> Cisternino Antonio and Gervasi Vincenzo
	* 15:30 - 16:00
			 Discussion session on Implementation issues

	* 16:00 - 16:30 *Break*

	* 16:30 - 17:00
			 Towards a high-productivity and high-performance marshaling library for compound data <br> Albert Cohen and Christoph Herrmann
	* 17:00 - 18:00
			 Discussion session (open).

	* 18:00 Closing