WWV 2007

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.

TOPICS

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

IMPORTANT DATES

INVITED SPEAKERS

PROGRAM CO-CHAIRS

WORKSHOP CHAIR

PROGRAM COMMITTEE

SUBMISSION PROCEDURE

Submission is web-based via this link.

Submissions must be received by October 21, 2007. In addition, an ASCII version of the title and abstract must have been submitted by October 14, 2007.

Submitted papers should be at most 15 pages in the Electronic Notes in Theoretical Computer Science (ENTCS) style, and should include an abstract and the author's information. See the author's instructions of ENTCS style at http://www.entcs.org.

ACCOMODATION

We have blocked single rooms in the research centre of the island of San Servolo at a very special rate (70 Eur/night) for the nights of Dec. 13th and 14th (so, you can arrive on the 13th and depart on the 15th), though other arrangements are possible under request to wwv07registration@dimi.uniud.it.

Therefore, all attendees are automatically assigned a single room in the island for the nights of Dec 13th and 14th. Please do not book a hotel room elsewhere (at least for the workshop period).

PUBLICATION

Accepted papers will be published in a preliminary proceedings volume, which will be available during the workshop.

After the workshop, the final proceedings are going to be published in the Elsevier series Electronic Notes in Theoretical Computer Science (ENTCS, ISSN: 1571-0661).

WORKSHOP VENUE

WWV'07 will be held in December in the convention centre of the island of San Servolo, Venice, Italy.

TRAVEL INFORMATION

Please note that timetables and prices may change.

For some information about how to reach the island of San Servolo from the Marco Polo international airport and from the historic center of Venice, please visit this link.

To Venice by private road taxi/bus: If you decide to reach Venice by private road taxi/bus, you will arrive at Piazzale Roma, the Venice bus terminal and car parking area. To reach the island of San Servolo, then you can take

1. a public boat (vaporetto) -e.g. n. 41, n. 51, n.82- from Piazzale Roma to San Zaccaria;
2. and then the public boat (vaporetto) n.20 from San Zaccaria to San Servolo.

To Venice by train: If you decide to reach Venice by train, you will arrive at Venezia Santa Lucia train station. To reach the island of San Servolo, then you can take

1. a public boat (vaporetto) -e.g. n. 41, n. 51- from Stazione FS to San Zaccaria;
2. and then the public boat (vaporetto) n. 20 from San Zaccaria to San Servolo.

For people arriving at the Treviso Canova Airport there are the following possibilities to reach Venice and hence the island of San Servolo.

• From Treviso Canova Airport by bus to Piazzale Roma-Venice
  

  ATVO buses run between the airport and Piazzale Roma (Venice bus terminal and car parking area) and are in connection with the departures and the arrivals of RYANAIR flights. The cost of a ticket is 5,00 euros for one way and 9,00 euros return, valid 7 days (luggage included). Tickets can be purchased at the ticket office ATVO in the arrivals hall or at the change office in Treviso Airport. The journey time is approximately 45 minutes in good traffic conditions. For timetables and further information visit the ATVO website: Eurobus service/RYANAIR Treviso Airport - Mestre-Venezia (timetable).

• From Treviso Canova Airport by Private Road Taxi to Piazzale Roma-Venice

  A private road taxi from the aiport to Piazzale Roma (Venice bus terminal and car parking area) will cost approximately 70,00 euros. You will find road taxis available in front of the airport terminal.

• From Treviso Canova Airport by Train to Venice-Santa Lucia

  The number 6 ACTT bus provides the service from Treviso airport to the local train station. The bus runs every 30 minutes and has a journey time of approximately 20 minutes. The cost of a ticket is 1,00 euros and can be bought in the arrivals hall (tickets are also available on board but the coast is 2,00 euros). Buses run from 6.09 in the morning till 22.06. Buses run from 6.09 in the morning till 22.06 and leave from the forecourt of the airport.
  Trains from Treviso Railway station leave almost every 30 minutes, from 5.06 in the till 23.45. Journey time is around 35 minutes and tickets cost 2,20 euros.
  Please follow this link for further information about train timetables.
  Please note: the train station in Venice City Centre is Venezia Santa Lucia and not Venezia Mestre.

BEST PAPER AWARD

Robin Message and Alan Mycroft. Controlling control flow in web applications

SPONSORS