The kick-off meeting of the EU COST Action Runtime Verification beyond Monitoring (ARVI) has taken place in Brussels in December 2014. Prof. Martin Leucker was elected as the chair of this action and the University of Lübeck became the grant holding institution.
