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,
 
     

Last modified: Sat Jun 12 14:26:56 CEST 2010