FOSAD - 9th International Summer School

[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   %
	    %                                                   %
	    %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


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, logic in access
control, security of Java-like programming languages, wireless network
security, resource certification, trust based 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
* 7th International Workshop on Security Issues in Concurrency (SecCo)
  Bologna, September 5, 2009