Author Archives: Volker Stolz

Next meeting: 18. September 2017, Torino (IT)

The next meeting will take place right before the iFM conference in Torino! Date: 18. September 2017, program. Local organiser: Ferruccio Damiani, U. Torino.

Posted in Events | Comments Off on Next meeting: 18. September 2017, Torino (IT)

Next meeting: 8./9. June 2017, Lisbon (PT)

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

Posted in Meetings | Comments Off on Next meeting: 8./9. June 2017, Lisbon (PT)

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)

RV-related PhD and Post-Doc positions in Norway

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

Posted in Uncategorised | Tagged , | Comments Off on RV-related PhD and Post-Doc positions in Norway

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

1st Summer School on Runtime Verification

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

Posted in Events | Tagged | Comments Off on 1st Summer School on Runtime Verification

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

Tutorial on Runtime Verification at FM 2015

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.

Posted in Events | Comments Off on Tutorial on Runtime Verification at FM 2015

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