|
|
10th International School on
Formal Methods for the Design of
Computer, Communication and Software Systems:
Quantitative Aspects of Programming Languages
21-26 June 2010
| Presentation | Programme | Location | Organization | Application | Sponsorships |
| Application deadline: | 29 March 2010 |
| Notification deadline: | 31 March 2010 |
| Registration deadline: | 20 April 2010 |