** Application Deadline: May 31, 2004 ** %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % % FOURTH INTERNATIONAL SCHOOL ON % % FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN % % ============================================== % % % % FOSAD 2004 % % http://www.sti.uniurb.it/events/fosad % % % % 6-11 September 2004, Bertinoro, Italy % % % % *** Preliminary 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 FOSAD series started in 2000 and last edition was in 2002. This year the school covers one week (from Monday 6 to Saturday 11, September 2004) and alternates monographic courses of 4/6 hours and short courses of 2/3 hours. We also encourage presentations given by those participants that intend to take advantage of the audience for discussing their current research in the area. Location ^^^^^^^^ The school is organized at the University Residential Center of Bertinoro, 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). The cheapest way to travel is by plane to Forli' airport (the secondary airport of Bologna), which is daily connected to London and Frankfurt AM through the low fares airline Ryanair. Lecturers and Courses ^^^^^^^^^^^^^^^^^^^^^ The school offers seven main courses, each composed of 2 seminars, each seminar of 2/3 hours. In alphabetic order, the lecturers of the main courses are the following: * Michael Backes (IBM Zurich Research Laboratory, Switzerland) Cryptographic Security and Privacy Policies * Virgil Gligor (University of Maryland at College Park, MD, USA) Security in Sensor and Mobile Ad-Hoc Networks * Andy Gordon (Microsoft Research, Cambridge, UK) Web Services and Security * Jan Juerjens (TU Munich, Germany) Security in UML * Jean-Jacques Quisquater (UCL Microelectronic Lab., Louvain-la-Neuve, Belgium) Cryptanalysis and Timing Attacks * Andrei Sabelfeld (Chalmers University of Technology, Goteborg, Sweden) Language-based Security * Jan Vitek (Purdue University, IN, USA) Security and Coordination Short courses will be given by: * Riccardo Focardi (University "Ca' Foscari" of Venice, Italy) Static Analysis of Authentication * Corrado Priami (University of Trento, Italy) A Logical Approach to Security for Ambient Calculus Organisation ^^^^^^^^^^^^ The scientific school directors are - Alessandro Aldini (University "Carlo Bo", Urbino) - Roberto Gorrieri (University of Bologna) - Fabio Martinelli (CNR-IIT, Pisa) - Andrei Sabelfeld (Chalmers University of Technology, Goteborg) The administrative director is Andrea Bandini (University Residential Centre of Bertinoro) The local organizer is Elena Della Godenza (University Residential Centre of Bertinoro) Notice and Dates ^^^^^^^^^^^^^^^^ Prospective participants should apply through the web site by May 31, 2004. Notification of accepted applicants will be posted by June 15, 2004. Registration to the school is due by July 15, 2004. Accommodation and Registration fees ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Accommodation fee is 350 Euro and covers costs for the whole period (7 nights) in double room, half board (breakfast and lunch, dinner of 5 September 2004 included, lunch of 12 September 2004 excluded). Registration fee is 350 Euro and includes didactical material from the lecturers as well as relevant related literature, such as: * Springer LNCS volume 2946 (a tutorial book collecting material presented in FOSAD 2001 and FOSAD 2002). Grants ^^^^^^ A limited amount of grants will be provided to cover part of the expenses. Please, include your request with the application. Further Information ^^^^^^^^^^^^^^^^^^^ More detailed information available at URL http://www.sti.uniurb.it/events/fosad/ Under the auspices of ^^^^^^^^^^^^^^^^^^^^^ * EATCS-IT - Italian Chapter of European Association for Theoretical Computer Science * European Educational Forum * IFIP Working Group 1.7 * Progetto MEFISTO Sponsors ^^^^^^^^ * CNR-IIT, Pisa * University of Bologna * IST-FET 32072 Design Environments for Global Applications (DEGAS) -- ------------------------------------------------- Prof. Dr. Roberto Gorrieri Dipartimento di Scienze dell'Informazione Mura Anteo Zamboni 7, I-40127 Bologna, Italy tel: +39-051-2094509 fax: +39-051-2094510 gorrieri@cs.unibo.it http://www.cs.unibo.it/~gorrieri -------------------------------------------------