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

The RERS Challenge @ TACAS 2019

Part of TOOLympics

The official meeting of the RERS community will take place at TACAS'19, Prague, Czech Republic, April 6 – 7, 2019. The precise date will be announced here once available.

During this event, the RERS'19 ranking and earned achievements will be revealed. In addition, participants are invited to briefly present their approach.