Subject: FOSAD -- school on security

From: Roberto Gorrieri <[email-masked]>
Date: Thu, 11 May 2000 07:17:50 +0200

[look at the URL http://www.cs.unibo.it/~gorrieri/fosad for more details]

         %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
         %                                                   %
         %             INTERNATIONAL SCHOOL ON               %
         %    FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN    %
         %   ==============================================  %
         %                                                   %
         %      18-30 September 2000, 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 academic researchers and industrial
researchers that intend to approach the field.
The school covers two weeks (from monday 18 to saturday 30, september 2000)
and alternates four lecturers per week on monographic courses  of about
6/8 hours each. Saturdays are reserved for presentations given by those
participants that intend to take advantage of the audience for discussing
their current research in the area.
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 from the Adriatic sea).

Lecturers and Courses
^^^^^^^^^^^^^^^^^^^^^
The school offers eight main courses, each composed of 3/4 seminars
(on different days), each seminar of 2 hours. In alphabetic order,
the lecturers of the eight main courses are the following:

- Li Gong (Javasoft - Sun Microsystems, Palo Alto)
          Java Security
- Andrew D. Gordon (Microsoft Research, Cambridge)
          Process Calculi for Security and Mobility
- Roberto Gorrieri (University of Bologna)
          Classification of Security Properties
- Joshua Guttman (Mitre, Bedford)
          Security Goals:  Packet trajectories and strand spaces
- Peter Ryan (SRI, Cambridge)
          Mathematical Models of Computer Security
- Pierangela Samarati (University of Milano)
          Access Control: Policies, Models, Architectures and Mechanisms
- Paul Syverson (Naval Research Lab, Washington)
          The Logic of Security Protocols
- Moti Yung (CertCo Inc., New York)
          Cryptographic Technology and Protocols in E-Commerce

Further short courses will be given by:

- Carlo Blundo (Univ. of Salerno)
	Introduction to Cryptography
- Luigia Carlucci Aiello and Fabio Massacci (Univ. of Roma "La Sapienza")
	Planning, Logic Programs and Security Protocols
- Pierpaolo Degano (Univ. of Pisa)
	Control Flow Analysis for security
- Rocco De Nicola (Univ. of Firenze)
	Testing for spi Processes
- Fausto Giunchiglia (Univ. of Trento)
	Model Checking Using a Logic of Belief
- Roberto Segala (Univ. of Bologna)
	Applied Cryptography

Organisation
^^^^^^^^^^^^
The scientific school director is Roberto Gorrieri ([email-masked]).
The administrative directors are Andrea Bandini and Roberta Poggi
([email-masked]).

Notice and Dates
^^^^^^^^^^^^^^^^
The school is directed to PhD students, young academic researchers and
industrial researchers. 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 May 15, 2000.
Notification of accepted applicants will be posted by June 15, 2000.
Registration to the school is due by July 15, 2000.

The application form is available on the web page. Applications should
be sent to Roberto Gorrieri (by e-mail) and to Andrea Bandini (by mail
or fax):

	Roberto Gorrieri
	Dipartimento di Scienze dell'Informazione
	Mura Anteo Zamboni 7
	I-40127 Bologna, Italy
	e-mail: [email-masked]

	Andrea Bandini
	Ser.In.Ar.
	Corso Diaz 43, I-47100 Forli, Italy
	tel: +39-0543-35180   fax: +39-0543-450204
	e-mail: [email-masked]

Grants
^^^^^^
A limited amount of grants will be provided to cover part of the expenses.
Applications are pending to EU for european young researchers and to
UNESCO-ROSTE for prospective participants from East European and South
Mediterranean countries. Please, include your request within the application.

Accommodation and Registration fees
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Accommodation fee is 750 Euro and covers costs for the
whole period in single room, half board (breakfast and lunch).
Registration fee is 550 Euro and includes didactical material from the
lecturers, including a Springer LNCS volume.

Further Information
^^^^^^^^^^^^^^^^^^^
More detailed information on courses can be found at the URL
http://www.cs.unibo.it/~gorrieri/fosad
Requests of information on the school, grants and applications should be
addressed to [email-masked], while information on organisation
(address, how to reach us, etc...) can be requested by e-mail to
[email-masked]

Under the auspices of
^^^^^^^^^^^^^^^^^^^^^
European Association of Theoretical Computer Science -- Italian Chapter
International Federation for Information Processing -- IFIP TC1-WG1.7
European Educational Forum

Sponsors
^^^^^^^^
Ser.In.Ar., Cassa di Risparmio di Forli', Universita' di Bologna
GlobalSign Italy
EU (pending)
UNESCO (pending)
CNR - GNIM (pending)
Regione Emilia-Romagna (pending)
=======================================================================