-
Recent Posts
Archives
Meta
Author Archives: Volker Stolz
Post-doctoral Fellow Position on Formal Methods and Model-driven Software Engineering
Western Norway University of Applied Sciences (HVL), Faculty of Engineering and Natural Sciences has an open position as a post-doctoral researcher for two years. The post-doctoral position is linked to the EU Horizon 2020 project COEMS – Continuous Observation of … Continue reading
Posted in Uncategorised
Comments Off on Post-doctoral Fellow Position on Formal Methods and Model-driven Software Engineering
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 coems, PhD
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
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.
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