QBF ON SUNDAY, JULY 13TH: TALK VIEW

View: with abstracts session overview side by side with other conferences

9:00

9:30

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

17:00

17:30

18:00

08:45-09:30

A Unified Proof System for QBF Preprocessing

Marijn Heule

09:30-10:15

On Instantiation-Based Calculi for QBF

Mikolas Janota

10:45-11:15

On the Relation between Resolution Calculi for QBFs and First-order Formulas

Uwe Egly

11:15-11:45

Resolution Paths and Term Resolution

Friedrich Slivovsky, Stefan Szeider

11:45-12:15

Efficient Extraction of QBF (Counter)models from Long-Distance Resolution Proofs

Valeriy Balabanov, Jie-Hong Roland Jiang, Mikoláš Janota, Magdalena Widl

12:15-12:45

Dependency Quantified Boolean Formulas - Challenges, Applications, First Lines of Attack

Christoph Scholl

14:30-15:00

Incremental QBF Reasoning for the Verification of Partial Designs

Paolo Marin, Christian Miller, Bernd Becker

15:00-15:30

Reactive Synthesis using (Incremental) QBF Solving

Robert Koenighofer

15:30-16:00

Conformant Planning as a Case Study of Incremental QBF Solving

Martin Kronegger, Andreas Pfandler, Florian Lonsing, Uwe Egly

16:30-17:00

Synthesis of distributed systems using QBF

Adrià Gascón

17:00-18:00

The QBF Gallery 2014

Martina Seidl, Charles Jordan

10:15-10:45 Coffee Break

13:00-14:30 Lunch Break

16:00-16:30 Coffee Break