First CFP: WWV 2009

First CFP: WWV 2009

Post by tkutsi » Thu, 20 Nov 2008 03:09:54


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 Mlviertel 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/ab
 
 
 

First CFP: WWV 2009

Post by tkutsi » Thu, 20 Nov 2008 03:16:31

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 Mlviertel 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/ab
 
 
 

First CFP: WWV 2009

Post by tkutsi » Thu, 20 Nov 2008 03:16:34

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 Mlviertel 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/ab