[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] FM 2009: Second Call for Papers



*********************************************************
*                                                       *
*  FM2009: 16th FM Symposium and 2nd World Congress     *
*            >>> Theory meets practice <<<              *
*                                                       *
*            October 30 - November 7,  2009             *
*              Eindhoven, the Netherlands               *
*             http://www.win.tue.nl/fm2009              *
*                                                       *
*********************************************************
*                                                       *
*                      ** NEWS **                       *
*                                                       *
* >> FACJ Special Issue                                 *
*    Authors of selected papers will be invited to      *
*    submit a journal version for a special             *
*    anniversary issue of Springer's Formal Aspects of  *
*    Computing.                                         *
*                                                       *
* >> LNCS proceedings                                   *
*    Springer has confirmed that the proceedings will   *
*    be published in their Lecture Notes in Computer    *
*    Science series.                                    *
*                                                       *
*********************************************************
*                                                       *
*               ** IMPORTANT DATES **                   *
*                                                       *
*       May     4  -  Submission deadline (firm)        *
*       July    6  -  Notification of acceptance        *
*       August 10  -  Camera-ready  version  due        *
*                                                       *
*********************************************************
*                                                       *
*                  INVITED SPEAKERS                     *
*            Wan Fokkink, The Netherlands               *
*              Carroll Morgan, Australia                *
*                Colin O'Halloran, UK                   *
*               Sriram Rajamani, India                  *
*                Jeannette Wing, USA                    *
*                                                       *
*********************************************************
*                                                       *
*       - Inviting contributions in  the area of        *
*         development and application of  formal        *
*         methods for  the improvement  of   the        *
*         current practice of system development.       *
*                                                       *
*       - Special track on tools  and industrial        *
*         applications.                                 *
*                                                       *
*       - Worldwide PC including members from 46        *
*         countries.                                    *
*                                                       *
*       - Prize  for  best  paper  by  Springer.        *
*                                                       *
*       - Selection  of  papers   to  appear  in        *
*         anniversary special issue of reputable        *
*         journals.                                     *
*                                                       *
*********************************************************


FM2009 is part of:

*********************************************************
*                                                       *
*     +============================================+    *
*     |                                            |    *
*     |                 ** FMweek **               |    *
*     |                                            |    *
*     +============================================+    *
*     |     CPA     |     FACS     |     FAST      |    *
*     +--------------------------------------------+    *
*     |    FM2009   |     FMCO     |     FMICS     |    *
*     +--------------------------------------------+    *
*     |     PDMC    |    REFINE    | TESTCOM/FATES |    *
*     +--------------------------------------------+    *
*     |        http://www.win.tue.nl/fmweek        |    *
*     +============================================+    *
*                                                       *
*********************************************************

_______________________________________________
events mailing list
events@xxxxxxxxxxxx
http://www.fmeurope.org/mailman/listinfo/events