FOSAD 2010: call for participation

[Alessandro Aldini]

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

		     (Apologies for multiple copies)

		** 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.

The program will cover foundations of cryptography, verification of
cryptographic protocols, trust management, wireless security, anonimity
and privacy, analysis of security APIs, and web services security.

The lecturers of the monographic courses are:

 * Veronique Cortier - CNRS at Loria, France
 * George Danezis    - Microsoft Research Cambridge, UK
 * Riccardo Focardi  - University Ca' Foscari, Venezia, Italy
 * Cédric Fournet    - Microsoft Research Cambridge, UK
 * Hugo Krawczyk     - Technion Institute of Technology, Israel
 * Fabio Martinelli  - CNR-IIT Pisa, Italy
 * Paul Syverson     - Naval Research Laboratory, USA
 * Gene Tsudik       - University of California at Irvine, USA

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.