3rd International School on
Formal Methods for the Design of
Computer, Communication and Software Systems:
Software Architecture

22-27 September 2003

University of Bologna Residential Center
Bertinoro, Italy


Important Dates
Application deadline: 6 June 2003
Notification deadline: 16 June 2003
Registration deadline: 7 July 2003


Formal methods are emerging in computer science as a prominent approach to the rigorous design of computer, communication and software systems. The main aim of the SFM series is to offer a good spectrum of current research in foundations as well as applications of formal methods, which can be of help for graduate students and young researchers who intend to approach the field.

Past editions:

This year SFM is devoted to software architectures and covers architectural description languages and architecture-level analysis and synthesis techniques for an architecture-centric software development process that encompasses system requirements, design, testing, and evolution. The programme also includes lectures concerned with mobility, performance, and dependability at the architectural level of design.

School Material

All the participants will receive a copy of a tutorial book published by Springer as a volume in the Lecture Notes in Computer Science series.


The school will be held in the small medieval hilltop town of Bertinoro. This town is in Emilia Romagna about 70 km south-east of Bologna at an elevation of about 230 m. It is easily reached by train and bus from Bologna and is close to many splendid locations such as Ravenna, Urbino, Gradara, San Leo, the Republic of San Marino as well as some less well-known locations like the thermal springs of Fratta Terme and the castle and monastic gardens of Monte Maggio. Bertinoro can also be a base for visiting some of the better-known Italian locations such as Venice, Padua, Verona, Ferrara, Florence, Pisa, and Siena.

Bertinoro itself is picturesque, with many narrow streets and walkways winding around the central peak. The school will be held at the Centro Residenziale Universitario, an ex-Episcopal fortress that has been converted by the University of Bologna into a modern conference center with computing facilities and Internet access. From the fortress you can enjoy a beautiful vista that stretches from the Apennines to the Adriatic coast and the Alps over the Po Valley.


Scientific directors: Administration staff: Webmaster:


Prospective participants should send by 6 June 2003 the application form (plain text only) to the two e-mail addresses below:
Marco Bernardo Elena Della Godenza
bernardo@sti.uniurb.it edellagodenza@centrocongressibertinoro.it
by specifying in the form whether they ask for a grant to cover part of their registration fee.
Notification of accepted/rejected applications and grant requests will be posted by 16 June 2003.
Registration to the school is due by 7 July 2003.

The registration fee is 500 euros and includes all the school material mentioned above.
The accommodation fee is 300 euros and covers costs for the period 21-28 September 2003 (7 nights) in double room (to share with another participant), half board (breakfast and lunch, dinner of 21 September 2003 included, lunch of 28 September 2003 excluded).
No refund is possible for cancellation after 1 September 2003.


Under the auspices of: