[Apologies if you receive multiple copies] *********************************************************** * CALL FOR PAPERS * * * * WWV 2009 * * Automated Specification and Verification of Web Systems * * 5th International Workshop * * * * Castle of Hagenberg, Austria. July 17, 2009 * * http://www.risc.uni-linz.ac.at/conferences/wwv09/ * * * * Part of the RISC Summer 2009 * * http://www.risc.uni-linz.ac.at/conferences/summer2009/ * *********************************************************** IMPORTANT DATES Abstract Submission February 2, 2009 Full Paper Submission February 9, 2009 Acceptance Notification April 20, 2009 Camera Ready June 1, 2009 Workshop July 17, 2009 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 site 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 * 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'08 (Siena, Italy), WWV'07 (Venice, Italy), WWV'06 (Paphos, Cyprus), and WWV'05 (Valencia, Spain). LOCATION WWV'09 will be held at the Research Institute for Symbolic Computation (RISC), which is an institute of the Johannes Kepler University in Linz. It is located in the Castle of Hagenberg, a romantic, medieval castle amidst the lovely, hilly landscape of the Mühlviertel region, 20 km north east of Linz, the provincial capital of Upper Austria, located halfway between Salzburg and Vienna. For more information about RISC, please visit: http://www.risc.uni-linz.ac.at/ The workshop is a part of the RISC Summer 2009 conference series: http://www.risc.uni-linz.ac.at/about/conferences/summer2009/ SUBMISSION PROCEDURE Submissions must be received by February 9, 2009. In addition, an ASCII version of the title and abstract must be submitted by February 2, 2009. Submitted papers should be prepared in LaTeX, formatted according to the Springer llncs style, and should not exceed 15 pages. Submission is web-based via this link: http://www.easychair.org/conferences/?conf=wwv09 PUBLICATION Accepted papers will be published in a preliminary proceedings volume, which will be available during the workshop. After the workshop, a special issue of the Journal of Symbolic Computation on the topic of the WWV workshop is planned. PROGRAM CO-CHAIRS Demis Ballis University of Udine, Italy Temur Kutsia Johannes Kepler University Linz, Austria WORKSHOP CO-CHAIRS Temur Kutsia Johannes Kepler University Linz, Austria Wolfgang Schreiner Johannes Kepler University Linz, Austria INVITED SPEAKERS François Bry Ludwig Maximilian University of Munich, Germany Axel Polleres National University of Ireland, Galway, Ireland PROGRAM COMMITTEE Maria Alpuente Technical University of Valencia, Spain Demis Ballis University of Udine, Italy Wlodzimierz Drabent Linköping University, Sweden, and Institute Of Computer Science, Polish Academy of Sciences, Poland Santiago Escobar Technical University of Valencia, Spain Moreno Falaschi University of Siena, Italy Mário Florido University of Porto, Portugal Temur Kutsia Johannes Kepler University Linz, Austria Massimo Marchiori University of Padova, Italy Mircea Marin University of Tsukuba, Japan Catherine Meadows Naval Research Laboratory, USA Rosario Pugliese University of Florence, Italy I.V. Ramakrishnan Stony Brook University, USA Antonio Vallecillo University of Malaga, Spain