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