Preliminary Program

19 November 2006

9:25	Welcome address (Chair: María Alpuente)
9:30	Invited Talk
9:30	Mary Poppins and the Web of the Future: Search, Share, Semantics, and Sugar Massimo Marchiori
10:30	Session 1: Web Verification (Chair: Santiago Escobar)
10:30	Fixing Web Sites Using Correction Strategies Daniel Romero, Demis Ballis
11:00	Filtering XML Documents Daniel Romero, Demis Ballis
11:30	Coffee
12:00	Session 2: Web Accesibility (Chair: Demis Ballis)
12:00	WAEX: Web Accessibility Evaluator in a single XSLT file Vicente Luque-Centeno, Carlos Delgado Kloos, Martin Gaedke, Martin Nussbaumer
12:30	A lightweight Web GUI specification and realisation system and its impact on accessibility Roger Stone
13:00	Lunch
15:30	Tutorial
15:30	Modeling Interactions of Web Software Tevfik Bultan
14:30	Coffee
17:00	Session 3: Formal Frameworks for Web Services (Chair: Moreno Falaschi)
17:00	A web-based Runtime-Reconfigurable Role Management Service Martin Karusseit, Tiziana Margaria
17:30	Towards a Formal Framework for Developing Secure Web Services Ali Nasrat Haidar, Ali E. Abdallah
18:00	Extending Automated Guidelines Inspection with Ontology for User Interface of Web applications (Poster) Marco Winckler, Joseph Xiong, Christelle Farenc
18:15	Concluding remarks

---

Santiago Escobar

Last modified: November 22, 2006