[TYPES/announce] 17th FOSAD Summer School: Foundations of Security Analysis and Design

[Aldini, Alessandro]

17TH INTERNATIONAL SCHOOL ON
        FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN
FOSAD 2017
====================================================

     http://www.sti.uniurb.it/events/fosad17

====================================================
28 August - 2 September 2017, Bertinoro, Italy

         In cooperation with the
European Network for Cyber-security (NeCS)
         http://www.necs-project.eu/

*** Application Deadline: June 23, 2017

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.

COURSES>

The topics covered by the lectures include:
- cryptocurrencies and transparency systems
- mobile security
- privacy engineering
- verification of security protocols
- information-flow control libraries
- machine learning and privacy

Lecturers:

Joseph Bonneau (Stanford Univ.)
Lorenzo Cavallaro (Royal Holloway Univ. of London)
George Danezis (Univ. College London)
Stephanie Delaune (CNRS IRISA)
Alejandro Russo (Chalmers Univ.)
Vitaly Shmatikov (Cornell Univ.)

The courses alternate theory and practice sessions.

Participants will receive a copy of the book
"Bitcoin and Cryptocurrency Technologies".

OPEN PhD FORUM>

FOSAD encourages talk proposals from PhD students who
are willing to present their novel and ongoing research
ideas and contributions.
The proposals, to be submitted by 1 August through the
FOSAD web page, will be selected by the scientific
committee for presentation at the PhD Forum, which
will be held on 30 August during the Summerschool.

SCIENTIFIC COMMITTEE>

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

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

SCHOOL FEES>

The full fee is 900 Euros and covers stay from
August 27, in double room, half board (breakfast
and lunch), welcome dinner of August 27 and social
dinner included.
A limited amount of grants will be provided to
cover part of the fee for young researchers.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20170523/6c2b9fb1/attachment-0001.html>