4th International School on
Formal Methods for the Design of
Computer, Communication and Software Systems:
13-18 September 2004
|Application deadline:||31 May 2004|
|Notification deadline:||11 June 2004|
|Registration deadline:||5 July 2004|
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.
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.
How to reach Bertinoro.
|Marco Bernardo||Elena Della Godenza|
The registration fee is 500 euros and includes the tutorial book.
The accommodation fee is 310 euros and covers the costs for the period 12-19 September 2004 (7 nights) in double room (to share with another participant), half board (breakfast and lunch, dinner of 12 September 2004 included, lunch of 19 September 2004 excluded).
The reduced accommodation fee for the participants who do not need a room is 100 euros and covers the costs for the period 12-18 September 2004 (6 lunches).
Notification of accepted/rejected applications
and grant requests will be posted by 11 June 2004.
Registration to the school is due by 5 July 2004.
No refund is possible for cancellation after 22 August 2004.