[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/ * *********************************************************** *************** IMPORTANT DATES *************** Abstract Submission April 12, 2010 Full Paper Submission April 19, 2010 Acceptance Notification May 23, 2010 Camera Ready June 20, 2010 Workshop July 30-31, 2010 *************** SCOPE *************** The increased complexity of Web sites and the explosive growth of Web-based applications has turned their design and construction into a challenging problem. Nowadays, many companies have diverted their Web sites into interactive, completely-automated, Web-based applications (such as Amazon, on-line banking, or travel agencies) with a high complexity that requires appropriate specification and verification techniques and tools. Systematic, formal approaches to the analysis and verification can address the problems of this particular domain with automated and reliable tools that also incorporate semantic aspects. We solicit original papers on formal methods and techniques applied to Web sites, Web services or Web-based applications, such as: * rule-based approaches to Web system analysis, certification, specification, verification, and optimization * algebraic methods for verification and certification of Web systems * formal models for describing and reasoning about Web sites * model-checking, synthesis and debugging of Web sites * analysis and verification of linked data * abstract interpretation and program transformation applied to the semantic Web * intelligent tutoring and advisory systems for Web specifications authoring * Web quality and Web metrics * Web usability and accessibility * Testing and evaluation of Web systems and applications The WWV series provides a forum for researchers from the communities of Rule-based programming, Automated Software Engineering, and Web-oriented research to facilitate the cross-fertilization and the advancement of hybrid methods that combine the three areas. The previous WWV editions were: WWV'09 (Hagenberg, Austria), WWV'08 (Siena, Italy), WWV'07 (Venice, Italy), WWV'06 (Paphos, Cyprus), and WWV'05 (Valencia, Spain). *************** LOCATION *************** WWV 2010 will be held at the Compilers and Languages Group (Complang) of the Faculty of Informatics at the Vienna University of Technology, Austria. The Complang Group is located in the center of Vienna, beside the Karlskirche and near the Opera. For more information about the Complang Group, please visit: http://www.complang.tuwien.ac.at *************** SUBMISSION *************** Submissions must be received by April 19, 2010. In addition, an ASCII version of the title and abstract must be submitted by April 12, 2010. Please submit research reports up to 15 pages in PDF, conforming to the format produced by LaTeX using the easychair.cls class file of EasyChair. The class style may be downloaded at: http://www.easychair.org/easychair.zip Submission is web-based via this link: http://www.easychair.org/conferences/?conf=wwv2010 *************** PUBLICATION *************** We will prepare workshop pre-proceedings for the workshop participants. After the workshop, an open call for a special journal issue is envisaged. *************** COMMITTEES *************** PROGRAM CO-CHAIRS: Laura Kovacs, Vienna University of Technology, Austria Temur Kutsia, Johannes Kepler University Linz, Austria PROGRAM COMMITTEE Maria Alpuente Frasnedo, Technical University of Valencia, Spain Demis Ballis, University of Udine, Italy Jorge Manuel Neves Coelho, University of Porto, Portugal Vicente Luque Centeno, Universidad Carlos III de Madrid, Spain Wlodzimierz Drabent, IPI PAN, Polish Academy of Sciences Santiago Escobar, Technical University of Valencia, Spain Moreno Falaschi, University of Siena, Italy Jens Knoop, Vienna University of Technology, Austria Laura Kovacs, Vienna University of Technology, Austria Temur Kutsia, Johannes Kepler University Linz, Austria Catherine Meadows, Naval Research Laboratory, USA *************** INVITED SPEAKER *************** Andrei Voronkov, University of Manchester, UK *************** RELATED EVENTS *************** WWV 2010 will take place after the RISC Summer 2010 conference series: http://www.risc.uni-linz.ac.at/about/conferences/summer2010/ held in Hagenberg near Linz. There are frequent train connections of about 1.5 hours between Linz and Vienna.