<div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div><div><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr">16TH INTERNATIONAL SCHOOL ON<br></div><div dir="ltr"> FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN</div><div dir="ltr">FOSAD 2016</div><div dir="ltr">====================================================</div><div dir="ltr"><br></div><div dir="ltr"> <a href="http://www.sti.uniurb.it/events/fosad16" target="_blank">http://www.sti.uniurb.it/events/fosad16</a></div><div dir="ltr"><br></div><div dir="ltr">====================================================</div><div dir="ltr">29 August - 3 September 2016, Bertinoro, Italy</div><div dir="ltr"><br></div><div dir="ltr"> In cooperation with the</div><div dir="ltr">European Network for Cyber-security (NeCS)</div><div dir="ltr"><br></div><div dir="ltr">*** Application Deadline: June 20, 2016</div><div dir="ltr"><br></div><div dir="ltr">FOSAD has been one of the foremost events established</div><div dir="ltr">with the goal of disseminating knowledge about</div><div dir="ltr">foundations of security analysis and design to</div><div dir="ltr">graduate students and young computer scientists from</div><div dir="ltr">academia or industry.</div><div dir="ltr"><br></div><div dir="ltr">COURSES></div><div dir="ltr"><br></div><div dir="ltr">Eerke Boiten (Kent Univ.)</div><div dir="ltr">What's the unit of security?</div><div dir="ltr"><br></div><div dir="ltr">Cas Cremers (Oxford Univ.)</div><div dir="ltr">Mathematical models, analysis tools, and Internet security</div><div dir="ltr"><br></div><div dir="ltr">Emiliano de Cristofaro (Univ. College London) </div><div dir="ltr">Privacy-preserving information sharing: tools and applications</div><div dir="ltr"><br></div><div dir="ltr">Bryan Ford (EPFL)</div><div dir="ltr">Secure systems building</div><div dir="ltr"><br></div><div dir="ltr">Alfredo Pironti (INRIA)</div><div dir="ltr">Formal verification of security protocol implementations: </div><div dir="ltr">from theory to practice</div><div dir="ltr"><br></div><div dir="ltr">Ahmad-Reza Sadeghi (TU Darmstadt)</div><div dir="ltr">Practical systems security</div><div dir="ltr"><br></div><div dir="ltr">Ankur Taly (Google Inc.)</div><div dir="ltr">Practical distributed authorization</div><div dir="ltr"><br></div><div dir="ltr">The courses alternate theory and practice sessions.</div><div dir="ltr"><br></div><div dir="ltr">OPEN SESSION></div><div dir="ltr"><br></div><div dir="ltr">Daily sessions are organized for participants</div><div dir="ltr">who intend to take advantage of the audience for</div><div dir="ltr">presenting their current research/tool in the area.</div><div dir="ltr"><br></div><div dir="ltr">SCIENTIFIC COMMITTEE></div><div dir="ltr"><br></div><div dir="ltr">Martin Abadi Javier Lopez</div><div dir="ltr">Alessandro Aldini Fabio Martinelli (Chair)</div><div dir="ltr">Gilles Barthe Catherine Meadows</div><div dir="ltr">Eerke Boiten Bart Preneel</div><div dir="ltr">Sandro Etalle</div><div dir="ltr"><br></div><div dir="ltr">SCHOOL VENUE></div><div dir="ltr"><br></div><div dir="ltr">The school is organized at the University Residential</div><div dir="ltr">Center of Bertinoro (CEUB), Italy:</div><div dir="ltr"> <a href="http://www.ceub.it/" target="_blank">http://www.ceub.it/</a></div><div dir="ltr">The host venue provides a unique architectonical and</div><div dir="ltr">environmental setting joining the stunning views of</div><div dir="ltr">the hilltop of Bertinoro with the historical location</div><div dir="ltr">of the ancient fortress and the facilities of the</div><div dir="ltr">Center, which offers accommodation, meeting rooms,</div><div dir="ltr">and modern conference and computing services.</div><div dir="ltr"><br></div><div dir="ltr">SCHOOL DATES></div><div dir="ltr"><br></div><div dir="ltr">Prospective participants should apply through the</div><div dir="ltr">FOSAD web page by:</div><div dir="ltr"> June 20, 2016.</div><div dir="ltr">Notification of accepted applicants will be posted by:</div><div dir="ltr"> June 24, 2016.</div><div dir="ltr">Registration to the school is due by:</div><div dir="ltr"> July 24, 2016.</div><div dir="ltr"><br></div><div dir="ltr">SCHOOL FEES></div><div dir="ltr"><br></div><div dir="ltr">The full fee is 900 Euros and covers stay from </div><div dir="ltr">August 28, in double room, half board (breakfast </div><div dir="ltr">and lunch), welcome dinner of August 28 and social</div><div dir="ltr">dinner included.</div><div dir="ltr">A limited amount of grants will be provided to</div><div dir="ltr">cover part of the fee for young researchers.</div><div><br></div></div></div></div></div></div></div></div></div>
</div>
</div><br></div>
</div><br></div>
</div><br></div>
</div><br></div>
</div><br></div>
</div><br></div>
</div><br></div>
</div><br></div>
</div><br></div>