VSL 2014: VIENNA SUMMER OF LOGIC 2014
WWV PROGRAM
Friday, July 18th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:15-10:45Coffee Break
13:00-14:30Lunch Break
14:30-16:00 Session 96BG: Invited talk by Josep Silva (joint with VPT)
Location: FH, Seminarraum 107
14:30
Josep Silva
Automatic Detection of Webpage Candidates for Site-Level Web Template Extraction (abstract)
16:00-16:30Coffee Break
16:30-18:00 Session 99BA: Joint session with VPT: Web systems
Location: FH, Seminarraum 107
16:30
Asad Ali and Maribel Fernandez
Static Enforcement of Role-Based Access Control (abstract)
17:00
R. Ramanujam and S. Sheerazuddin
A Local Logic for Realizability in Web Service Choreographies (abstract)