QUANTIFY PROGRAM
Friday, July 18th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
08:45-10:15 Session 86G: Opening and Invited Talk (joint with LaSh)
Chair:
Location: MB, Aufbaulabor
08:45 | LaSh and QUANTIFY Openings (abstract) |
09:00 | Instantiation-based reasoning, EPR encodings and all that (abstract) |
10:15-10:45Coffee Break
10:45-13:00 Session 90AI: EPR, QBF, and QCSP
Location: FH, Seminarraum 136
10:45 | Quantifier handling in calculi for quantified Boolean formulas (abstract) |
11:30 | Encoding Reachability with Quantification (abstract) |
12:00 | EPR Encodings of Bit-Vector Problems Even With Quantifiers (abstract) |
12:30 | Beyond Q-Resolution and Prenex Form: A Proof System for Quantified Constraint Satisfaction (abstract) |
13:00-14:30Lunch Break
14:30-16:00 Session 96AJ: QBF and First-Order Logic
Location: FH, Seminarraum 136
14:30 | Algorithmic Paradigms for Solving QBF (abstract) |
15:30 | Projective Quantifier Elimination for Equational Constraint Solving (abstract) |
16:00-16:30Coffee Break
16:30-18:00 Session 99AI: Satisfiability Modulo Theories
Location: FH, Seminarraum 136
16:30 | Efficiently Solving Quantified Bit-Vectors (abstract) |
17:00 | Quantifier Projection (abstract) |
17:30 | Finding Conflicting Instances of Quantified Formulas in SMT (abstract) |