** Application Deadline: June 15, 2009 ** %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % % NINTH INTERNATIONAL SCHOOL ON % % FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN % % ============================================== % % % % FOSAD 2009 % % http://www.sti.uniurb.it/events/fosad09 % % % % 30 August - 4 September 2009, Bertinoro, Italy % % % % *** Announcement *** % % % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 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. FOSAD 2009 is organized in collaboration with the EU Project IST-15905 Mobius. SCHOOL TOPICS> This year the aim of FOSAD is to offer a good spectrum of current research in cryptography, crypto-protocol analysis, security of Java-like programming languages, wireless network security, authorization, monoculture, independence and diversity. SCHOOL PROGRAMME> The 9th edition of FOSAD alternates monographic courses of 4 hours and special sessions dedicated to presentations given by participants who intend to take advantage of the audience for discussing their current research in the area. The lecturers of the monographic course are: * Martin Abadi (Microsoft Research and UCSC, USA) * Rustan Leino (Microsoft Research, USA) * Javier Lopez (University of Malaga, Spain) * Ueli Maurer (ETH Zurich, Switzerland) * David Pichardie (INRIA Rennes Bretagne Atlantique, France) * Erik Poll (Radboud University Nijmegen, The Netherlands) * German Puebla (Technical University of Madrid, Spain) * Fred Schneider (Cornell University, USA) * Luca Viganò (University of Verona, Italy) Scientific Committee: Roberto Gorrieri (Chair) Sandro Etalle Martin Abadi Javier Lopez Alessandro Aldini Fabio Martinelli Gilles Barthe Catherine Meadows SCHOOL MATERIAL> 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 2008. SCHOOL VENUE> The school is organized at the University Residential Center of Bertinoro, Italy. The host venue provides modern conference facilities with computing services and Internet access. SCHOOL DATES> Prospective participants should apply through the FOSAD web page by June 15, 2009. Notification of accepted applicants will be posted by June 18, 2009. Registration to the school is due by July 31, 2009. SCHOOL FEES> The full fee is 900 Euros and covers costs for 7 nights - starting from Sat 29 August 2009 - in double room, half board - breakfast and lunch, dinner of 29 August 2009 included, lunch of 5 September 2009 excluded. Registration includes didactical material from the lectures. SCHOOL GRANTS> A limited amount of grants will be provided to cover part of the expenses, particularly for young researchers from less favoured countries. SCHOOL SPONSORSHIP> We are grateful to: * CNR-IIT, Pisa * EU Project MOBIUS: Mobility, Ubiquity and Security * EU Project SENSORIA: Software Engineering for Service-Oriented Overlay Computers * University of Bologna * EATCS - IT * EEF * ERCIM STM WG * IEEE CS - IT * IFIP WG 1.7 SCHOOL SURROUNDINGS> Related events in the same period: * 12th International Conference on Information Security (ISC) Pisa, September 7-9, 2009 * 20th International Conference on Concurrency Theory (CONCUR) Bologna, September 1-4, 2009 * 7th Conference on Computational Methods in Systems Biology (CMSB) Bologna, August 31 - September 1, 2009