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

[PVS] [FMICS 2009] Call for Posters



FMICS 2009 - CALL FOR POSTERS
Please visit: http://users.dsic.upv.es/workshops/fmics2009


************************************************************
*              14th International Workshop on              *
*      Formal Methods for Industrial Critical Systems      *
*                       FMICS 2009                         *
*                                                          *
*                   November 2-3, 2009                     *
*               Eindhoven, The Netherlands                 *
************************************************************
*                 ** IMPORTANT DATES **                    *
*                                                          *
*         Submission deadline:       June 5, 2009          *
*         Notification:              June 20, 2009         *
*         Camera-ready version:      July 15, 2009         *
*         Workshop:                  November 2-3, 2009    *
*                                                          *
************************************************************
*                                                          *
*      +============================================+      *
*      |                                            |      *
*      |                 ** FMweek **               |      *
*      |                                            |      *
*      +============================================+      *
*      |     CPA     |     FACS     |     FAST      |      *
*      +--------------------------------------------+      *
*      |    FM2009   |     FMCO     |     FMICS     |      *
*      +--------------------------------------------+      *
*      |     PDMC    |    REFINE    | TESTCOM/FATES |      *
*      +--------------------------------------------+      *
*      |        http://www.win.tue.nl/fmweek        |      *
*      +============================================+      *
*                                                          *
************************************************************