The following courses are regularly offered, every 2nd or 3rd semester.

Both Mathematical Logic and Computational Logic are introductory courses tailored for students of mathematics and informatics respectively. These courses are offered both on the Bachelor and Master level. Model Theory requires some basic knowledge of logic but should be accessible to everybody with only a moderate amount of extra work. Computational Complexity Theory does not require knowledge in logic.

From time to time the following advanced courses are offered

Every semester has the

where members of the chairs, their guests as well as advanced students give talks.

There are two possible focus directions: the complexity theoretic one with Moritz Müller and the geometric one with Tobias Kaiser. For the the latter, there are the following courses:

It is possible to study mathematics in close association to the chair of mathematical logic. This means regular meetings, intensive personal supervision, and, on demand, possible employment as student assistant.

For interested students it is strongly recomended to take Mathematical Logic already during the Bachelor studies, and deepen their understanding by writing a Bachelor Thesis. This allows to start the master program with Model Theory  and Computational Complexity Theory. A Master Thesis in mathematical logic requires a large amount of self study of texts beyond the reach of the courses. Interested students should contact the chair within the first year of their master studies.