Yliès Falcone – Runtime Verification 2016 (RV'16) https://rv2016.imag.fr The 16th International Conference on Runtime Verification, September 23-30 2016, Madrid, Spain Sun, 19 Mar 2017 07:49:50 +0000 en-US hourly 1 https://wordpress.org/?v=5.1.18 RV 16 proceedings available https://rv2016.imag.fr/?p=396 Tue, 20 Sep 2016 07:30:58 +0000 https://rv2016.imag.fr/?p=396 The conference proceedings are available and can be downloaded for free from the Proceedings page.

]]> Programme is online https://rv2016.imag.fr/?p=347 Mon, 08 Aug 2016 10:06:52 +0000 https://rv2016.imag.fr/?p=347 RV 2016 programme is online.

]]> List of accepted papers is online https://rv2016.imag.fr/?p=375 Wed, 20 Jul 2016 12:20:50 +0000 https://rv2016.imag.fr/?p=375 The list of papers selected by the programme committee of RV 16 is online.

]]> Summer School – 20 grants available https://rv2016.imag.fr/?p=222 Mon, 23 May 2016 14:13:26 +0000 https://rv2016.imag.fr/?p=222 A maximum of 20 grants of 550 euros will be allocated by the COST association in the context of the COST action ARVI to help the participation of Ph.D. students to the summer school.

]]> CRV 16 announced https://rv2016.imag.fr/?p=193 Mon, 09 May 2016 09:34:37 +0000 https://rv2016.imag.fr/?p=193 Information about CRV 2016, The 3rd International Competition on Runtime Verification, in Association with COST Action “Runtime Verification beyond Monitoring” is online and available at https://rv2016.imag.fr/?page_id=188.

]]> Deadlines extended https://rv2016.imag.fr/?p=176 Mon, 09 May 2016 07:12:30 +0000 https://rv2016.imag.fr/?p=176 Following several requests, the deadlines have been extended as follows:

  • Abstract deadline: May 20, 2016 (AoE)
  • Paper and tutorial deadline: May 27, 2016 (AoE)
  • Tutorial notification: June 15, 2016
  • Paper notification: July 18, 2016
]]> Submissions open https://rv2016.imag.fr/?p=166 Sat, 23 Apr 2016 08:30:17 +0000 https://rv2016.imag.fr/?p=166 Submissions to RV 2016 is now open.

Instructions for submitting paper are available at https://rv2016.imag.fr/?page_id=160

]]> Summer School information online https://rv2016.imag.fr/?p=168 Sun, 10 Apr 2016 08:30:39 +0000 https://rv2016.imag.fr/?p=168 Preliminary information about the 1st International Summer School on Runtime Verification is online and available at https://rv2016.imag.fr/?page_id=128

]]> Call for Papers announced https://rv2016.imag.fr/?p=96 Thu, 14 Jan 2016 06:54:17 +0000 https://rv2016.imag.fr/?p=96 RV 2016 Call for Papers is announced.

]]> Important dates announced https://rv2016.imag.fr/?p=92 Wed, 13 Jan 2016 15:14:21 +0000 https://rv2016.imag.fr/?p=92 Important dates of RV 2016 are announced.

]]>