WWV 2011 Automated Specification and Verification of Web Systems

First Call for Papers

WWV 2011
Automated Specification and Verification of Web Systems
7th International Workshop
(as part of DisCoTec'11)

http://rap.dsi.unifi.it/wwv2011/

June 9, 2011 - Reykjavik, Iceland

********************************************************


IMPORTANT DATES

Abstract Submission                        March 28, 2011
Full Paper Submission                        April 4, 2011
Acceptance Notification                              May 3, 2011
Camera Ready (pre-proceedings)                May 30, 2011
Workshop                                June 9, 2011
Camera Ready (post-proceedings)                July 4, 2011