Savarese, N.; Elsass, P.; Pradier, J.-M. Report on the 5th Session of ISTA. JTA 2022, 184-193.