SOPhiA 2018, Salzburg, 12–15 September. tr 2024, 12 (11).