Formal Methods for Trustworthy AI-based Autonomous Systems

Workshop organized by the National Institute of Informatics, Japan (Ichiro Hasuo), the University of Oslo, Norway (Einar Broch Johnsen) and the University of Lübeck, Germany (Martin Leucker)
The automation of functions in smart, autonomous cyber-physical systems already affect our society in many application domains such as autonomous driving, robotics, industrial IoT and smart manufacturing, smart medical devices and healthcare, and smart energy grids.
The aim of this seminar is to get some fundamental insights to FM for AI. Leading researchers in FM and machine learning/AI will give mini-tutorials on topics such as
„Formal modelling languages capable of expressing key properties related to trustworthiness of AI-based autonomous systems with learning components“ or „Novel methods to enforce correctness requirements both during design and at runtime to achieve overall autonomic correctness, including properly balancing between them“
https://shonan.nii.ac.jp/seminars/178/
- News
- Research
- Teaching
- Staff
- Martin Leucker
- Diedrich Wolter
- Ulrike Schräger-Ahrens
- Mahmoud Abdelrehim
- Aliyu Ali
- Phillip Bende
- Moritz Bayerkuhnlein
- Marc Bätje
- Tobias Braun
- Gerhard Buntrock
- Raik Dankworth
- Anja Grotrian
- Raik Hipler
- Elaheh Hosseinkhani
- Frauke Kerlin
- Karam Kharraz
- Mohammad Khodaygani
- Ludwig Pechmann
- Waqas Rehan
- Martin Sachenbacher
- Andreas Schuldei
- Inger Struve
- Annette Stümpel
- Gesina Schwalbe
- Tobias Schwartz
- Daniel Thoma
- Sparsh Tiwari
- Lars Vosteen
- Open Positions
- Contact
Overview
Director
Prof. Dr. Martin Leucker
Address
Institute for Software Engineering and Programming Languages
Building MFC II
Maria-Goeppert-Str. 3
23562 Lübeck
Contact
E-Mail: office [at] isp.uni-luebeck.de
Phone: +49 451 3101-6501