Workshop WWV 2008 logo
4th Int'l Workshop on Automated Specification and
Verification of Web Systems

Siena, Italy
July 4, 2008
Co-located with WFLP 2008

Program

Program Printable Version

July 4th

08:30 - 09:00 Workshop Registration
ChairMoreno Falaschi
09:00 - 10:00 Invited Talk - (WFLP'08 Plenary Session) Focusing proof systems for intuitionistic logic
Dale Miller
10:00 - 10:30 Session 1
Session chairSantiago Escobar
10:00 - 10:30 Steve Barker and Gill Lowen
Event-oriented Web-based E-trading
10:30 - 11:00 Coffee break
11:00 - 12:00 Session 2
Session chairMassimo Marchiori
11:00 - 11:30 Maria Alpuente and Daniel Romero
A Visual Technique for Web Pages Comparison
11:30 - 12:00 Josep Silva
Filtering Web Pages
ChairDemis Ballis
12:00 - 13:00 Invited Talk - COWS: a Process Calculus for Service-Oriented Systems
Rosario Pugliese
13:00 - 14:30 Lunch
ChairSantiago Escobar
14:30 - 15:30 Invited Talk - Bridging the Web Accessibility Divide
I.V. Ramakrishnan
15:30 - 16:30 Session 3
Session chairRosario Pugliese
15:30 - 16:00 Michele Baggi
An Ontology-based System for Semantic Filtering of XML Data
16:00 - 16:30 Giacomo Terreni, Francesca Toni, and Paolo Mancarella
Web Sites Repairing through Abduction
16:30 - 17:00 Coffee break
17:00 - 17:30 Session 4
Session chairCatuscia Palamidessi
17:00 - 17:30 Ali N. Haidar and Ali E. Abdallah
Formal Modelling of PKI Based Authentication
Copyright © 2008 Michele Baggi
Last modified: June 21, 2008
Valid XHTML 1.0 Strict Valid CSS