3rd Symposium on Languages, Applications and Technologies (SLATE 2014) SLATE’14, June 19–20, 2014, Bragança, Portugal - Pereira, Maria João Varanda; Leal, José Paulo; Simões, Alberto (Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2014)