[AI-announce] Courses of the research group "Logic and Formal Verification" in winter term 23/24

[Thomas Zeume]

Dear students,

Soon the winter term 2024/2025 will start and I would like to draw your 
attention to the courses offered by our research group.

## Bachelor lecture "Informatik 3: Theoretische Informatik".

Lectures: Tu 12-14 in HZO30, Thu 10-12  in HZO30
First lecture: 08.10.2024

Moodle: https://moodle.ruhr-uni-bochum.de/course/view.php?id=60205


## Master lecture "Computational complexity theory"

Lectures: Mo 12-14 in MC 1.54, Thu 14-16 in MC 1.54
First lecture: 07.10.2024

Moodle: https://moodle.ruhr-uni-bochum.de/course/view.php?id=60206


## Bachelor seminar "Perlen der theoretischen Informatik"
Registration has already closed.


I wish you a good start to the winter term!

Best wishes,
Thomas Zeume

-- 
Prof. Dr. Thomas Zeume
Logic and formal verification

Faculty of Computer Science
Ruhr University Bochum
Universitätsstraße 150
44801 Bochum

Phone: +49 (0)234 32-19609
Mail: thomas.zeume at rub.de