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

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

10:15-10:45Coffee Break
10:45-12:45 Session 90BH: Invited Talk 2 and Submitted Talks: Javascript and Concurrency
Location: FH, Seminarraum 138C
10:45
Program Analysis for JavaScript Web Applications (abstract)
11:45
Analyzing JavaScript: The Bad Parts (abstract)
12:15
Saturation of Concurrent Collapsible Pushdown Systems (Extended Abstract) (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 96BI: Abstract Interpretation and Linear Logic
Location: FH, Seminarraum 138C
14:30
Environment Unrolling (abstract)
15:00
Strong Function Call (abstract)
15:30
The modal nature of colors in higher-order model-checking (abstract)
16:00-16:30Coffee Break