School on Foundations of Security Analysis and Design,  3-8 September 2012, Bertinoro, Italy
http://www.sti.uniurb.it/events/fosad12

This year edition is organized in cooperation with NESSoS project.