Prof. Tinelli was a co-chair of the CADE 29, the 29th International Conference on Automated Deduction, in Rome, Italy.