Termine

• 29.06.2008

  Bewerbungsschluss USA-VDAC-Stipendium

• 01.07.2008

  Abschlussvortrag: Dr. Michael Bader im Rahmen seines Habilitationsverfahrens

• 03.07.2008

  Vortrag Thomas Brazdil: Reachability in Recursive Markov Decision Processes

• 07.07.2008

  Singapur-Treff

• 10.07.2008

  Vortrag Tobias Nipkow: Social Choice in Higher-Order Logic: Two Impossibility Results

• 17.07.2008

  Vortrag Clemens Ballarin: Locales – a Module System for an Interactive Theorem Prover