Am Montag, den 27.09.2021um 10:00 Uhr hält Elena Priss den Abschlussvortrag 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 teilzunhemen.