| 9:00-10:30 | Session 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:00 | Coffee Break | |
| 11:00-12:00 | Roland Meyer: Summaries for Context-Free Games (invited talk) | |
| 12:00-13:00 | Lunch | |
| 13:00-14:30 | Tour of Telč underground | |
| 14:30-15:30 | Armin Biere: Bit-Blasting Considered Harmful (invited talk) | |
| 15:30-16:00 | Coffee Break | |
| 16:00-18:00 | Session 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 |