[Haskell] [FMICS 2009] Call for Posters
FMICS 2009 workshop chair
fmics2009 at dsic.upv.es
Wed May 27 05:27:01 EDT 2009
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 | *
* +============================================+ *
* *
************************************************************
More information about the Haskell
mailing list