2nd International School on
Formal Methods for the Design of
Computer, Communication and Software Systems:
Model Checking

9-14 September 2002

University of Bologna Residential Center
Bertinoro, Italy


Important Dates
Application deadline: 15 May 2002
Notification deadline: 22 May 2002
Registration deadline: 15 June 2002


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: SFM-01:PA.

This year SFM is devoted to model checking and covers the foundations, implementation techniques and applications, including software verification, security protocols and real-time and probabilistic systems. The programme includes both established, classical topics, as well as new developments such as parallel and distributed model checking. A number of model checking software tools will be demonstrated at the school.

School Material

All the participants will receive a copy of the following book:
E.M. Clarke, O. Grumberg, D.A. Peled
``Model Checking'',
MIT Press, 1999
as well as copies of transparencies and pertinent papers.


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.


The scientific directors are: The local organizers are:


Prospective participants should send the application form by 15 May 2002 to the two e-mail addresses below:
Marco Bernardo Andrea Bandini
e-mail: bernardo@sti.uniurb.it e-mail: cbert@sun1.spfo.unibo.it
Notification of accepted applicants will be posted by 22 May 2002. Registration to the school is due by 15 June 2002.
The registration fee is 400 EUR and includes all the school material mentioned above.
The accommodation fee is 400 EUR and covers costs for the period 8-15 September 2002 (7 nights) in double room, half board (breakfast and lunch, dinner of 8 September 2002 included, lunch of 15 September 2002 excluded).
A limited number of grants will be provided to cover part of the expenses.


Sponsors: Under the auspices of:

Call for Tool Demos

The school features the demonstration of model checking tools. Whoever interested in giving a demo should submit a short tool description in ps or pdf format by 15 May 2002 to the e-mail address below:
Marco Bernardo
e-mail: bernardo@sti.uniurb.it
Notification of accepted tool demos will be posted by 22 May 2002.