================================================ 13TH INTERNATIONAL SCHOOL ON FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN ================================================ FOSAD 2013 http://www.sti.uniurb.it/events/fosad13 2-7 September 2013, Bertinoro, Italy *** in cooperation with *** NESSOS and CryptoForma ** Application Deadline: June 20, 2013 LECTURERS> * Gilles Barthe (IMDEA Software, SP) * Bruno Blanchet (Inria Paris Cedex, FR) * Javier Lopez (University of Malaga, SP) * John Mitchell (Stanford University, US) * Kenny Paterson (Royal Holloway, University of London, UK) * Frank Piessens (Katholieke Universiteit Leuven, BE) * Bogdan Warinschi (University of Bristol, UK) FOSAD has been one of the foremost events established with the goal of disseminating knowledge about foundations of security analysis and design to graduate students and young computer scientists from academia or industry. The 13th edition of FOSAD alternates monographic courses, tool presentations, and special sessions for participants who intend to take advantage of the audience for presenting their current research/tool in the area. Scientific Committee: Martin Abadi Roberto Gorrieri Alessandro Aldini Javier Lopez Gilles Barthe Fabio Martinelli (chair) Eerke Boiten Catherine Meadows Sandro Etalle SCHOOL VENUE> The school is organized at the University Residential Center of Bertinoro (CEUB), Italy (http://www.ceub.it/). The host venue provides accommodation, meeting rooms, and modern conference facilities with computing services and Internet access. SCHOOL DATES> Prospective participants should apply through the FOSAD web page by: June 20, 2013. Notification of accepted applicants will be posted by: June 25, 2013. Registration to the school is due by: July 20, 2013. SCHOOL FEES> The full fee is 900 Euros and covers costs for 7 nights, starting from 1 September, in double room, half board (breakfast and lunch), dinner of 1 September included. A limited amount of grants will be provided to cover part of the fee for young researchers. SCHOOL PARTNERS> FOSAD 2013 is organized in cooperation with the Network of Excellence on Engineering Secure Future Internet Software Services and Systems (NESSoS, http://www.nessos-project.eu) and with the EPSRC CryptoForma network on the application of formal methods to cryptography (http://www.cryptoforma.org.uk).