Competition

event

Visible to the public  RERS 2017
Jul 12, 2017 7:00 am - Jul 12, 2017 6:00 pm PDT

Submitted by Anonymous on Tue, 03/28/2017 - 1:00pm

International Challenge on the Rigorous Examination of Reactive Systems 2017 (RERS)

co-located with ISSTA and SPIN 2017

event

Visible to the public  VerifyThis 2017
Apr 22, 2017 7:00 am - Apr 23, 2017 6:00 pm CEST

Submitted by Anonymous on Mon, 03/06/2017 - 3:37pm

VerifyThis Verification Competition 2017

ABOUT

VerifyThis 2017 is a program verification competition taking place as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2017) on April 22-23, 2017 in Uppsala, Sweden. It is the 6th event in the VerifyThis competition series.

event

Visible to the public  Submission Deadline for Task 1 of the CAT Vehicle Challenge
Jan 31, 2017 11:30 pm - 11:45 pm PST

Submitted by sprinkle on Fri, 01/20/2017 - 6:40pm

Submit your .tgz for the CAT Vehicle Challenge Task 1 at this webform. The purpose of Task 1 is to gather team information, and therefore the estimated time to complete Task 1 is a little more than 1 hour.

event

Visible to the public  CRV 2016
Sep 23, 2016 7:00 am - Sep 30, 2016 6:00 pm CEST

Submitted by Anonymous on Tue, 05/17/2016 - 3:18pm

The 3rd International Competition on Runtime Verification (CRV 2016)

held with RV 2016
In Association with COST Action "Runtime Verification beyond Monitoring"
September 23-30 2016 | Madrid, Spain | https://rv2016.imag.fr/?page_id=188