Am Dienstag, den 18.05.2021 um 11:00 Uhr (nach Amjad Alsati) hält Elena Priss den Zwischenvortrag zu ihrer Bachelorarbeit mit dem Titel:
"Inkrementelle SAT-Instanz Generierung für den Hochgeschwindigkeitstest mit PADERSAT".
Der Vortrag findet in Skype (wie gewohnt) statt und wird auf deutsch gehalten.
Alle Interessierten sind eingeladen am Vortrag teilzunehmen.