\select@language {english}
\contentsline {section}{\numberline {1}Welcome}{4}
\contentsline {subsection}{\numberline {1.1}Conferences and Workshops Location}{4}
\contentsline {section}{\numberline {2}Main Conferences}{10}
\contentsline {subsection}{\numberline {2.1}Conference Description}{10}
\contentsline {subsection}{\numberline {2.2}Main Conference Programmes}{17}
\contentsline {subsubsection}{\numberline {2.2.1}Monday, March 26}{17}
\contentsline {subsubsection}{\numberline {2.2.2}Tuesday, March 27}{20}
\contentsline {subsubsection}{\numberline {2.2.3}Wednesday, March 28}{23}
\contentsline {subsubsection}{\numberline {2.2.4}Thursday, March 29}{27}
\contentsline {subsubsection}{\numberline {2.2.5}Friday, March 30}{30}
\contentsline {section}{\numberline {3}Workshops}{33}
\contentsline {subsection}{\numberline {3.1}Programme of ACCAT}{42}
\contentsline {subsection}{\numberline {3.2}Programme of Bytecode }{43}
\contentsline {subsection}{\numberline {3.3}Programme of COCV }{45}
\contentsline {subsection}{\numberline {3.4}Programme of FESCA }{46}
\contentsline {subsection}{\numberline {3.5}Programme of FinCo }{48}
\contentsline {subsection}{\numberline {3.6}Programme of GT-VMT }{49}
\contentsline {subsection}{\numberline {3.7}Programme of HAV}{51}
\contentsline {subsection}{\numberline {3.8}Programme of HFL }{52}
\contentsline {subsection}{\numberline {3.9}Programme of LDTA }{54}
\contentsline {subsection}{\numberline {3.10}Programme of MOMPES }{56}
\contentsline {subsection}{\numberline {3.11}Programme of OpenCert }{58}
\contentsline {subsection}{\numberline {3.12}Programme of QAPL }{59}
\contentsline {subsection}{\numberline {3.13}Programme of SC }{61}
\contentsline {subsection}{\numberline {3.14}Programme of SLA\texttt {++}P }{64}
\contentsline {subsection}{\numberline {3.15}Programme of Termgraph }{65}
\contentsline {subsection}{\numberline {3.16}Programme of WITS }{66}
\contentsline {section}{\numberline {4}Tutorials}{68}
\contentsline {subsection}{\numberline {4.1}Program Transformation with Stratego/XT}{68}
\contentsline {subsection}{\numberline {4.2}Beyond the Generators: Practical Techniques for Real-World Software Generation}{68}
\contentsline {subsection}{\numberline {4.3}Mobility, Ubiquity, and Security}{68}
\contentsline {section}{\numberline {5}Social Programme}{70}
\contentsline {section}{\numberline {6}Sponsors}{71}