Sunday, October 19, 2014
Room ARoom B
9:00-10:00Derek Groen, Centre for Computational Science, University College London: High-performance multiscale computing for modelling cerebrovascular bloodflow and nanomaterials
10:00-10:15Best paper awards
10:30-12:30 Zuzana Nevěřilová: Paraphrase and Textual Entailment Generation in Czech
Adam Kilgarriff, Vojtěch Kovář, Miloš Jakubíček, Pavel Rychlý and Vít Suchomel: Finding Terms in Corpora for Many Languages
Alexander Meduna and Ondřej Soukup: Computational Completeness Resulting from Scattered Context Grammars Working Under Various Derivation Modes
Peter Matula and Dušan Kolář: Composite Data Type Recovery in a Retargetable Decompilation
Vendula Hruba, Zdenek Letko, Tomas Vojnar, Hana Pluháčková and Bohuslav Křena: Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software
Lukas Holik, Ondrej Lengal, Adam Rogalewicz, Jiri Simacek and Tomas Vojnar: Fully Automated Shape Analysis Based on Forest Automata
Moritz Sinn, Florian Zuleger and Helmut Veith: A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis
Mária Svoreňová, Ivana Cerna and Calin Belta: Optimal Temporal Logic Control for Deterministic Transition Systems with Probabilistic Penalties
Martin Chmelik and Jan Kretinsky: Verification of Markov Decision Processes using Learning Algorithms
Petr Novotný: Minimizing Running Costs in Consumption Systems