Lehrmaterial

Jahrgang 2025

Humml, M., „DIREGA: Formalizing German Register Law“ (presented at seminary of Theoretical Computer Science in WS25/26). Downloads: Slides.

Blöcher, M. „Automated Reasoning with eFLINT and sCASP: Formalization of Commercial Registry Law“ (presented at seminary of Theoretical Computer Science in WS25/26). Downloads: Slides.

Jahrgang 2024

Basaran, O. A. / Rapp, M.., „Methodik der Formalisierung juristischer Inhalte: Prozess, Kriterien, Modelle“ (presented  at bachelors-/mastersthesis-group LawKR). Downloads: Slides.

Adrian, A. / Basaran, O.A./ Dykes, N. / Evert, S./ Gritz, M. / Humml, M. / Kohlhase, M. / Lindner, J. / Maier, A. / Prettner, S. / Rapp, M. / Schröder, L. / Stürmer, V. “DIREGA“ (presented at Denkfabrik Legal-Tech, Bayern) Downloads: Slides.