[TYPES/announce] summer school FOSAD 2015
Alessandro Aldini
aldini at sti.uniurb.it
Wed Feb 18 06:51:19 EST 2015
====================================================
15TH INTERNATIONAL SCHOOL ON
FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN
FOSAD 2015
====================================================
http://www.sti.uniurb.it/events/fosad15
31 August - 5 September 2015, Bertinoro, Italy
In cooperation with NESSoS and CryptoForma
*** Application Deadline: June 20, 2015
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>
Michael Backes Saarland Univ.
Herbert Bos Vrije Univ. Amsterdam
Michael Clarkson Cornell Univ.
Hubert Comon ENS Cachan
Ivan Damgård Aarhus Univ.
Andy Gordon Microsoft Research
Heiko Mantel TU Darmstadt
The courses alternate theory and practice sessions.
Full program and links to background material will
be soon available at the FOSAD web page.
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 Javier Lopez
Alessandro Aldini Fabio Martinelli (Chair)
Gilles Barthe Catherine Meadows
Eerke Boiten Bart Preneel
Sandro Etalle
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.
DATES>
Prospective participants should apply through the
FOSAD web page by:
June 20, 2015.
Notification of accepted applicants will be posted by:
June 24, 2015.
Registration to the school is due by:
July 24, 2015.
FEES>
The full fee is 900 Euros and covers stay from
August 30, in double room, half board (breakfast
and lunch), welcome dinner of August 30 and social
dinner included.
A limited amount of grants will be provided to
cover part of the fee for young researchers.
More information about the Types-announce
mailing list