<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p>Liebe AI-Studierende,</p>
<p>bezugnehmend auf die Mail von Herrn Zeume möchte ich darauf
hinweisen, dass der Masterkurs "Computational complexity theory"
(aka "Komplexitätstheorie") ab dem WS 23/24 nicht mehr im
Wahlpflichtkatalog der Angewandten Informatik gelistet ist. Bei
Interesse kann das Modul als Freies Wahlfach im Master belegt
werden.</p>
<p>Auch das aufgeführte Masterseminar ist nicht für Studierende der
AI belegbar.</p>
<p>Viele Grüße,</p>
<p>Kerstin Kallweit<br>
</p>
<div class="moz-cite-prefix">Am 18.09.23 um 10:23 schrieb Thomas
Zeume via AI-announce:<br>
</div>
<blockquote type="cite"
cite="mid:c5d0b156-13ae-fa0a-3a44-ce1581561676@rub.de">Dear
students,
<br>
<br>
Soon the winter term 2023/2024 will start and I would like to draw
your attention to the courses offered by our research group.
<br>
<br>
## Bachelor lecture "Logik in der Informatik".
<br>
<br>
Lecture: Mondays 10:00 - 12:00, room HGB 10 (first lecture:
09.10.2023)
<br>
<a class="moz-txt-link-freetext" href="https://moodle.ruhr-uni-bochum.de/enrol/index.php?id=53920">https://moodle.ruhr-uni-bochum.de/enrol/index.php?id=53920</a>
<br>
<br>
<br>
## Master lecture "Computational complexity theory"
<br>
Lecture: Tuesdays and Thursdays, 10:00 - 12:00, Room MC 1.54
(first lecture: 10.10.2023)
<br>
<a class="moz-txt-link-freetext" href="https://moodle.ruhr-uni-bochum.de/enrol/index.php?id=53919">https://moodle.ruhr-uni-bochum.de/enrol/index.php?id=53919</a>
<br>
<br>
<br>
## Bachelor seminar "Perlen der theoretischen Informatik"
<br>
Registration has already closed.
<br>
<br>
<br>
## Master seminar "Learning and Formal Methods"
<br>
This seminar is at the interface of AI, formal methods and
theoretical computer science. It is a joint seminar with Prof.
Dr. Daniel Neider (Verification and Formal Guarantees of Machine
Learning) and Prof. Dr. Jean Jung (Knowledge-Based Systems) at TU
Dortmund. See below for more information on content.
<br>
<br>
Dates:
<br>
- Introduction session: 11.10.2023; 10 am
<br>
- Talks: en bloc in the week 5.2.2024 - 9.2.2024
<br>
<br>
Registration: via email to me (<a class="moz-txt-link-abbreviated" href="mailto:thomas.zeume@rub.de">thomas.zeume@rub.de</a>)
<br>
<br>
<br>
<br>
I wish you a good start to the winter term!
<br>
<br>
Best wishes,
<br>
Thomas Zeume
<br>
<br>
<br>
Seminar "Learning and Formal Methods"
<br>
<br>
Abstract: In this seminar we will explore recent advances in how
(1) formal descriptions and models can be learned from data; and
how (2) methods from theoretical computer science can be used to
understand the power of models used in machine learning, such as
(graph) neural networks.
<br>
<br>
Learning formal descriptions and models from data has many
applications in areas such as formal verification, databases,
artificial intelligence, and knowledge representation. A typical
challenge in these areas is to design algorithms that learn
logical formulas, queries, or specifications from user-provided
data.
<br>
<br>
On the other hand, theoretical computer science provides the means
to understand the power of typical models used in machine
learning. For example, the power of graph neural networks has
recently been related to the computational power of classes of
circuits and to the expressive power of logics.
<br>
<br>
In the seminar, we will survey the recent literature on these
aspects. Most topics will be of rather theoretical nature (in the
sense of theoretical computer science), but there will also be
some more practical topics.
<br>
<br>
The seminar is aimed at Master students of Computer Science, ITS,
and Mathematics.
<br>
<br>
<br>
</blockquote>
<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> Fakultät für Informatik /
Studienfachberatung Angewandte Informatik </b></font><br>
MC 1/36 <br>
Postfach 1 / Dekanat <br>
Tel.: 0234/32-27685 <br>
Dienstzeiten: Mo, Mi und Do 7:30-16 Uhr; Di* und Fr* 7:30-12:30
Uhr <br>
*HomeOffice <br>
</div>
</body>
</html>