5th International School on
Formal Methods for the Design of
Computer, Communication and Software Systems:
Mobile Computing

26-30 April 2005

Bertinoro University Residential Center


Presentation Programme Location Organization Application Sponsorships

Application deadline: 24 January 2005
Notification deadline: 1 February 2005
Registration deadline: 28 February 2005


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 interest for graduate students and young researchers who intend to approach the field.

Past editions:

This year SFM is devoted to formal methods and tools for the design of mobile systems and mobile communication infrastructures. The school covers the theory underlying mobile processes, languages and middleware for supporting mobility, security and performance aspects, and dynamic power management.

This edition of the school is organized by the Information Science and Technology Institute of the University of Urbino within the project "Methodologies for the Development and the Verification of Distributed Applications on Wireless Mobile Terminals".

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 can be reached in a couple of hours from the international airport "G. Marconi" of Bologna by shuttle (from the airport to the railway station) + train (from Bologna to Forlì) + bus (from the railway station to Bertinoro). The closest airport is the "L. Ridolfi" airport of Forlì, which is 13 km away.

Bertinoro is close to many splendid locations such as Urbino, Gradara, San Leo, and the Republic of San Marino, as well as some less well-known locations like the thermal springs of Fratta Terme. Bertinoro can also be a base for visiting some of the better-known Italian locations such as Bologna, Ravenna, Ferrara, Venezia, Padova, Verona, Firenze, Pisa, and Siena.

Bertinoro itself is picturesque, with its 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 it is possible to enjoy a beautiful vista that stretches from the Apennines to the Adriatic coast and the Alps over the Po Valley.


Scientific directors: Secretary: Webmaster:


Prospective participants should send by 16 January 2005 the application form (plain text only) to the two e-mail addresses below:

Marco Bernardo bernardo@sti.uniurb.it
Monica Michelacci mmichelacci@centrocongressibertinoro.it
by specifying in the form whether a grant is requested to cover part of the registration fee (no grant can be requested to cover the accommodation fee or the travel expenses).

The registration fee is 500 euros and includes the teaching material.
The accommodation fee is 300 euros and covers the costs for the period 25-30 April 2005 (6 nights) in double room (to share with another participant), half board (breakfast and lunch, dinner of 25 April 2005 included, lunch of 1 May 2005 excluded).
The reduced accommodation fee for the participants who do not need a room is 100 euros and covers the costs for the period 26-30 April 2005 (5 lunches).

Notification of accepted/rejected applications and grant requests will be posted by 1 February 2005.
Registration to the school is due by 28 February 2005.
No refund is possible for cancellation after 31 March 2005.


Financial support from: Under the auspices of: