II. School of Computing Science, Business Administration, Economics, and Law

Department of Computing Science

Teaching

Head

Prof. Dr. Heike Wehrheim

Secretary

Marion Bramkamp

Uhlhornsweg 84 — Room A2 2-228

+49 441 798-4522

Teaching

Lectures

Summer term 2023

2.01.1011 Oberseminar Formale Methoden

2.01.410 Formale Methoden: Petrinetze, Prozessalgebren & Co.

2.01.481 Software Analysis

2.01.490 Seminar: Logical Methods in AI Verification and Explanation

2.01.801-B Forschungsseminar Formale Methoden

(Changed: 19 Dec 2022) |