2nd Symposium on Languages, Applications and Technologies (SLATE 2013) SLATE’13, June 20-21, 2013, Porto, Portugal - Leal, José Paulo; Rocha, Ricardo; Simões, Alberto (OASIcs - OpenAccess Series in Informatics, 2013)