Prof. Tinelli was a keynote speaker at SAT 2024, the 27th International Conference on Theory and Applications of Satisfiability Testing, in Pune, India.