[TYPES/announce] FOSAD 2013: last call

[Alessandro Aldini]

================================================
13TH INTERNATIONAL SCHOOL ON
     FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN
================================================
     FOSAD 2013
     http://www.sti.uniurb.it/events/fosad13

2-7 September 2013, Bertinoro, Italy

     *** in cooperation with ***
       NESSOS and CryptoForma

     ** Application Deadline: June 20, 2013

FOSAD has been one of the foremost events established with
the goal of disseminating knowledge about foundations of
security analysis and design to graduate students and young
computer scientists from academia or industry.

LECTURERS>

* Gilles Barthe    (IMDEA Software, SP)
* Bruno Blanchet   (Inria Paris Cedex, FR)
* Javier Lopez     (University of Malaga, SP)
* John Mitchell    (Stanford University, US)
* Kenny Paterson   (Royal Holloway, University of London, UK)
* Frank Piessens   (Katholieke Universiteit Leuven, BE)
* Bogdan Warinschi (University of Bristol, UK)

The program is available at the FOSAD web page.

TOOL SESSION>

On Wednesday afternoon, a special session is devoted to
the presentation of software tools for security analysis.

OPEN SESSION>

Daily sessions will be organized for participants who
intend to take advantage of the audience for presenting
their current research/tool in the area.

SCIENTIFIC COMMITTEE>

Martin Abadi            Roberto Gorrieri
Alessandro Aldini       Javier Lopez
Gilles Barthe           Fabio Martinelli (chair)
Eerke Boiten            Catherine Meadows
Sandro Etalle           Bart Preneel

SCHOOL VENUE>

The school is organized at the University Residential Center
of Bertinoro (CEUB), Italy (http://www.ceub.it/).
The host venue provides a unique architectonical and
environmental setting joining the stunning views of the
hilltop of Bertinoro with the historical location of the
ancient fortress and the facilities of the Center,
which offers accommodation, meeting rooms, and modern
conference and computing services.

SCHOOL DATES>

Prospective participants should apply through the FOSAD web
page by:
    June 20, 2013.
Notification of accepted applicants will be posted by:
    June 27, 2013.
Registration to the school is due by:
    July 20, 2013.

SCHOOL FEES>

The full fee is 900 Euros and covers costs for 7 nights,
starting from 1 September, in double room, half board
(breakfast and lunch), dinner of 1 September included.
A limited amount of grants will be provided to cover
part of the fee for young researchers.

SCHOOL PARTNERS>

FOSAD 2013 is organized in cooperation with the Network of
Excellence on Engineering Secure Future Internet Software
Services and Systems (NESSoS, http://www.nessos-project.eu)
and with the EPSRC CryptoForma network on the application of
formal methods to cryptography (http://www.cryptoforma.org.uk).