[Sidiraka] RV: [PROLE] [FMICS 2009] Call for Posters
Paqui Lucio
paqui.lucio en ehu.es
Mie Mayo 27 13:21:41 CEST 2009
A quien pueda interesar,
Paqui
-----Mensaje original-----
De: prole-bounces en babel.ls.fi.upm.es
[mailto:prole-bounces en babel.ls.fi.upm.es] En nombre de FMICS 2009 workshop
chair
Enviado el: miércoles, 27 de mayo de 2009 11:27
Para: FMICS 2009
Asunto: [PROLE] [FMICS 2009] Call for Posters
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 | *
* +============================================+ *
* *
************************************************************
_______________________________________________
PROLE mailing list
PROLE en babel.ls.fi.upm.es
https://babel.ls.fi.upm.es/cgi-bin/mailman/listinfo/prole
Más información sobre la lista de distribución SIDIRAKA