|
|
7th International School on
Formal Methods for the Design of
Computer, Communication and Software Systems:
Performance Evaluation
28 May - 2 June 2007
| Presentation | Programme | Location | Organization | Application | Sponsorships |
| Application deadline: | 11 March 2007 |
| Notification deadline: | 18 March 2007 |
| Registration deadline: | 31 March 2007 |
BiCi -
Bertinoro international Center for informatics
|