[TYPES] FOSAD2004: Foundations of Security Analysis and Design summer school announcement

[Andrei Sabelfeld]

		** Application Deadline: May 31, 2004 **

	    %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
	    %                                                   %
	    %          FOURTH INTERNATIONAL SCHOOL ON           %
	    %    FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN    %
	    %   ==============================================  %
	    %                                                   %
	    %                    FOSAD 2004                     %
	    %       http://www.sti.uniurb.it/events/fosad       %
	    %                                                   %
	    %       6-11 September 2004, Bertinoro, Italy       %
	    %                                                   %
	    %          *** Preliminary 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 2002. This year
the school covers one week (from Monday 6 to Saturday 11, September 2004)
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
^^^^^^^^^^^^^^^^^^^^^

The school offers seven main courses, each composed of 2 seminars, each
seminar of 2/3 hours. In alphabetic order, the lecturers of the main courses
are the following:

* Michael Backes (IBM Zurich Research Laboratory, Switzerland)
	Cryptographic Security and Privacy Policies

* Virgil Gligor (University of Maryland at College Park, MD, USA)
	Security in Sensor and Mobile Ad-Hoc Networks

* Andy Gordon (Microsoft Research, Cambridge, UK)
	Web Services and Security

* Jan Juerjens (TU Munich, Germany)
	Security in UML

* Jean-Jacques Quisquater (UCL Microelectronic Lab., Louvain-la-Neuve, Belgium)
	Cryptanalysis and Timing Attacks

* Andrei Sabelfeld (Chalmers University of Technology, Goteborg, Sweden)
	Language-based Security

* Jan Vitek (Purdue University, IN, USA)
	Security and Coordination

Short courses will be given by:

* Riccardo Focardi (University "Ca' Foscari" of Venice, Italy)
	Static Analysis of Authentication

* Corrado Priami (University of Trento, Italy)
	A Logical Approach to Security for Ambient Calculus

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

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

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, 2004.
Notification of accepted applicants will be posted by
	June 15, 2004.
Registration to the school is due by
	July 15, 2004.

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

Accommodation fee is 350 Euro and covers costs for the whole period
(7 nights) in double room, half board (breakfast and lunch, dinner of
5 September 2004 included, lunch of 12 September 2004 excluded).

Registration fee is 350 Euro and includes didactical material from the
lecturers as well as relevant related literature, such as:

* Springer LNCS volume 2946 (a tutorial book collecting material
   presented in FOSAD 2001 and FOSAD 2002).

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/

Under the auspices of
^^^^^^^^^^^^^^^^^^^^^

* EATCS-IT - Italian Chapter of European Association for
	Theoretical Computer Science
* European Educational Forum
* IFIP Working Group 1.7
* Progetto MEFISTO

Sponsors
^^^^^^^^

* CNR-IIT, Pisa
* University of Bologna
* IST-FET 32072 Design Environments for Global Applications (DEGAS)