I missed these a couple of months ago when they came out. But, if you are looking for something to do this Labor day (in the US anyway, I’m currently in the UK and finding it difficult not to write “Labour”), here are the problems for the 47^th International Mathematical Olympiad (IMO): day 1 and day 2. Have fun!