Challenges

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 - Challenges


Comments