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

Organization

For any questions and inquiries, please contact us at info@rers-challenge.org.                                         

RERS 2018 Organizers

    Scientific committee: Benchmark generation committee:
    • Sequential benchmarks: Malte Mues, Technische Universität Dortmund, Germany
    • Parallel benchmarks: Marc Jasper, Technische Universität Dortmund, Germany
    Publicity committee:
    • Jeroen Meijer, University of Twente, the Netherlands