First Summer School on Runtime Verification
From the 23rd to the 25th of September, the first summer school on runtime verification will take place. The summer school will be co-located with the 16th International Conference on Runtime Verification in Madrid, Spain. More information can be found here.
Prof. Dr. Martin Leucker
Institut für Softwaretechnik und Programmiersprachen
Ratzeburger Allee 160
E-Mail: office [at] isp.uni-luebeck.de
Phone: +49 451 3101-6501