Conveners
Meet the RC Trust: Scientific Session
- Emmanuel Müller
Description
We would like to introduce our research center to you. Hence, if you want to meet and network with us beforehand, we start at 10:00 in the same lecture hall (E23 in OH14) with four introductory talks by Prof. Daniel Neider, Prof. Alexander Marx, Jan Corazza and Prof. Emmanuel Müller.
Agenda:
-
Emmanuel Müller: Vorstellung RC Trust und dann Forschung zum Thema "Trustworthy Machine Learning"
-
Daniel Neider: "Neural Networks with Safety Nets: A Neuro-Symbolic Framework for Neural Network Verification"
-
Alexander Marx: How Causality can Contribute to Trustworthy AI
-
Jan Corazza: "Formal Methods in Reinforcement Learning"
