Home
2020
Sequential Problems
Training Phase
LTL problems
Reachability problems
Problem Description
Overview
C99 Code
Java Code
Parallel Problems
Training Phase
LTL Problems
CTL Problems
Problem Description
Participation
Call for Participation
How to proceed
Challenge Rules
Rewards & Achievements
Submission
Event
Organization
Results
Updates
Jan. 12th, 2021:
Results
online
Oct. 2nd, 2020:
Parallel problems
released
Sept 8th, 2020:
Submission dates changed (see below)
July 27th, 2020:
Sequential challenge
problems released. Parallel problems will follow soon.
July 17th, 2020:
Submission dates changed (August → September)
May 18th, 2020:
Sequential training problems
released
May 5th, 2020:
Important dates announced
Important Dates:
Dec. 14th, 2020:
RERS event (held virtually)
Nov. 15th, 2020:
Submission, parallel tracks
Oct. 9th, 2020:
Final submission, sequential
Oct. 2nd, 2020:
Initial submission, sequential
Oct. 2nd, 2020:
Parallel problems
July 27th, 2020:
Sequential problems
May 18th, 2020:
Training problems
Contact
For any questions and inquiries, please contact us at
info@rers-challenge.org
.