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