Planned Lectures in Software Engineering and Programming Languages.

On this page you find a list of the lectures planned in the upcoming terms.

The following courses are given regularly:

Bachelor

half module

Introduction to Logic Programming

each winter term

half module

Compiler Construction

each winter term

half module

From NAND to Tetris

each summer term

Master

half module

Functional Programming

each winter term

half module

Safety Critical Systems

each winter term

half module

Modelchecking

each summer term

half module

Dynamic Programming Languages

each summer term

half module

Advanced Logic Programming

each summer term

(except those where we are assigned computer science 4)

Responsible for the content: E-MailWE Informatik