Category Archives: Meetings

Next meeting: 16./17. March 2017, Prague (CZ)

With the ARVI training school and the RV conference, we’re coming to the end of the activities this year. The next meeting will take place March 2017 in Prague, after the M24 progress report due in December. More info is … Continue reading

Posted in Meetings | Comments Off on Next meeting: 16./17. March 2017, Prague (CZ)

MC Meeting Reykjavik ’16 Agenda and Protocol

Sunday 5th June 2016, RU, Reykjavik Chair: Martin Leucker, minutes: Volker Stolz Welcome to participants Verification of the presence of two-thirds of the Participating COST Countries or, if applicable, a quorum – Countries represented: RS,MT,IT,CZ,IS,PT,UK,FR,ES,SE,LT,CH,NO,IL,DE,NL Adoption of agenda – unanimous … Continue reading

Posted in MC Meeting Minutes | Comments Off on MC Meeting Reykjavik ’16 Agenda and Protocol

Next meeting: 26. September, Madrid

The next meeting will be held in conjunction with the RV’16 conference and the 1st COST ARVI summer school in Madrid, Spain, on September 26th. Schedule.

Posted in Meetings | Comments Off on Next meeting: 26. September, Madrid

Next Meeting: June 4-5, Reykjavik

This meeting is co-located with iFM 2016. The event will be held in conjunction with the PrePost workshop at iFM 2016. More info.

Posted in Meetings | Comments Off on Next Meeting: June 4-5, Reykjavik

2015 MC Meeting Tallinn, Minutes

Protocol of the management meeting, 11.12.2015, 14:00. Meeting’s moderator: Martin Leucker. The discussion followed the pre-announced agenda, convering the following 16 points: Minutes: Martin Steffen (NO) 1. Welcome: done 2. Quorum: as far as members of the management committee are concerned: … Continue reading

Posted in MC Meeting Minutes | Comments Off on 2015 MC Meeting Tallinn, Minutes

WG Meeting: 10-11 Mar. 2016, Barcelona

A workgroup- and coordination meeting for the upcoming summer school will take place in Barcelona at the UPC March 10th/11. Keep in mind that we have no local member of the Action in Barcelona, so please be flexible and patient … Continue reading

Posted in Meetings | Comments Off on WG Meeting: 10-11 Mar. 2016, Barcelona

Next meeting: 10-11 Dec. 2015, Tallinn

The next ARVI meeting will be held in Tallinn, Estonia, Thu-Fri 10-11 Dec. 2015. The details are here.

Posted in Events, Meetings | Comments Off on Next meeting: 10-11 Dec. 2015, Tallinn

MC Meeting Vienna ’15 Agenda and Protocol

September 21st 2015, TU Wien, Vienna Chair: Martin Leucker, minutes: Volker Stolz, Martin Steffen Countries represented: AT,PT,RS,IE,MT,IT,FR,NL,MK,CZ,IS,DE,LU,UK,ES,LT,EL,NO,IL,EE Agenda new countries: CZ, Israel; Romania discussion ongoing Budget for meetings so far: Malta: 25k EUR/20 ppl, Vienna: 30 ppl STSMs: 1 STSM … Continue reading

Posted in MC Meeting Minutes | Comments Off on MC Meeting Vienna ’15 Agenda and Protocol

Next meeting: 21 Sept. 2015, Vienna

The next general meeting will take place on Monday, 21 September 2015 in Vienna, right before the Runtime Verification conference.

Posted in Meetings | Comments Off on Next meeting: 21 Sept. 2015, Vienna

Successful scientific kick-off for ARVI in Malta

The first scientific meeting of the Action hosted by Christian Colombo at the University of Malta saw 26 international participants.

Posted in Meetings | Comments Off on Successful scientific kick-off for ARVI in Malta