On Wednesday, July 17th, Viktor Tran will give an intermediate presentation on his masters thesis titled Pareto-optimale SAT-basierte Testmustererzeugung (in German). The talk starts at 10am in our seminar room (P1.6.17.1). Everyone interested is cordially invited to join!
