Automated Specification and Verification of Web Systems


10th International Workshop

July 18th, Vienna, Austria


a FLoC workshop @ Vienna Summer of Logic 2014


WWV 2014 | Call for papers (txt, pdf) | Important dates | Invited speakers | Program Committee | Steering Committee | Submission | Registration | Venue and travel | VSL 2014

PROGRAM

Friday,  July 18

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

 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.