FMICS 2009 - DEADLINE EXTENSION TO 10 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 ** *
* *
* >> New deadline for abstracts: 10 April *
* >> New deadline for papers (firm): 17 April *
* *
************************************************************
_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users