1st Symposium Formal and Semi-formal Methods in Architecture 16 - 17 of May 2011 ORGANIZATION AND COMMITTEES PROGRAMME PRESENTATIONS This symposium was a joint initiative between the following departments of ESAP: