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

09:15-10:15 Session 88J: Invited Talk: Matching Logic
Location: FH, Seminarraum 138C
09:15
Grigore Rosu
TBA (abstract)
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
Anders Møller
Program Analysis for JavaScript Web Applications (abstract)
11:45
Nicholas Labich
Analyzing JavaScript: The Bad Parts (abstract)
12:15
Matthew Hague
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
Steven Lyde and Matthew Might
Environment Unrolling (abstract)
15:00
Steven Lyde and Matthew Might
Strong Function Call (abstract)
15:30
Charles Grellois and Paul-André Melliès
The modal nature of colors in higher-order model-checking (abstract)
16:00-16:30Coffee Break