News

First SFB 901 Se­mi­nar in sum­mer se­mes­ter 2022

On May 4, 2022, the 1st SFB 901 seminar in the summer semester will take place.

4:00 - 5:00 subproject B1
Moderators: Prof. Dr. Michaela Geierhos + Joschka Kersting
Topic: Chatbot-Enhanced Requirements Resolution for Automated Service Compositions

5:00 - 6:00 subproject B4
Moderators: Prof. Dr. Heike Wehrheim + Prof. Dr. Eric Bodden + Felix Pauck + Philipp Schubert
Topic: Validating & Verifying Certain Properties of Services and Service Compositions