Runtime Verification Bernd Finkbeiner

News

First Reading Group

Written: 04.03.2017 16:24 Written By: Hazem Torfah

Dear Students, 

our first reading group session starts on Monday at 9:15 in Room 1.06. The session will be moderated by your colleagues Carolyn, Nora and Christopher, who will give a short introduction to our first topic, followed by a joint discussion. 

In order to have a fruitful discussion, we kindly ask you to prepare a list of questions, that you would like to clarify and some aspects of which you think we should go more into detail.

We are looking forward to seeing you again
Your RV-Seminar Team    



If you encounter technical problems, please contact the administrators