VSL 2014: VIENNA SUMMER OF LOGIC 2014
QBF PROGRAM
Sunday, July 13th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:45-10:15 Session 22D: Novel Directions in QBF Research
Location: FH, Hörsaal 2
08:45
Marijn Heule
A Unified Proof System for QBF Preprocessing (abstract)
09:30
Mikolas Janota
On Instantiation-Based Calculi for QBF (abstract)
10:15-10:45Coffee Break
10:45-13:00 Session 26H: QBF Proofs and Certificates, DQBF
Location: FH, Hörsaal 2
10:45
Uwe Egly
On the Relation between Resolution Calculi for QBFs and First-order Formulas (abstract)
11:15
Friedrich Slivovsky and Stefan Szeider
Resolution Paths and Term Resolution (abstract)
11:45
Valeriy Balabanov, Jie-Hong Roland Jiang, Mikoláš Janota and Magdalena Widl
Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs (abstract)
12:15
Christoph Scholl
Dependency Quantified Boolean Formulas - Challenges, Applications, First Lines of Attack (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 31F: QBF Applications (1): Incremental QBF Solving
Location: FH, Hörsaal 2
14:30
Paolo Marin, Christian Miller and Bernd Becker
Incremental QBF Reasoning for the Verification of Partial Designs (abstract)
15:00
Robert Koenighofer
Reactive Synthesis using (Incremental) QBF Solving (abstract)
15:30
Martin Kronegger, Andreas Pfandler, Florian Lonsing and Uwe Egly
Conformant Planning as a Case Study of Incremental QBF Solving (abstract)
16:00-16:30Coffee Break
16:30-18:00 Session 34G: QBF Applications (2), The QBF Gallery 2014
Location: FH, Hörsaal 2
16:30
Adrià Gascón
Synthesis of distributed systems using QBF (abstract)
17:00
Martina Seidl and Charles Jordan
The QBF Gallery 2014 (abstract)