Good morning (or evening, how should I know? *g*)
You might have noticed that we will have a HOL Challenge again this year. However, -I- have noticed that there are almost 80 teams already. Crazy. We haven't even announced that yet (properly).
The HOL Challenge will begin on October 6th, Midnight HOL Time. Before that day nothing will be revealed - the tasks are supposed to be secret and they will be secret because only very few people will know what they are like.
You can join in teams now already. If you do not "lock" your team before October 6th, you can make changes (name, members) until that day. There is no need to hurry, there are unlimited spots in the HOL Challenge.
Regarding Team Names... we do not allow double names (also no close doubles) and of course no inappropriate names. If your chosen team name falls under these exceptions you will find it renamed to "RENAME YOUR TEAM" in the list - then please do so! In case of a double or close double, the first one registered will stay - trying to be fair here.
Everything else regarding the Challenge... please find on the main HOL Pages.