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.