Category Archives: Uncategorised

RV Summit, 19-23 March 2018: Praz sur Arly (near Grenoble), France

Our next meeting will be the RV Summit. It will be held on 19-23 March 2018 in Praz sur Arly (near Grenoble), France. Organizer: Yliès Falcone (Univ. Grenoble Alpes, Inria, France). The page of the event is available here.

Posted in Uncategorised | Comments Off on RV Summit, 19-23 March 2018: Praz sur Arly (near Grenoble), France

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

Working Group 3: Memorandum Description

[The following is verbatim from the MoU of the action IC1402] This group will study novel and challenging computational domains for runtime verification and monitoring that result from the study of other application areas than programming languages. The objectives of … Continue reading

Posted in Uncategorised | Comments Off on Working Group 3: Memorandum Description