||15 May 2002
||22 May 2002
||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.
All the participants will receive a copy of the following book:
as well as copies of transparencies and pertinent papers.
|E.M. Clarke, O. Grumberg, D.A. Peled|
|MIT Press, 1999|
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.
The scientific directors are:
The local organizers are:
Prospective participants should send the
application form by 15 May 2002 to the two e-mail
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
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.
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:
Notification of accepted tool demos will be posted by 22 May 2002.