Automated Specification and Verification of Web Systems
10th International Workshop
July 18th, Vienna, Austria
a FLoC workshop @ Vienna Summer of Logic 2014
|
|
Automated Specification and Verification of Web Systems10th International Workshop July 18th, Vienna, Austriaa FLoC workshop @ Vienna Summer of Logic 2014 |
|
While participants have a large choice, we recommend attending VPT in the morning.
|
13:00-14:30 |
Lunch Break |
|
14:30-18:00 |
Joint session with VPT 2014: Web systems |
|
14:30-15:15 |
Invited Talk (shared with VPT): Josep Silva (Universidad Politécnica de Valencia). Automatic Detection of Webpage Candidates for Site-Level Web Template Extraction. |
|
15:15-16:00 |
Invited Talk (shared with VPT): Steve Ross-Talbot (Cognizant Technology Solutions, United Kingdom). A Formal Approach to Legacy Modernization: Baby Steps. |
|
16:00-16:30 |
Coffee Break |
|
16:30-17:00 |
Thomas Sewell. Formal Replay of Translation Validation for Highly Optimised C. |
|
17:00-17:30 |
R. Ramanujam and S. Sheerazuddin. A Local Logic for Realizability in Web Service Choreographies. |
|
17:30-18:00 |
Asad Ali and Maribel Fernandez. Static Enforcement of Role-Based Access Control. |
The WWV 2014 proceedings will be published as a volume of the EPTCS series. Informal WWV 2014 proceedings are included on the flash drive distributed at VSL.