1st International School on
Formal Methods for the Design of
Computer, Communication and Software Systems:
Process Algebras


23-28 July 2001, Bertinoro, Italy

[LOGOEEF]        [LOGOIP]        [LOGOEAPLS]

Important Dates
Application deadline: 10 April 2001
Notification deadline: 1 June 2001
Registration deadline: 23 June 2001


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. This year SFM is devoted to process algebras and covers their semantical foundations, analysis techniques, expressive characteristics, and applications. The school also features the demonstration of process algebra based software tools.

The school lasts one week (from Monday 23 to Saturday 28 July 2001) and offers 15 monographic courses of 2-4 hours each and 4 tool demo sessions. The school is organized at the Centro Residenziale Universitario of the University of Bologna, located in Bertinoro, a small village on a scenic hill with a wonderful panorama, between Forlì and Cesena (about 70 km south-east of Bologna, 20 km to the Adriatic sea).

School Material

All the participants will receive a copy of the:
``Handbook of Process Algebra'',
J.A. Bergstra, A. Ponse, and S.A. Smolka editors,
Elsevier Science Publishers B.V., Amsterdam, 2001.
Additionally, transparencies and pertinent papers will be provided.


The scientific directors are:
  • Marco Bernardo (University of Torino - I)
  • Roberto Gorrieri (University of Bologna - I)
  • Scott Smolka (SUNY at Stony Brook - USA)
  • The administrative directors are:

  • Andrea Bandini (CRU Bertinoro - I)
  • Roberta Poggi (CRU Bertinoro - I)
  • The local organizers are:

  • Alessandro Aldini (University of Bologna - I)
  • Andrea Bandini (CRU Bertinoro - I)
  • Marco Bernardo (University of Torino - I)
  • Mario Bravetti (University of Bologna - I)
  • Roberta Poggi (CRU Bertinoro - I)

  • Registration and Accommodation

    The school is directed to PhD students and young researchers. Due to space limitations, at most 30 participants will be admitted to the lectures. Prospective participants should send an application, together with a recommendation letter, by 10 April 2001, preferably by e-mail, to the two addresses below:
    Marco Bernardo Andrea Bandini
    Univ. di Torino - Dip. di Informatica Centro Residenziale Universitario
    Corso Svizzera 185, I-10149 Torino, Italy Via Frangipane 6, I-47032 Bertinoro (FC), Italy
    tel: +39-011-6706747 tel: +39-0543-446500
    fax: +39-011-751603 fax: +39-0543-446599
    e-mail: bernardo@di.unito.it e-mail: cbert@sun1.spfo.unibo.it

    Notification of accepted applicants will be posted by 1 June 2001.
    Registration to the school is due by 23 June 2001.

    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 22-29 July (7 nights) in double room, half board (breakfast and lunch, except for the lunch of 29 July).

    A limited amount of grants will be provided to cover part of the expenses.


    Sponsors: Under the auspices of: