\select@language {english}
\contentsline {section}{\numberline {1}Etaps Locations}{5}
\contentsline {section}{\numberline {2}Main Conferences}{5}
\contentsline {subsection}{\numberline {2.1}CC}{5}
\contentsline {subsubsection}{\numberline {2.1.1}International Conference on Compiler Construction}{5}
\contentsline {subsection}{\numberline {2.2}ESOP}{7}
\contentsline {subsubsection}{\numberline {2.2.1}European Symposium on Programming,}{7}
\contentsline {subsection}{\numberline {2.3}FASE}{8}
\contentsline {subsubsection}{\numberline {2.3.1}Fundamental Approaches to Software Engineering}{8}
\contentsline {subsection}{\numberline {2.4}FOSSACS}{10}
\contentsline {subsubsection}{\numberline {2.4.1}Foundations of Software Science and Computation Structures}{10}
\contentsline {subsection}{\numberline {2.5}TACAS}{12}
\contentsline {subsubsection}{\numberline {2.5.1}Tools and Algorithms for the Construction and Analysis of Systems}{12}
\contentsline {subsection}{\numberline {2.6}Programme of Main Conferences at ETAPS 2007}{13}
\contentsline {subsubsection}{\numberline {2.6.1}Programme of Monday, March 26}{13}
\contentsline {subsubsection}{\numberline {2.6.2}Programme of Tuesday, March 27}{17}
\contentsline {subsubsection}{\numberline {2.6.3}Programme of Wednesday, March 28}{20}
\contentsline {subsubsection}{\numberline {2.6.4}Programme of Thursday, March 29}{24}
\contentsline {subsubsection}{\numberline {2.6.5}Programme of Friday, March 30}{27}
\contentsline {section}{\numberline {3}Workshops}{31}
\contentsline {subsubsection}{\numberline {3.0.6}ACCAT}{32}
\contentsline {subsubsection}{\numberline {3.0.7}AVIS \emph {(cancelled)} }{32}
\contentsline {subsubsection}{\numberline {3.0.8}ByteCode}{33}
\contentsline {subsubsection}{\numberline {3.0.9}COCV}{33}
\contentsline {subsubsection}{\numberline {3.0.10}FESCA}{33}
\contentsline {subsubsection}{\numberline {3.0.11}FinCo}{34}
\contentsline {subsubsection}{\numberline {3.0.12}GT-VMT}{34}
\contentsline {subsubsection}{\numberline {3.0.13}HAV}{34}
\contentsline {subsubsection}{\numberline {3.0.14}HFL}{35}
\contentsline {subsubsection}{\numberline {3.0.15}LDTA}{35}
\contentsline {subsubsection}{\numberline {3.0.16}MBT}{35}
\contentsline {subsubsection}{\numberline {3.0.17}MOMPES}{36}
\contentsline {subsubsection}{\numberline {3.0.18}OpenCert}{36}
\contentsline {subsubsection}{\numberline {3.0.19}QAPL}{36}
\contentsline {subsubsection}{\numberline {3.0.20}SC}{37}
\contentsline {subsubsection}{\numberline {3.0.21}SLA++P}{37}
\contentsline {subsubsection}{\numberline {3.0.22}TERMGRAPH}{38}
\contentsline {subsubsection}{\numberline {3.0.23}WITS}{38}
\contentsline {subsection}{\numberline {3.1}Programme of ACCAT at ETAPS 2007}{39}
\contentsline {subsubsection}{\numberline {3.1.1}(Applied and Computational Category Theory)}{39}
\contentsline {subsubsection}{\numberline {3.1.2}Sunday, March 25, room: CP2-103}{39}
\contentsline {subsection}{\numberline {3.2}Programme of Bytecode at ETAPS 2007}{40}
\contentsline {subsubsection}{\numberline {3.2.1}(Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation)}{40}
\contentsline {subsubsection}{\numberline {3.2.2}Saturday, March 31, room: CP2-103}{40}
\contentsline {subsection}{\numberline {3.3}Programme of COCV at ETAPS 2007}{42}
\contentsline {subsubsection}{\numberline {3.3.1}(Compiler Optimization meets Compiler Verification)}{42}
\contentsline {subsubsection}{\numberline {3.3.2}Sunday, March 25, room: CP2-108}{42}
\contentsline {subsection}{\numberline {3.4}Programme of FESCA at ETAPS 2007}{43}
\contentsline {subsubsection}{\numberline {3.4.1}(Formal Foundations of Embedded Software and Component-Based Software Architectures)}{43}
\contentsline {subsubsection}{\numberline {3.4.2}Saturday, March 24, room: CP2-108}{43}
\contentsline {subsubsection}{\numberline {3.4.3}Sunday, March 25}{44}
\contentsline {subsection}{\numberline {3.5}Programme of GT-VMT at ETAPS 2007}{45}
\contentsline {subsubsection}{\numberline {3.5.1}(Sixth International Workshop on Graph Transformation and Visual Modeling Techniques)}{45}
\contentsline {subsubsection}{\numberline {3.5.2}Saturday, March 31, room: CP2-101}{45}
\contentsline {subsubsection}{\numberline {3.5.3}Sunday, April 1, room: CP2-101}{47}
\contentsline {subsection}{\numberline {3.6}Programme of HAV at ETAPS 2007}{48}
\contentsline {subsubsection}{\numberline {3.6.1}(Heap Analysis and Verification)}{48}
\contentsline {subsubsection}{\numberline {3.6.2}Sunday, March 25, room: CP2-104}{48}
\contentsline {subsection}{\numberline {3.7}Programme of HFL at ETAPS 2007}{49}
\contentsline {subsubsection}{\numberline {3.7.1}(Hardware design using Functional Languages)}{49}
\contentsline {subsubsection}{\numberline {3.7.2}Saturday, March 24, room: CP2-110}{49}
\contentsline {subsubsection}{\numberline {3.7.3}Sunday, March 25, room: CP2-110}{50}
\contentsline {subsection}{\numberline {3.8}Programme of LDTA at ETAPS 2007}{51}
\contentsline {subsubsection}{\numberline {3.8.1}(Seventh Workshop on Language Descriptions, Tools and Applications)}{51}
\contentsline {subsubsection}{\numberline {3.8.2}Sunday, March 25, room: CP2-111}{51}
\contentsline {subsection}{\numberline {3.9}Programme of OpenCert at ETAPS 2007}{53}
\contentsline {subsubsection}{\numberline {3.9.1}(Foundations and Techniques for Open Source Software Certification)}{53}
\contentsline {subsubsection}{\numberline {3.9.2}Saturday, March 31, room: CP2-110}{53}
\contentsline {subsection}{\numberline {3.10}Programme of QAPL at ETAPS 2007}{54}
\contentsline {subsubsection}{\numberline {3.10.1}(Fifth Workshop on Quantitative Aspects of Programming Languages)}{54}
\contentsline {subsubsection}{\numberline {3.10.2}Saturday, March 24, room: CP2-105}{54}
\contentsline {subsubsection}{\numberline {3.10.3}Sunday, March 25, room: CP2-105}{55}
\contentsline {subsection}{\numberline {3.11}Programme of SC at ETAPS 2007}{57}
\contentsline {subsubsection}{\numberline {3.11.1}(Workshop on Software Composition)}{57}
\contentsline {subsubsection}{\numberline {3.11.2}Saturday, March 24, room: CP2-101}{57}
\contentsline {subsubsection}{\numberline {3.11.3}Sunday, March 25, room: CP2-101}{58}
\contentsline {subsection}{\numberline {3.12}Programme of SLA++P at ETAPS 2007}{60}
\contentsline {subsubsection}{\numberline {3.12.1}(Model-driven High-level Programming of Embedded Systems)}{60}
\contentsline {subsubsection}{\numberline {3.12.2}Saturday, March 31, room: CP2-105}{60}
\contentsline {subsection}{\numberline {3.13}Programme of Termgraph at ETAPS 2007}{62}
\contentsline {subsubsection}{\numberline {3.13.1}(4th International Workshop on Computing with Terms and Graphs)}{62}
\contentsline {subsubsection}{\numberline {3.13.2}Saturday, March 31, room: CP2-104}{62}
\contentsline {subsection}{\numberline {3.14}Programme of WITS at ETAPS 2007}{63}
\contentsline {subsubsection}{\numberline {3.14.1}(7th International Workshop on Issues in the Theory of Security)}{63}
\contentsline {subsubsection}{\numberline {3.14.2}Saturday, March 24, room: CP2-102}{63}
\contentsline {subsubsection}{\numberline {3.14.3}Sunday, March 25, room: CP2-102}{64}
\contentsline {section}{\numberline {4}Tutorials}{65}
\contentsline {subsubsection}{\numberline {4.0.4}Program Transformation with Stratego/XT}{66}
\contentsline {subsubsection}{\numberline {4.0.5}Beyond the Generators: Practical Techniques for Real-World Software Generation}{66}
\contentsline {subsubsection}{\numberline {4.0.6}Mobility, Ubiquity, and Security}{66}
\contentsline {section}{\numberline {5}Social Programme}{67}
\contentsline {section}{\numberline {6}All events day by day}{67}
\contentsline {section}{\numberline {7}Sponsors}{67}