Cunning Plans for the Future

CASC

• CASC is the world championship for ATP
• New THF division started at CASC-22
• Come see the action tomorrow!
• Demonstration this year, real competition next year
• Hoping for the same stimulating effect as for first-order ATP

THF and THFX

• Provides for the expected demand for richer features
• Languages already defined
• Problems being collected - contributions solicited