[Progmat23] Fwd: Dagstuhl Reports/23091 - Documentation of your seminar