MEMICS
MEMICS
Doctoral Workshop on Mathematical and
Engineering Methods in Computer Science
 
organized jointly by the Masaryk University
and the Brno University of Technology, Czechia
2014
NEWS
 
December 21, 2014
MEMICS 2015
We are glad to invite you to MEMICS 2015.
November 21, 2014
Best paper awards
Best papers announced.
MAIN FACTS
MEMICS IN BRIEF
INVOLVEMENT
IMPORTANT DATES
PROGRAMME
INVITED SPEAKERS
PASTIME
SOCIAL EVENTS
LIST OF PARTICIPANTS
LOCALE
VENUE
MAP
October 17—19, 2014    University Centre    Telc    Czech Republic
 

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

 
 
MEMICS Photo
 
MEMICS
 
Copyright © FI MU
Copyright © FIT VUT
Brno, 2005–2014
FIFIT
Photos and Design