On Thursday, May 16, there are two presentations as part of our research seminar:
- Jan Dennis Reimer will give an intermediate presentation on his masters thesis SAT-basierte Modellierung und Analyse von Verzögerungsfehlern mit variabler Größe,
- Yuan Zhang will give an intermediate presentation on his masters thesis Convolutional Compaction for Faster-than-At-Speed-Test.
The presentations will start at 9:30 am in our seminar room (P1.6.17.1). Everyone interested is cordially invited to join!