Dear Students,
We would like to invite you to the upcoming presentation within the seminar
------------------------------
Packaging Deep Statistical Model Checking
-------------------------------
that will be held by Ivo Hoese as his Bachelor's proposal talk.
The talk will take place on August 20, 11.00 am (sharp!) in Campus D3.2 (DFKI), VisRoom (NB -1.63). If you don’t know where the room is, be at the DFKI Foyer at 10.50 am and we will guide you to the room.
Please be reminded that participation is mandatory, and if you have an urgent reason not to attend, you need to inform us in advance. Make sure to be on time.
See you next week,
the NMMoSi-team
-- –––––––––––––––––––––––––––––––––––––––––––––––––––––– Timo P. Gros, M.Sc. Deputy Head | Lab Manager Neuro-Mechanistic Modeling (NMM)
[Ein Bild, das Text, Schrift, weiß, Screenshot enthält. Automatisch generierte Beschreibung]
German Research Center for Artificial Intelligence GmbH (DFKI) Campus D 3.2 66123 Saarbrücken Germany
T. +49 681 857755375 –––––––––––––––––––––––––––––––––––––––––––––––––––––– German Research Center for Artificial Intelligence GmbH Head Office: Trippstadter Straße 122, D-67663 Kaiserslautern Managing Directors: Prof. Dr. Antonio Krüger (Chair), Helmut Ditzer Chairman of the Supervisory Board: Dr. Ferri Abolhassan District Court Kaiserslautern, HRB 2313 –––––––––––––––––––––––––––––––––––––––––––––––––––––– Website: https://www.dfki.de
