F. M. Batista et al.,  15th Symp. on Languages, Applications and Technologies (SLATE 2026), Dagstuhl, Germany, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, 2026