SFM-02:MC 2nd International School on Formal Methods for the Design of Computer, Communication and Software Systems: Model Checking 9-14 September 2002 |
---|
Application deadline: | 15 May 2002 |
Notification deadline: | 22 May 2002 |
Registration deadline: | 15 June 2002 |
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.
E.M. Clarke, O. Grumberg, D.A. Peled |
``Model Checking'', |
MIT Press, 1999 |
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.
Marco Bernardo | Andrea Bandini |
e-mail: bernardo@sti.uniurb.it | e-mail: cbert@sun1.spfo.unibo.it |
Marco Bernardo |
e-mail: bernardo@sti.uniurb.it |