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

[PVS] [FMICS 2009] Deadline Extension to 20 April



FMICS 2009 - DEADLINE EXTENSION TO 20 APRIL
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                 *
************************************************************
*                      ** NEWS **                          *
*                                                          *
*         >> Deadline for abstracts:       16 April        *
*         >> Deadline for papers (firm):   20 April        *
*                                                          *
************************************************************

----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.