On Thursday, May 3rd, Moritz Schniedermann will give an intermediate talk about his masters thesis SAT-basierte Testmustererzeugung für Verzögerungsfehler (in German). The talk will be held at 9:30am in our seminar room (P1.6.17.1). Everyone interested is cordially invited to join the talk!
