\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}{43}
\contentsline {subsection}{\numberline {3.2}Programme of Bytecode }{44}
\contentsline {subsection}{\numberline {3.3}Programme of COCV }{46}
\contentsline {subsection}{\numberline {3.4}Programme of FESCA }{47}
\contentsline {subsection}{\numberline {3.5}Programme of FinCo }{49}
\contentsline {subsection}{\numberline {3.6}Programme of GT-VMT }{50}
\contentsline {subsection}{\numberline {3.7}Programme of HAV}{52}
\contentsline {subsection}{\numberline {3.8}Programme of HFL }{53}
\contentsline {subsection}{\numberline {3.9}Programme of LDTA }{55}
\contentsline {subsection}{\numberline {3.10}Programme of MBT }{57}
\contentsline {subsection}{\numberline {3.11}Programme of MOMPES }{59}
\contentsline {subsection}{\numberline {3.12}Programme of OpenCert }{61}
\contentsline {subsection}{\numberline {3.13}Programme of QAPL }{62}
\contentsline {subsection}{\numberline {3.14}Programme of SC }{64}
\contentsline {subsection}{\numberline {3.15}Programme of SLA\texttt {++}P }{67}
\contentsline {subsection}{\numberline {3.16}Programme of Termgraph }{68}
\contentsline {subsection}{\numberline {3.17}Programme of WITS }{69}
\contentsline {section}{\numberline {4}Tutorials}{71}
\contentsline {subsection}{\numberline {4.1}Program Transformation with Stratego/XT}{71}
\contentsline {subsection}{\numberline {4.2}Beyond the Generators: Practical Techniques for Real-World Software Generation}{71}
\contentsline {subsection}{\numberline {4.3}Mobility, Ubiquity, and Security}{71}
\contentsline {section}{\numberline {5}Social Programme}{73}
\contentsline {section}{\numberline {6}Sponsors}{74}