WWV'09 - DEADLINE EXTENSION

[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/
_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users