posted by user: dballis || 6066 views || tracked by 15 users: [display]

WWV 2009 : 5th International Workshop on Automated Specification and Verification of Web Systems

FacebookTwitterLinkedInGoogle


Conference Series : Workshop on Automated Specification and Verification of Web Sites
 
Link: http://www.risc.uni-linz.ac.at/about/conferences/wwv09/
 
When Jul 17, 2009 - Jul 17, 2009
Where Castle of Hagenberg, Austria
Abstract Registration Due Feb 2, 2009
Submission Deadline Feb 9, 2009
Notification Due Apr 20, 2009
Final Version Due Jun 1, 2009
Categories    web   verification   security   formal methods
 

Call For Papers

***********************************************************
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

Related Resources

ATVA 2024   22nd International Symposium on Automated Technology for Verification and Analysis
IEEE COINS 2024   IEEE COINS 2024 - London, UK - July 29-31 - Hybrid (In-Person & Virtual)
LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
CSW 2024   2024 3rd International Conference on Cyber Security
FDL 2024   Forum on specification and Design Languages
CEVVE 2024   2024 2nd International Conference on Electric Vehicle and Vehicle Engineering (CEVVE 2024)
ICAPS 2024   The 34th International Conference on Automated Planning and Scheduling
IOTCB 2024   3rd International Conference on IOT, Cloud and Big Data
PCDS 2024   The 1st International Symposium on Parallel Computing and Distributed Systems
CAV 2024   36th International Conference on Computer Aided Verification