12th Symposium on Languages, Applications and Technologies SLATE 2023, June 26–28, 2023, Vila do Conde, Portugal - Simões, Alberto; Berón, Mario Marcelo; Portela, Filipe (Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2023)