[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