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