FOSAD 2007: call for participation

[Alessandro Aldini]

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

		     (Apologies for multiple copies)

		** Application Deadline: May 31, 2007 **

	    %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
	    %                                                   %
	    %          SEVENTH INTERNATIONAL SCHOOL ON          %
	    %    FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN    %
	    %   ==============================================  %
	    %                                                   %
	    %                    FOSAD 2007                     %
	    %       http://www.sti.uniurb.it/events/fosad07     %
	    %                                                   %
	    %       9-15 September 2007, Bertinoro, Italy       %
	    %                                                   %
	    %               *** Announcement ***                %
	    %                                                   %
	    %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


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

Security in computer systems and networks emerged as one of the most
challenging research areas. The International School on Foundations of
Security Analysis and Design (FOSAD) has been one of the foremost events
established with the goal of disseminating knowledge in this critical area.
The main aim of the FOSAD school 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.

The seventh edition of FOSAD alternates monographic courses of 3 to 6 hours
and special sessions dedicated to presentations given by those participants
that intend to take advantage of the audience for discussing their current
research in the area.

Programme:

* Ross Anderson           (University of Cambridge, UK)
     API Security and Security Economics

* Ulfar Erlingsson        (Microsoft Research, USA)
     Low-level Software Security

* Cathy Meadows           (Naval Research Laboratory, USA)
     Application of Formal Methods to Cryptographic Protocol Analysis

* Chris Mitchell          (Royal Holloway, University of London, UK)
     Trusted Mobile Platforms

* George Necula           (University of California, Berkeley, USA)
     Language-Based Security

* Bart Preneel            (KU Leuven, Belgium)
     Cryptographic Algorithm Engineering and Provable Security

* Jean-Jacques Quisquater (UCL, Belgium)
     Embedded Systems Security and Cryptographic Coprocessors

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
2006.


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.


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

Scientific Committee:

- Roberto Gorrieri  director  (University of Bologna)
- Martin Abadi      (University of California at Santa Cruz, USA)
- Alessandro Aldini (University "Carlo Bo" of Urbino)
- Sandro Etalle     (Twente University, The Netherlands)
- Javier Lopez      (University of Malaga)
- Fabio Martinelli  (CNR-IIT, Pisa)
- Catherine Meadows (U.S. Naval Research Laboratory)

Administrative staff:

- Andrea Bandini, director (University Residential Centre of Bertinoro)
- Eleonora Campori (University Residential Centre of Bertinoro)


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

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

Notification of accepted applicants will be posted by
	June 14, 2007.

Registration to the school is due by
	July 24, 2007.


Fees
^^^^

Accommodation fee is 350 Euros and covers costs for 6 nights
(starting from Sunday 9 September, 2007) in double room, half
board (breakfast and lunch, dinner of 9 September 2007 included,
lunch of 15 September 2007 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 URL
	http://www.sti.uniurb.it/events/fosad/
	http://www.sti.uniurb.it/events/fosad07


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