** Application Deadline: June 20, 2002 ** (Apologies for multiple copies) %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % % THIRD INTERNATIONAL SCHOOL ON % % FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN % % ============================================== % % % % FOSAD 2002 % % http://www.cs.unibo.it/fosad % % % % 23-27 September 2002, Bertinoro, Italy % % % % *** First Announcement *** % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% General Information ^^^^^^^^^^^^^^^^^^^ Security in computer systems and networks is emerging as one of the most challenging research areas for the future. The main aim of the school is to offer a good spectrum of current research in foundations of security, ranging from programming languages to analysis of protocols, that can be of help for graduate students, young researchers from academia or industry that intend to approach the field. The school covers one week (from Monday 23 to Friday 27, September 2002) and alternates monographic courses of about 4/6 hours and short courses of 2 hours. The school is organised at the Centro Residenziale Universitario of the University of Bologna, situated in Bertinoro, a small village on a scenic hill with a wonderful panorama, in between Forli' and Cesena (about 50 miles south-east of Bologna, 15 miles to the Adriatic sea). Lecturers and Courses ^^^^^^^^^^^^^^^^^^^^^ The school offers six main courses, each composed of 2/3 seminars, each seminar of 2 hours. In alphabetic order, the lecturers of the six main courses are the following: - Carlo Blundo and Stelvio Cimato (Univ. of Salerno) Cryptographic Protocols for Internet Services - Michele Bugliesi (Univ. of Venice) and Giuseppe Castagna (ENS, Paris) Security by Typing in Systems of Mobile Agents - Matthew Hennessy (University of Sussex) Types for Resource Access Control and Information Flow - Jonathan K. Millen (SRI International) Constraint Solving for Security Protocol Analysis - David Sands (Chalmers University) Semantic Models of Secure Information flow in Programs - Steve Schneider (Royal Holloway, University of London) Verifying security protocols with rank functions Further short courses will be given by: - Alessandro Aldini (University of Bologna) Non-interference Properties for Probabilistic Processes - Vladimiro Sassone (University of Sussex) Capacity-Bounded Computational Ambients Organisation ^^^^^^^^^^^^ The scientific school directors are Riccardo Focardi (Univ. of Venezia), and Roberto Gorrieri (Univ. of Bologna). The administrative director is Andrea Bandini (cbert@sun1.spfo.unibo.it). The local organisers are Andrea Bandini, Alessandro Aldini (aldini@cs.unibo.it) and Chiara Braghin (dbraghin@dsi.unive.it). Notice and Dates ^^^^^^^^^^^^^^^^ In order to be really effective, at most 45 participants will be admitted to the lectures. Prospective participants should send an application to the address below, together with a recommendation letter, by June 20, 2002. Notification of accepted applicants will be posted by July 5, 2002. Registration to the school is due by July 31, 2002. Applications should be sent, using the form available on the web page, to Riccardo Focardi (by e-mail) and to Andrea Bandini (by mail or fax): Riccardo Focardi Dipartimento di Informatica Via Torino 155 I-30172 Mestre (Ve), Italy e-mail: fosad@dsi.unive.it Andrea Bandini Centro Residenziale Universitario Via Frangipane, 6 - 47032 Bertinoro (FC) tel. +39-0543-446500 fax: +39-0543-446599 e-mail: cbert@sun1.spfo.unibo.it Accommodation and Registration fees ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Accommodation fee is 300 Euro and covers costs for the whole period in double room, full board (breakfast, lunch and dinner). Registration fee is 300 Euro and includes didactical material from the lecturers. Further Information ^^^^^^^^^^^^^^^^^^^ More detailed information on courses will be soon available at URL http://www.CS.UniBO.it/fosad/ Requests of information on the school and applications should be addressed to fosad@dsi.unive.it, while information on organisation (address, how to reach us, etc...) can be requested by e-mail to cbert@sun1.spfo.unibo.it Under the auspices of ^^^^^^^^^^^^^^^^^^^^ European Association of Theoretical Computer Science -- Italian Chapter International Federation for Information Processing -- IFIP TC1-WG1.7 Sponsor ^^^^^^^ Universita' di Bologna Universita' di Venezia 18-Apr-2002 09:04:16 -0300,2845;000000000000-00000000