\beamer@endinputifotherversion {3.01pt}
\select@language {english}
\beamer@sectionintoc {1}{Solution to some of the exercises in previous lecture}{3}{0}{1}
\beamer@subsectionintoc {1}{1}{Semaphores in Java}{3}{0}{1}
\beamer@subsectionintoc {1}{2}{Readers and Writers}{17}{0}{1}
\beamer@sectionintoc {2}{Verification of Concurrent Software (by Jean-Jacques L\'evy)}{26}{0}{2}
\beamer@subsectionintoc {2}{1}{A case study: Ariane}{26}{0}{2}