Events and Activities
Events and Activities
| Date | Event | |
|---|---|---|
| June 21-26, 2010 | SFM-10:QAPL - 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems:
Quantitative Aspects of Programming Languages
Bertinoro, Italy |
|
| June 09-11, 2010 | CONCERTO final meeting
Torino, Italy |
|
| March 27-28, 2010 | 8th Workshop on Quantitative Aspects of Programming Languages QAPL'10
Paphos, Cyprus |
|
| August 30 - September 4, 2009 | 9th International School on Foundations of Security Analysis and Design FOSAD'09
Bertinoro, Italy |
|
| March 28-29, 2009 |
7th Workshop on Quantitative Aspects of Programming Languages QAPL'09
York, UK |
|
| March 30, 2009 |
5th International Workshop on Programming Language Interference and
Dependence ( PLID'09 )
London, UK |
|
| June 25 - 26, 2009 | 24-esimo Convegno Italiano di Logica Computazionale
Ferrara, Italy |
|
| September 13 - 16, 2009 |
7th Workshop on Quantitative Aspects of Programming Languages QEST'09
Budapest, |
|