On Thursday, December 7, the following talks will be given as part of our research seminar:
Jan Dennis Reimer will talk about his work as a student assistant in our group
Moritz Schniedermann will give an intermediate talk about the state of his masters thesis SAT-basierte Testmustererzeugung für Verzögerungsfehler
The talks will start at 11am in our seminar room (P1.6.17.1). Everyone interested is cordially invited to join!