[TYPES/announce] Deadline extension: WWV 2009

Temur Kutsia kutsia at risc.uni-linz.ac.at
Tue Feb 3 05:41:16 EST 2009


[Apologies if you receive multiple copies]

     ***********************************************************
     *                   DEADLINE EXTENSION                    *
     *                                                         *
     *                       WWV 2009                          *
     * Automated Specification and Verification of Web Systems *
     *             5th International Workshop                  *
     *                                                         *
     *       Castle of Hagenberg, Austria. July 17, 2009       *
     *                                                         *
     ***********************************************************

NEW DATES
---------
Abstract Submission       February 9, 2009 (extended)
Full Paper Submission     February 16, 2009 (extended)
Acceptance Notification   April 20, 2009
Camera Ready              June 1, 2009
Workshop                  July 17, 2009

WEB PAGE
--------
http://www.risc.uni-linz.ac.at/conferences/wwv09/




More information about the Types-announce mailing list