Selected Topics in Specification and Testing Dominic Steinhöfel + Andreas Zeller


Presenters for May 17th and 31st -- One slot still free!

Written: 03.05.2021 17:06
Modified: 03.05.2021 17:07
Written By: Dominic Steinhöfel

Dear all,

we already have three presenters for the aforementioned seminar sessions:

May 17th: Rutuja
May 31st: Johannes (QuickSpec) and Kevin (Summaries for String Loops).

Although we only have one paper for May 17th, we still need a second presenter! I apologize for not having mentioned this during the session just now.

If you would like to volunteer for May 17th, please write me an e-mail. Although I have mixed feelings about first-come-first-serve, I think it's acceptable for this occasion (and we've anyway already been practicing this throughout the seminar) ;) However, I will prefer volunteers not having presented so far. Remember that after the seminar, everybody needs to have given two short presentations.

Best Regards,

Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators