7th Symposium on Languages, Applications and Technologies SLATE 2018, June 21–22, 2018, Guimarães, Portugal - Henriques, Pedro Rangel; Leal, José Paulo; Leitão, António Menezes; Gómez Guinovart, Xavier (Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2018)