Author Archives: Volker Stolz
The next meeting will take place right before the iFM conference in Torino! Date: 18. September 2017, program. Local organiser: Ferruccio Damiani, U. Torino.
The days for the next meeting have been fixed: 8./9. June 2017, Lisbon (PT) The Lisbon Meeting (RV Group Work) will take place at the Faculdade de Ciências da Universidade de Lisboa (Faculty of Sciences of University of Lisbon), located … Continue reading
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
PhD positions, application deadline: 1. Nov. https://www.jobbnorge.no/ledige-stillinger/stilling/129123/phd-research-fellow-positions-in-ict-engineering Post-Doc positions, application deadline: 15. Oct. https://www.jobbnorge.no/ledige-stillinger/stilling/129405/postdoctoral-researchers-in-computer-science-informatics-on-continuous-observation-of-embedded-multicore-systems HiB is a partner in the EU Horizon 2020 project COEMS – Continuous Observation of Embedded Multicore Systems, which has recently been funded with 3.9M EUR … Continue reading
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.
This meeting is co-located with iFM 2016. The event will be held in conjunction with the PrePost workshop at iFM 2016. More info.
1st Summer School on Runtime Verification co-organized and sponsored by the COST Action IC1402 ArVi September 23-25, Madrid, Spain We are excited to announce the first edition of the RV Summer School: Branches of practical topics rooted in theory, sponsored by COST Action IC1402 … Continue reading
The next ARVI meeting will be held in Tallinn, Estonia, Thu-Fri 10-11 Dec. 2015. The details are here.
On June 23rd, Prof. Martin Leucker and Daniel Thoma gave a full-day tutorial on the Theory and Practice of Runtime Verification at the Formal Methods conference in Oslo, Norway.
The next general meeting will take place on Monday, 21 September 2015 in Vienna, right before the Runtime Verification conference.