Saturday, October 22, 2016
Best paper candidates in bold
9:00-10:30Session III - Recommender Systems / Automata
Ladislav Peska: Using the Context of User Feedback in Recommender Systems

Ricardo Almeida: Reducing Nondeterministic Tree Automata by Adding Transitions

Jan Křetínský, Tobias Meggendorfer, Clara Waldmann, and Maximilian Weininger: Index Appearance Record for Transforming Rabin Automata into Parity Automata (presentation)
10:30-11:00Coffee Break
11:00-12:00Roland Meyer: Summaries for Context-Free Games (invited talk)
12:00-13:00Lunch
13:00-14:30Tour of Telč underground
14:30-15:30Armin Biere: Bit-Blasting Considered Harmful (invited talk)
15:30-16:00Coffee Break
16:00-18:00Session IV - SMT solving & Logic
Jan Mrázek and Jiří Barnat: SMT Query Decomposition and Caching in Data-Symbolic Model Checking (presentation)

Martin Jonáš: Solving Quantified Bit-Vector Formulas Using Binary Decision Diagrams (presentation)

Jaroslav Bendík, Nikola Beneš, Jiří Barnat, and Ivana Černá: Finding Boundary Elements in Ordered Sets with Application to Requirements Analysis (presentation)

Vojtěch Havlena and Dana Hliněná: A Note on One Less Known Class of Generated Residual Implications
19:00 Conference Dinner