1st symposium on languages, applications and technologies SLATE'12, June 21-22, 2012, Braga, Portugal - Simões, Alberto; Queirós, Ricardo (Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2012)