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

		** Application Deadline: May 31, 2006 **

	    %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
	    %                                                   %
	    %          SIXTH INTERNATIONAL SCHOOL ON            %
	    %    FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN    %
	    %   ==============================================  %
	    %                                                   %
	    %                    FOSAD 2006                     %
	    %       http://www.sti.uniurb.it/events/fosad06     %
	    %                                                   %
	    %       10-16 September 2006, Bertinoro, Italy      %
	    %                                                   %
	    %               *** Announcement ***                %
	    %                                                   %
	    %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


General Information
^^^^^^^^^^^^^^^^^^^

Security in computer systems and networks emerged as one of the
most challenging research areas for the future. The main aim of
FOSAD is to offer a good spectrum of current research in
foundations of security - ranging from programming languages to
analysis of protocols, from cryptographic algorithms to access
control policies and trust management - that can be of help for
graduate students and young researchers from academia or
industry that intend to approach the field.

FOSAD, that is at the 6th edition since 2000, covers one week
(from Monday 11 to Saturday 16, September 2006) and alternates
courses of 2-6 hours. FOSAD also encourages presentations given
by those participants that intend to take advantage of the
audience for discussing their current research in the area.


Location
^^^^^^^^

The school is organized at the University Residential Center of
Bertinoro, situated in Bertinoro, a small village on a scenic
hill with a wonderful panorama, in between Forli' and Cesena
(about 50 miles south-east of Bologna, 15 miles to the Adriatic
sea). The cheapest way to travel is by plane to Forli' airport
(the secondary airport of Bologna), which is daily connected
to, e.g., London and Frankfurt AM through the low fares
airline Ryanair.


Programme
^^^^^^^^^

* Martin Abadi      (University of California at Santa Cruz
                     and Microsoft Research)
	Security Protocols: Principles and Calculi

* David Chaum       (DigiCash Inc., USA)
	Anonymity and Privacy

* Liqun Chen        (HP Labs, UK)
	Identity-based Cryptography

* Pierpaolo Degano  (University of Pisa, Italy)
	A Static Approach to Secure Service Composition

* Sandro Etalle     (University of Twente, The Netherlands)
	Rule-based Trust Management with RT

* Audun Josang      (Queensland University of Technology, Australia)
	Trust and Reputation Systems

* Daniel Le Metayer (Trusted Logic, France)
	Systematic Security Analysis Method

* Javier Lopez      (University of Malaga, Spain)
	Critical Infrastructures Protection


Organisation
^^^^^^^^^^^^

The scientific school directors are

- Roberto Gorrieri  (University of Bologna)
- Alessandro Aldini (University "Carlo Bo" of Urbino)
- Javier Lopez      (University of Malaga)
- Fabio Martinelli  (CNR-IIT, Pisa)
- Catherine Meadows (U.S. Naval Research Laboratory)


The administrative director is

- Andrea Bandini (University Residential Centre of Bertinoro)

The local organizer is

- Eleonora Campori (University Residential Centre of Bertinoro)


Important Dates
^^^^^^^^^^^^^^^

Prospective participants should apply through the web site by
	May 31, 2006.

Notification of accepted applicants will be posted by
	June 15, 2006.

Registration to the school is due by
	July 15, 2006.


Fees
^^^^

Accommodation fee is 350 Euros and covers costs for 6 nights
(starting from Sunday 10 September, 2006) in double room, half
board (breakfast and lunch, dinner of 10 September 2006 included,
lunch of 16 September 2006 excluded).

Registration fee is 350 Euros and includes didactical material
from the lectures.


Grants
^^^^^^

A limited amount of grants will be provided to cover part of the
expenses. Please, include your request with the application.


Further Information
^^^^^^^^^^^^^^^^^^^

More detailed information available at the URL
	http://www.sti.uniurb.it/events/fosad/
	http://www.sti.uniurb.it/events/fosad06


Sponsors
^^^^^^^^

* ARTIST 2 Network of Excellence on Embedded Systems Design
* CNR-IIT, Pisa
* SENSORIA Software Engineering for Service-Oriented Overlay Computers
* University of Bologna

Under the auspices of:

* EATCS - IT
* EEF
* ERCIM STM WG
* IFIP WG 1.7


Satellite event
^^^^^^^^^^^^^^^

2nd International Workshop on Views on Designing Complex Architectures
(16-17 September, 2006)

The workshop aims at providing a platform for young scientists to
present their research results in all areas related to the design of
complex architectures, with a special focus on the security and
management of information.

Submission deadline: June 25, 2006.
Call for papers soon available.