<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>