3rd International School on
Formal Methods for the Design of
Computer, Communication and Software Systems:
22-27 September 2003
University of Bologna Residential Center
||6 June 2003
||16 June 2003
||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.
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.
All the participants will receive a copy of a
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
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
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.
- Andrea Bandini (CRU Bertinoro - Italy)
- Elena Della Godenza (CRU Bertinoro - Italy)
Prospective participants should send by 6 June 2003 the
application form (plain text only) to the two e-mail addresses below:
by specifying in the form whether they ask for a grant to cover part of their registration fee.
||Elena Della Godenza
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: