HOPA PROGRAM
Friday, July 18th
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 | 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 | 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