Competition challenges will be posted here. Tentative schedule for April 12th: - Problem 1 announced at 9:00 (60 minutes) - this problem was submitted by Thomas Genet
- Problem 2 announced at 10:15 (60 minutes)
- Problem 3 announced at 11:30 (90 minutes)
Solutions are to be submitted per email to etaps2015@verifythis.org. See also theĀ rules. VerifyThis @ ETAPS 2015 - ChallengesVerifyThis @ ETAPS 2015 - Challenges |