Prog-Crit-TAIC-2024.pdf