
<html>

  <head>


    <meta http-equiv="content-type" content="text/html; charset=UTF-8">

  </head>

  <body>

    <p>Liebe Master-AI Studierende,</p>

    <p>ab dem WS 20/21 wird das Wahlpflichtmodul "KomplexitÃ¤tstheorie"

      von Jun.-Prof. Zeume angeboten und erhÃ¤lt dadurch inhaltlich auch

      einen Neuanstrich. Herr Zeume freut sich schon auf rege

      Beteiligung aus der AI. <br>

    </p>

    <p>ZusÃ¤tzlich bietet er noch das bei uns nun neue Anwendungsmodul

      "Model Checking" an.</p>

    <p>Infos zu beiden Modulen finden Sie im Modulhandbuch, die

      zugehÃ¶rigen Moodle-Kurse sind bereits fÃ¼r die Einschreibung

      freigeschaltet.</p>

    <p>Viele GrÃ¼ÃŸe,</p>

    <p>Kerstin KallweitÂ  <br>

    </p>

    <div class="moz-signature">-- <br>

      Dipl.-Biol. Kerstin Kallweit <br>

      <font color="#08088A"><b> Ruhr-UniversitÃ¤t Bochum </b></font><br>

      <font color="#86B404"><b> Studiendekanat Angewandte Informatik </b></font><br>

      NB 02/72 <br>

      Tel.: 0234/32-27685 <br>

      Fax: 0234/32-14658 <br>

    </div>

  </body>

</html>