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