FOSAD 2009 summer school: CFP

[Alessandro Aldini]

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

		     (Apologies for multiple copies)

		** Application Deadline: June 15, 2009 **

	    %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
	    %                                                   %
	    %          NINTH INTERNATIONAL SCHOOL ON            %
	    %    FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN    %
	    %   ==============================================  %
	    %                                                   %
	    %                    FOSAD 2009                     %
	    %       http://www.sti.uniurb.it/events/fosad09     %
	    %                                                   %
	    %  30 August - 4 September 2009, 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.
FOSAD 2009 is organized in collaboration with the EU Project IST-15905 Mobius.

SCHOOL TOPICS>
This year the aim of FOSAD is to offer a good spectrum of current research in
cryptography, crypto-protocol analysis, security of Java-like programming languages,
wireless network security, authorization, monoculture, independence and diversity.

SCHOOL PROGRAMME>
The 9th 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 lecturers of the monographic course are:
* Martin Abadi (Microsoft Research and UCSC, USA)
* Rustan Leino (Microsoft Research, USA)
* Javier Lopez (University of Malaga, Spain)
* Ueli Maurer (ETH Zurich, Switzerland)
* David Pichardie (INRIA Rennes Bretagne Atlantique, France)
* Erik Poll (Radboud University Nijmegen, The Netherlands)
* German Puebla (Technical University of Madrid, Spain)
* Fred Schneider (Cornell University, USA)
* Luca Viganò (University of Verona, Italy)

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

SCHOOL MATERIAL>
Proocedings of the lectures will appear as a volume in the tutorial series of
Springer LNCS. The volume will also collect material presented at FOSAD 2008.

SCHOOL VENUE>
The school is organized at the University Residential Center of Bertinoro, Italy.
The host venue provides modern conference facilities with computing services
and Internet access.

SCHOOL DATES>
Prospective participants should apply through the FOSAD web page by June 15, 2009.
Notification of accepted applicants will be posted by June 18, 2009.
Registration to the school is due by July 31, 2009.

SCHOOL FEES>
The full fee is 900 Euros and covers costs for 7 nights - starting from Sat
29 August 2009 - in double room, half board - breakfast and lunch, dinner of
29 August 2009 included, lunch of 5 September 2009 excluded.
Registration includes didactical material from the lectures.

SCHOOL GRANTS>
A limited amount of grants will be provided to cover part of the expenses,
particularly for young researchers from less favoured countries.

SCHOOL SPONSORSHIP>
We are grateful to:
* CNR-IIT, Pisa
* EU Project MOBIUS: Mobility, Ubiquity and Security
* EU Project SENSORIA: Software Engineering for Service-Oriented Overlay Computers
* University of Bologna
* EATCS - IT
* EEF
* ERCIM STM WG
* IEEE CS - IT
* IFIP WG 1.7

SCHOOL SURROUNDINGS>
Related events in the same period:
* 12th International Conference on Information Security (ISC)
  Pisa, September 7-9, 2009
* 20th International Conference on Concurrency Theory (CONCUR)
  Bologna, September 1-4, 2009
* 7th Conference on Computational Methods in Systems Biology (CMSB)
  Bologna, August 31 - September 1, 2009