Elena Priss gives her intermediate talk of the bachelor thesis on Tuesday, 18th May at 11:00am (after Amjad Alsati) in Skype. The title of the bachelor thesis is:
"Incremental SAT-Instance generation for FAST with PADERSAT".
The talk will be held in german.
Everybody interested is invited to participate in the talk.