===========================================================================

                       (Apologies for multiple copies)

             %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
            %                                                  %
            %           11TH INTERNATIONAL SCHOOL ON           %
            %   FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN    %
            %  =============================================   %
            %                                                  %
            %                    FOSAD 2011                    %
            %      http://www.sti.uniurb.it/events/fosad11     %
            %                                                  %
            %  29 August - 3 September 2011, Bertinoro, Italy  %
            %                                                  %
            %               *** Announcement ***               %
            %                                                  %
             %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

                  ** Application Deadline: June 30, 2011 **


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.

SCHOOL PROGRAMME> 
The 11th edition of FOSAD alternates monographic courses and special sessions
dedicated to presentations given by participants who intend to take advantage
of the audience for discussing their current research in the area.

Lecturers:

 * Alessandro Aldini (University of Urbino, IT):
   Trade-off Between Security and Performance

 * David Basin (ETH Zurich, CH), Manuel Clavel (IMDEA, ES), 
   and Marina Egea Gonzalez (ETH Zurich, CH):
   Model-Driven Security: Foundations, Tools, and Practice
   
 * Virgil Gligor (Carnegie Mellon University, US):
   On the Foundations of Trust in Computing Systems

 * Fabio Massacci (University of Trento, IT):
   Security Requirements and Compliance

 * Catherine Meadows (Naval Research Laboratory, US):
   Formal Methods and Cryptographic Protocol Analysis

 * Daniele Micciancio (University of California at San Diego, US):
   Lattice Cryptography

 * Catuscia Palamidessi (INRIA Saclay and LIX, FR):
   Quantitative Information Flow

 * Ketil Stoelen (University of Oslo, NO):
   Model-Driven Risk Analysis: the CORAS Approach

Scientific Committee:

Roberto Gorrieri (Chair)     Sandro Etalle
Martin Abadi                 Javier Lopez
Alessandro Aldini            Fabio Martinelli
Gilles Barthe                Catherine Meadows                             


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 30, 2011.
Notification of accepted applicants will be posted by July 7, 2011.
Registration to the school is due by August 1, 2011.


SCHOOL FEES> 
The full fee is 900 Euros and covers costs for 7 nights - starting from
28 August - in double room, half board (breakfast and lunch), dinner of 
28 August included. 

Fund requests are pending. In case of approval, a limited amount of grants 
will be provided to cover part of the expenses.


SCHOOL PARTNERS>
FOSAD2011 is organized in cooperation with the Network of Excellence on
Engineering Secure Future Internet Software Services and Systems (NESSoS).