[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
|