CASC-28
The CADE-28 ATP System Competition
History and Motivations
Design and Organization
6 Divisions
22 Entrants
12220 Problems
32 Computers
7 Awards
5 Organizers
Results
The THF Division
The FOF Division
The FNT Division
The UEQ Division
The SLH Division
The LTB Division
Stimulating Research
Conclusions
The End ... Questions?
