Updates

  • Feb. 01, 2019:
       Sequential and industrial
       challenge problems released
  • Feb. 01, 2019:
       Parallel challenge problems    will be released asap
  • Jan. 25, 2019:
       Training problems
       now available

Important Dates:

  • Apr. 06 – 7, 2019:
       RERS at TACAS'19
       (TOOLympics)
  • Mar. 22, 2019:
       Solution submission
  • Feb. 01, 2019:
       Release of challenge
       problems
  • Jan. 25, 2019:
       Training problems
       available

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