WLFM 2005 at FM 05: Extended Deadline

              EXTENDED DEADLINE: May 10th, 2005

------------------------------------------------------------------ 

                      Call for Papers 

  International Workshop on Web Languages and Formal Methods  
                         (WLFM 05) 

         Co-located Workshop of Formal Methods 2005
      Endorsed by the W3C Office for the UK and Ireland 

         http://www.w3c.rl.ac.uk/WLFM2005/index.html

                        July 19, 2005  
                   Newcastle upon Tyne, UK 

------------------------------------------------------------------ 

SCOPE
The 'Semantic Web' initiative of the World Wide Web Consortium (W3C)
aims at extending the current Web to facilitate Web automation and
universally accessible content. The Semantic Web includes several layers
of development. At the bottom there is an infrastructure to identify,
locate and transform resources in a robust and safe way. Such
infrastructure is accompanied by a set of Web languages, such as XML,
RDF, OWL among others, for expressing resource properties. At the top,
there are applications exploiting the resources of the Semantic Web. The
Semantic Web, and Web languages in particular, present challenges and
opportunities for the Formal Methods community. On one hand, Web
technologies based on XML can provide good infrastructure for developing
tools and environments for formal software designs because they allow
sharing of design models and provide various links among the models. For
example, the CZT team (a part of Z User Community) has developed an
XML-based standard interchange formats for Z (ZML) to promote
interoperability and constructions of open-source case tools. The
success of the Semantic Web may also have impact on the tools
environment for formal methods. On the other hand, formal methods and
tools can also be applied to the Web-Service/Semantic-Web domain. For
example, generating Web ontology/rules from formal specification models
and checking/verifying XML/Semantic-Web based services and agents could
be novel application domains for formal methods. Formal methods may also
provide sound semantics/extensions and tools support for various Web
languages and techniques, such as WSDL,OWL-S, SWRL etc. This workshop
aims to report new research results in this area. 

TOPICS
We welcome submissions of original research papers and reports on tools
that are related to:
- Adding Formal Constructs to Web Languages
- Collaborative Formal Development through Web
- Electronic Commerce and Formal Techniques
- Formal Approaches to Web Agents
- Formal Methods Based Testing for Web Systems
- Formal Methods for Web Ontologies and Rules
- Formal Methods for Web Systems Composition
- Formal Methods for (Semantic) Web Services
- Model Checking and Verification of Web Systems
- Refinement for Web Services Development
- Semantics and Tools for Web Languages
- XML/Semantic-Web Tools for Formal Methods 

IMPORTANT DATES
Paper submission deadline: May 10, 2005 
Accept/Reject Notification: June 10, 2005 
Final Manuscript: July 1, 2005 
Workshop Date: July 19, 2005

SUBMISSIONS
Papers submitted to WLFM 2005 must be in English and present original
research that is unpublished and not submitted for publication
elsewhere. The proceedings of the workshop will be published by Lecture
Notes in Computer Science after the workshop (under discussion). Paper
should be up to 15 pages, with a clear abstract and keywords. Please use
the LNCS format available at
http://www.springer.de/comp/lncs/authors.html.

In case of acceptance of a paper at least one author must present the
contribution at the workshop, otherwise it will be removed from the list
of publications. 

ORGANISATION
Workshop Co-chairs: 
Alvaro Arenas <A.E.Arenas @ rl.ac.uk> CCLRC Rutherford Appleton
Laboratory, UK 
Jin Song Dong <dongjs @ comp.nus.edu.sg> National University of
Singapore 
Andrew Martin <Andrew.Martin @ comlab.ox.ac.uk> Oxford University, UK 
Brian Matthews <B.M.Matthews @ rl.ac.uk> CCLRC Rutherford Appleton
Laboratory, UK

PROGRAMME COMMITTEE
Ali Abdallah, London South Bank University, UK 
Yamine Ait Ameur, LISI/ENSMA, Poitiers, France 
Michael Butler, Southampton University, UK 
Jeremy Carroll, HP Labs, Bristol, UK. 
David Duce, Oxford Brookes University, UK 
Cedric Fournet, Microsoft Research, UK 
Frank van Harmelen, Vrije Universiteit Amsterdam, NL 
Vishnu Kotrajaras, Chulalongkorn University, Thailand 
Dean Kuo, CSIRO, Australia 
Dorel Lucanu, A.I.Cuza University, Romania 
Massimo Marchiori, University of Venice, Italy. 
Julian Padget, University of Bath, UK 
Jeff Pan, University of Manchester, UK 
Marco Pistore, University of Trento, Italy 
Jing Sun, University of Auckland, NZ 
Hai Wang, University of Manchester, UK 
Hussein Zedan, De Montefort University, UK 

------------------------------------------------------------------

Received on Tuesday, 3 May 2005 15:40:37 UTC