FOSAD 2007: final cfp

[Alessandro Aldini]

		     (Apologies for multiple copies)

	         ** Application Deadline: June 14, 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 5
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

*  Roberto Segala (University of Verona, Italy)
     Quantitative Aspects in the Analysis of Crypographic Protocols


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
	June 14, 2007.

Notification of accepted applicants will be posted by
	June 18, 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