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)
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: