Automated Specification and Verification of Web Systems


10th International Workshop

July 18th, Vienna, Austria


a FLoC workshop @ Vienna Summer of Logic 2014
WWV 2014 | Call for papers (txt, pdf) | Invited speakers | Program Committee | Steering Committee | Submission | Program | Registration | Venue and travel | VSL 2014

IMPORTANT DATES

Paper submission (extended) May 2, 2014 May 16, 2014
Notification of acceptance May 30, 2014
Camera ready versions June 20, 2014
Workshop WWV 2014 July 18, 2014