MEMICS 2016

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

•

Photos and Design