PROGRAM
Days: Sunday, December 7th Monday, December 8th
Sunday, December 7th
View this program: with abstractssession overviewtalk overview
08:30-10:30 Session 2: Invited tutorial
Chair: Nikolaj Bjorner
| 08:30 | Handwriting Recognition (a Tutorial) (abstract) |
10:30-11:00Coffee Break
11:00-12:00 Session 3: Contributed talks
Chair: David Aspinall
| 11:00 | PDT Logic for Stream Reasoning in Multi-agent Systems (abstract) |
| 11:30 | A refutation procedure for proving satisfiability of constraint specifications on XML documents (abstract) |
12:00-14:00Lunch Break
14:00-15:30 Session 4: Invited and a contributed talk
Chair: Andrei Voronkov
| 14:00 | νZ - Maximal Satisfaction with Z3 (abstract) |
| 15:00 | Parametric Strategy Iteration (abstract) |
15:30-16:00Coffee Break
16:00-17:15 Session 5: Contributed talks
Chair: Helmut Seidl
| 16:00 | A Self-Disciplined Privacy Oriented Access Control Framework for Public Clouds (abstract) |
| 16:15 | Automated detection and resolution of firewall misconfigurations (abstract) |
| 16:30 | A Library of Anti-Unification Algorithms (abstract) |
| 16:45 | Modelling and Simulation for the Analysis of Securities Markets (abstract) |
Monday, December 8th
View this program: with abstractssession overviewtalk overview
09:00-10:00 Session 7: Invited talk
Chair: Temur Kutsia
| 09:00 | Meaning Formulas for Syntax-Based Mathematical Algorithms (abstract) |
10:00-10:30Coffee Break
10:30-12:00 Session 8: Contributed talks
Chair: Sihem Guemara
| 10:30 | Machine Learning of Coq Proof Guidance: First Experiments (abstract) |
| 11:00 | Towards an amortized type system for JavaScript (abstract) |
| 11:30 | Work-In-Progress: Repairing a Loop by Constructive Transformation using Mutation Analysis (abstract) |
| 11:45 | Merging Termination with Abort Freedom (abstract) |
12:00-14:00Lunch Break
