1st International School on Formal Methods for the Design of Computer, Communication and Software Systems: Process Algebras SFM-01:PA |
23-28 July 2001, Bertinoro, Italy
Application deadline: | 10 April 2001 |
Notification deadline: | 1 June 2001 |
Registration deadline: | 23 June 2001 |
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).
``Handbook of Process Algebra'', |
J.A. Bergstra, A. Ponse, and S.A. Smolka editors, |
Elsevier Science Publishers B.V., Amsterdam, 2001. |
The administrative directors are:
The local organizers are:
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 |
A limited amount of grants will be provided to cover part of the expenses.