[TYPES/announce] [FMICS 2009] Deadline Extension to 20 April

fmics2009@dsic.upv.es fmics2009 at dsic.upv.es
Wed Apr 15 15:39:36 EDT 2009


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.



More information about the Types-announce mailing list