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
2015
NEWS
 
May 9, 2016
MEMICS 2016
We invite you to Telč for MEMICS 2016 conference.
November 9, 2015
Best Papers
Conference proceedings and photogallery are available. Best Papers announced.
MAIN FACTS
MEMICS IN BRIEF
INVOLVEMENT
IMPORTANT DATES
PROGRAMME
INVITED SPEAKERS
PAPERS
PRESENTATIONS
PASTIME
SOCIAL EVENTS
LOCALE
VENUE
MAP
October 23—25, 2015    University Centre    Telc    Czech Republic
 

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

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