Current news



Invited lecture by Dr. Christian Schilling

Dr. Christian Schilling (Aalborg University) will give an invited lecture entitled "Shielded Reinforcement Learning for Hybrid Systems" on Thursday, July 20, 2023 at 15:15 hrs in room PZ 901.

Lecture on Modelling of the Law

Jointly with Rüdiger Wilhelmi, Stefan Leue will give an invited lecture on "Modellierung des Rechts" ("Modelling of the Law") at the Kolloquium "Digitalisierung des Rechts" ("Digitization of the Law") to be held on May 11-12, 2023 at the University of Konstanz.

Lecture on Causality and Repair in Real-Time Systems

During his research stay, Stefan Leue will present an invited lecture on "Causality and Repair in Real-Time Systems" on Tuesday, March 28 at the National Institute of Informatics (NII) in Tokyo. He has already delivered lectures on "Specification-based Repair for Deep Neural Networks" and "Checking Legal Contracts using SMT Solving" at NII during his visit.