Dear Staff and Students,
At this Tuesday's (6 July 2021) SWT webinar at 16:00 (CEST), the conversation on "How to engineer quality into complex digital systems?” will continue with Prof. Gerald Lüttgen and our guest Prof. Joost-Pieter Katoen (RWTH Aachen Uni., DE) from a formal-methods perspective.
Further details about the guest, a link to join the webinar, and how to log in to Zoom with your University of Bamberg account can be found at
https://www.uni-bamberg.de/swt/joinwebinar.
Kind Regards,
Jin