CfP: 5th Edition of the research school on Foundations of Security Analysis and Design (FOSAD2005)

[Fabio Martinelli]

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

       (Apologies for multiple copies)

  ** Application Deadline: May 31, 2005 **

     %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
     %                                                   %
     %          FIFTH INTERNATIONAL SCHOOL ON            %
     %    FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN    %
     %   ==============================================  %
     %                                                   %
     %                    FOSAD 2005                     %
     %       http://www.sti.uniurb.it/events/fosad       %
     %                                                   %
     %       19-24 September 2005, Bertinoro, Italy      %
     %                                                   %
     %               *** Announcement ***                %
     %                                                   %
     %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

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

Security in computer systems and networks is emerging as one of the most
challenging research areas for the future. The main aim of the school is
to offer a good spectrum of current research in foundations of security,
ranging from programming languages to analysis of protocols, that can be
of help for graduate students, young researchers from academia or industry
that intend to approach the field.
The FOSAD series started in 2000 and last edition was in 2004. This year
the school covers one week (from Monday 19 to Saturday 24, September 2005)
and alternates monographic courses of 4/6 hours and short courses of 2/3
hours. We also encourage 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 London and Frankfurt AM through the low fares airline Ryanair.

Lecturers and Courses
^^^^^^^^^^^^^^^^^^^^^

* Gilles Barthe (INRIA Sophia Antipolis, France)
 Formal Methods for Smartcard Security

* David Basin (ETH Zurich, Switzerland)
 Model-driven Security

* Elisa Bertino (Purdue University, USA) 
 Privacy Preserving Database Systems

* Herve Debar (France Telecom R&D, France)
 Intrusion Detection

* Theo Dimitrakos (BT Security Research, UK)
 GRID/Virtual Organizations Security

* Fabio Massacci (Trento University, Italy)
 Security and Trust Requirements Engineering 

* Sjouke Mauw (Eindhoven University of Technology, The Netherlands)
 Foundations of Attack Trees

* Mogens Nielsen (BRICS, Aarhus, Denmark)
 Formal Model of Trust 

* Gene Tsudik (University of California, Irvine, USA)
 Wireless Network Security

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

The scientific school directors are
- Alessandro Aldini (University "Carlo Bo", Urbino)
- Roberto Gorrieri (University of Bologna)
- Fabio Martinelli (CNR-IIT, Pisa)

The administrative director is
Andrea Bandini (University Residential Centre of Bertinoro)

The local organizer is
Elena Della Godenza (University Residential Centre of Bertinoro)

Notice and Dates
^^^^^^^^^^^^^^^^
Prospective participants should apply through the web site by
 May 31, 2005.
Notification of accepted applicants will be posted by
 June 15, 2005.
Registration to the school is due by
 July 15, 2005.

Accommodation and Registration fees
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

Accommodation fee is 350 Euro and covers costs for 6 nights 
(starting from Sunday 18 September, 2005) in double room, 
half board (breakfast and lunch, dinner of 18 September 2005 
included, lunch of 24 September 2005 excluded).

Registration fee is 350 Euro and includes didactical material
from the lectures and a LNCS volume of the tutorial series, 
published by Springer, collecting material presented in FOSAD 
2004 and FOSAD 2005.
 
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 URL
 http://www.sti.uniurb.it/events/fosad/
 http://www.sti.uniurb.it/events/fosad05

Sponsors
^^^^^^^^

* CNR-IIT, Pisa
* Create-Net
* University of Bologna

Under the auspices of:

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