Updates

Important Dates:

  • Oct. 30 – Nov. 13 (tba), 2018:
       RERS at ISoLA'18
  • Oct. 01 – Oct. 14, 2018:
       Solution Submission
  • Aug. 20, 2018:
       Release Parallel LTL
  • Jul. 18, 2018:
       Release Sequential LTL and
       Sequential Reachability
  • Jul. 18, 2018:
       Training benchmarks
       available

The RERS Challenge @ ISoLA 2018

The official meeting of the RERS community will take place at ISoLA 2018,
Limassol, Cyprus, Oct. 30 – Nov. 13, 2018.

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