** Application Deadline: June 30, 2010 **

	    %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
	    %                                                   %
	    %           TENTH INTERNATIONAL SCHOOL ON           %
	    %    FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN    %
	    %   ==============================================  %
	    %                                                   %
	    %                    FOSAD 2010                     %
	    %       http://www.sti.uniurb.it/events/fosad10     %
	    %                                                   %
	    %       6 - 11 September 2010, Bertinoro, Italy     %
	    %                                                   %
	    %               *** Announcement ***                %
	    %                                                   %
	    %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


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 10th edition of FOSAD alternates monographic courses of 4 hours 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:

  * Veronique Cortier (CNRS at Loria, France):
    Verification of security protocols: from symbolic models to cryptography

  * George Danezis (Microsoft Research Cambridge, UK):
    Bayesian approaches to the traffic analysis of anonymous communications

  * Riccardo Focardi (University Ca' Foscari, Venezia, Italy):
    Analysis of security APIs

  * Cédric Fournet (Microsoft Research Cambridge, UK):
    Cryptographic verification of protocol implementations by typechecking

  * Hugo Krawczyk (IBM Research, USA):
    Key exchange and provable security

  * Fabio Martinelli (CNR-IIT Pisa, Italy):
    Usage control in distributed systems

  * Paul Syverson (Naval Research Laboratory, USA):
    Theory and design of low-latency anonymity systems

  * Gene Tsudik (University of California at Irvine, USA):
    Privacy-preserving set operations

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


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

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


SCHOOL SPONSORSHIP>
FOSAD is under the auspices of:
  * CNR-IIT, Pisa
  * EATCS - IT
  * EEF
  * ERCIM STM WG
  * IEEE CS - IT
  * University of Bologna


SCHOOL PARTNERS>
SecVote 2010: 1-4 Sep 2010, Bertinoro, Italy
          http://secvote2010.uni.lu/
Overview:
The summer school SecVote will cover the foundations of secure voting,
as well as examine recent developments in the field of e-voting.
The program consists of 3 main topics:
- Cryptographic support for voting
- Formal analysis/verification of voting system security
- In-depth examination of current voting systems in literature
This core program will be supported by lectures on practical
security and political science wrt. voting.