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.
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.
We solicit original papers on formal methods and techniques applied to Web sites, Web services or Web-based applications, such as:
Abstract Submission | ||
Full Paper Submission | ||
Acceptance Notification | April 20, 2009 | |
Camera Ready | June 1, 2009 | |
Workshop | July 17, 2009 |
François Bry | Ludwig Maximilian University of Munich, Germany |
Axel Polleres | National University of Ireland, Galway, Ireland |
Demis Ballis | University of Udine, Italy |
Temur Kutsia | Johannes Kepler University Linz, Austria |
Temur Kutsia | Johannes Kepler University Linz, Austria |
Wolfgang Schreiner | Johannes Kepler University Linz, Austria |
Maria Alpuente | Technical University of Valencia, Spain |
Demis Ballis | University of Udine, Italy. (PC co-chair) |
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. (PC co-chair) |
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 |
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
After the workshop, a special issue of the Journal of Symbolic Computation on the topic of the WWV workshop is planned.
Accepted papers have been published as a RISC-Linz Technical Report:
Registration via the RISC Summer 2009 registration page.
Early registration deadline: June 26.
The workshop will take place 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 20 km north east of Linz, the provincial capital of Upper Austria, located halfway between Salzburg and Vienna.
More information about RISC can be found on the institute's web page and also on the folder.
Travel information, maps, and transport schedule can be found on the RISC portal.
Hotel Sommerhaus in Hagenberg, 5 minutes walking distance from the conference venue, good quality rooms with Internet access, parking place. Price for a single room: 34 Euro, including breakfast. Booking via the registration page.
Building photos: photo 1, photo 2.
Hotel address:
Hotel Sommerhaus Hagenberg
Hauptstrasse 115
4232 Hagenberg
Phone: +43 (0)7236/7973-9033
Fax: +43 (0)7236/7973-39
Email: office.hagenberg@studentenwerk.at
Internet access in Sommerhaus is free. If you come with a laptop, the administration can give you a network cable on request and charge 5 Euro deposit for that. Alternatively, you can bring your own cable.