Saturday, October 24, 2015
Best paper candidates in bold
Room ARoom B
9:00-10:00Peter Vojtáš: Understanding transparent and complicated users as instances of preference learning for recommender systems
10:00-10:15Coffee Break
10:15-12:00Verification (chair: Lukáš Holík)
Vladimír Štill, Petr Rockai and Jiri Barnat: Weak Memory Models as LLVM-to-LLVM Transformations

Shyam S. Wagle: Optimized SLA Assured Service Brokering (SLaB) and Service Verification in Multi-Cloud Environment

Matteo Marescotti, Antti E. J. Hyvärinen and Natasha Sharygina: Search-Space Partitioning for Parallelizing SMT Solvers
Recommender systems (chair: Peter Vojtáš)
Jiří Kučera, Alexander Meduna and Ondřej Soukup: Absolutely Unlimited Deep Pushdown Automata

Ľubomír Antoni, Stanislav Krajči and Ondrej Krídlo: Randomized fuzzy formal contexts

Vojtěch Havlena and Dana Hliněná: Fitting aggregation operators
12:00-13:00Lunch
13:00-14:30Tour at the Telč Chateau
14:45-15:45Natasha Sharygina: Flexible interpolation for efficient model checking
15:45-16:05Coffee Break
16:05-17:20Verification and automata (chair: Natasha Sharygina)
Tomáš Babiak, František Blahoudek, Alexandre Duret-Lutz, Joachim Klein, Jan Křetínský, David Müller, David Parker and Jan Strejcek: The Hanoi Omega-Automata Format

Tomas Fiedor, Ondrej Lengal, Lukas Holik and Tomas Vojnar: Nested Antichains for WS1S
Efficient algorithms (chair: Adam Rogalewicz)
Miloš Šimek, Aleš Křenek, Jan Ištvánek, Jana Řepková and Radka Svobodová Vařeková: ECHO NGS Error Correction Reimplemented: Huge Speedup for Little Loss of Accuracy

Petr Hlineny and Ondřej Slámečka: Practical Exhaustive Generation of Small Multiway Cuts in Sparse Graphs

Jan Fousek: Devectorization of Array Expressions for Selective Just in Time Specialization of Neural Ensamble Simulations
17:30-18:30 Ezio Bartocci: Formal Methods for Monitoring and Synthesis of Spatio-Temporal Properties
19:00 Conference Dinner