Am Donnerstag, den 3. Mai wird Moritz Schniedermann einen Zwischenvortrag zum Stand seiner Masterarbeit mit dem Thema SAT-basierte Testmustererzeugung für Verzögerungsfehler halten. Der Vortrag findet um 9:30 Uhr in unserem Seminarraum (P1.6.17.1) statt. Alle Interessierten sind hierzu herzlich eingeladen!
