Updates

  • 10/04/15 Results up
  • 10/02/15 Solutions for challenge up
  • 09/05/15 RV traces and ext. file released
  • 08/26/15 Submission opened, RV dates updated
  • 07/18/15 RV training traces
  • 05/15/15 Training solutions up

Important Dates:

  • 05/15/15
       Solutions Training Phase
  • 08/01/15 - 09/04/15
       White Box Submission
  • 09/05/15
       Release Monitoring Input
  • 09/08/15
       RV Submission

Imprint

RERS is initiated and hosted by:                                                                                          

Bernhard Steffen
Chair of Programming Systems
Department of Computer Science
TU Dortmund
Otto-Hahn-Straße 14
44227 Dortmund

Contact: Bernhard Steffen
Tel.: +49 (0) 231 755 5800
Fax.: +49 (0) 231 755 5802

Thanks for the header image goes to Gerwin Sturm from Vienna, Austria (Vienna @ Night) [CC BY-SA 2.0], via Wikimedia Commons.