[TYPES/announce] WWV'10: Deadline extension

Temur Kutsia kutsia at risc.uni-linz.ac.at
Tue Apr 13 06:39:10 EDT 2010


[Apologies if you receive multiple copies]

     ***********************************************************
     *                   CALL FOR PAPERS                       *
     *                                                         *
     *                       WWV 2010                          *
     * Automated Specification and Verification of Web Systems *
     *             6th International Workshop                  *
     *                                                         *
     *      Vienna University of Technology, Austria           *
     *                 July 30-31, 2010                        *
     *      http://www.complang.tuwien.ac.at/WWV2010/          *
     ***********************************************************


***************
EXTENDED DEADLINES
***************

Abstract Submission       April 26, 2010
Full Paper Submission        May 3, 2010




More information about the Types-announce mailing list