| What | When | Where |
|---|---|---|
| System submission for TPTP problem rating (optional) | 1st May | Email to Organizers |
| System registration deadline | 29th June | CASC, ProoVer |
| System descriptions deadline | 13th July | Email to Organizers |
| CASC sample solutions deadline | 13th July | Email to Organizers |
| Entrant registration | 13th July | CASC, ProoVer |
| System delivery deadline | 13th July | |
| CASC soundness testing reports | 20th July | |
| CASC unsoundness repairs completed | 15th July | |
| Dinner | Prolly 26th July | TBA |
| T-shirt and Goodies distribution | At the dinner | |
| Sale of gambling tickets | At the dinner, and beyond | |
| Start of competition | 10:00am, 27th July | TBA |
| Trophy presentation | TBA | TBA |