[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] SFM-10:QAPL school -- last call for participation



***********************************************************
*                                                         *
*                       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), 21-26 June 2010            *
*                                                         *
*       http://www.sti.uniurb.it/events/sfm10qapl/        *
*                                                         *
***********************************************************
*                 CALL FOR PARTICIPATION                  *
*                (deadline: 29 March 2010)                *
***********************************************************