%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

                 12TH INTERNATIONAL SCHOOL ON
        FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN
        ===========================================
                         FOSAD 2012
          http://www.sti.uniurb.it/events/fosad12

           3-8 September 2012, Bertinoro, Italy

               *** in cooperation with ***
                  NESSOS and CryptoForma

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

         ** Application Deadline: June 30, 2012 **


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 12th edition of FOSAD alternates monographic courses
and special sessions for participants who intend to take
advantage of the audience for presenting their current
research in the area.

Lecturers:

 * Martin Abadi (University of California at Santa Cruz, US)

 * Karthik Bhargavan (INRIA-Microsoft Research Joint Centre, FR)

 * Fabrice Bouquet (FEMTO-ST, FR)

 * Jan Jurjens (Fraunhofer ISST Dortmund, GE)

 * Bart Preneel (KU Leuven, BE)

 * Phillip Rogaway (University of California at Davis, US)

 * Mark Ryan (University of Birmingham, UK)

 * Pierangela Samarati (University of Milan, IT)

Scientific Committee:

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

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

SCHOOL FEES>
The full fee is 900 Euros and covers costs for 7 nights -
starting from 2 September - in double room, half board
(breakfast and lunch), dinner of 2 September included.
A limited amount of grants will be provided to cover
part of the fee for young researchers.

SCHOOL PARTNERS>
FOSAD2012 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).