|
11th International School on
Formal Methods for the Design of
Computer, Communication and Software Systems:
Connectors for Eternal Networked Software Systems
13-18 June 2011
Presentation | Programme | Location | Organization | Application | Sponsorships |
Application deadline: | 21 March 2011 (extended to 17 April 2011) |
Notification deadline: | 31 March 2011 (extended to 22 April 2011) |
Registration deadline: | 20 April 2011 (extended to 10 May 2011) |