WING PROGRAM
Wednesday, July 23rd
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:45-10:15 Session 159F: Invited Talk and Contributed Talk (joint with ARW-DT and VERIFY)
Location: FH, Hörsaal 3
| 08:45 | Chasing the Perfect Specification (abstract) |
| 09:45 | Typed First-Order Logic (abstract) |
10:15-10:45Coffee Break
10:45-12:15 Session 166L: Contributed Talks (joint with ARW-DT and VERIFY)
Location: FH, Hörsaal 3
| 10:45 | Reasoning About Vote Counting Schemes Using Light-weight and Heavy-weight Methods (abstract) |
| 11:15 | Introducing a Sound Deductive Compilation Approach (abstract) |
| 11:45 | Verifying safety properties of Artificial General Intelligence: The ultimate safety-critical system? (abstract) |
12:15-13:15 Session 171B: Verification: Contributed Talks (joint with ARW-DT and VERIFY)
Location: FH, Hörsaal 3
| 12:15 | Reasoning about Auctions (abstract) |
| 12:45 | Automating Regression Verification (abstract) |
13:00-14:30Lunch Break
14:30-16:00 Session 172J: Contributed Talks (joint with ARW-DT)
Location: FH, Hörsaal 3
| 14:30 | A Theorem Prover Backed Approach to Array Abstraction (abstract) |
| 15:00 | ALICe: A Framework to Improve Affine Loop Invariant Computation (abstract) |
| 15:30 | Loop Invariants by Mutation, Dynamic Validation, and Static Checking (abstract) |
16:00-16:30Coffee Break
16:30-18:00 Session 175I: Evaluation, Sets, Tableaux (joint with ARW-DT)
Location: FH, Hörsaal 3
| 16:30 | Towards Evaluating the Usability of Interactive Theorem Provers (abstract) |
| 17:00 | Combined Reasoning with Sets and Aggregation Functions (abstract) |
| 17:30 | Tableau Development for a Bi-Intuitionistic Tense Logic (abstract) |