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
 

Friday, October 17, 2014
10:00-12:00Registration
Room ARoom B
13:30-14:30Gianni Antichi, University of Cambridge: Hardware accelerated networking systems: practice against theory
14:45-16:25 Petr Bauch, Vojtěch Havel and Jiri Barnat: LTL Model Checking of LLVM Bitcode with Symbolic Data
Peter Bezděk, Jiří Barnat, Nikola Beneš and Ivana Černá: LTL model checking of Parametric Timed Automata
Jan Kretinsky: From LTL to Deterministic Automata: A Safraless Compositional Approach
Krishnendu Chatterjee, Martin Chmelík and Przemyslaw Daca: CEGAR for Qualitative Analysis of Probabilistic Systems
Jana Pazúriková and Luděk Matyska: Convergence of Parareal Algorithm Applied on Molecular Dynamics Simulations
Vojtech Nikl and Jiri Jaros: Parallelization of the 3D Fast Fourier Transform Using the Hybrid OpenMP/MPI Decomposition
Tomáš Čejka, Lukáš Kekely, Pavel Benáček, Rudolf B. Blažek and Hana Kubátová: FPGA Accelerated Change-Point Detection Method for 100 Gb/s Networks
Vlastimil Košař and Jan Kořenek: Multi-Stride NFA-Split Architecture for Regular Expression Matching Using FPGA
16:45-17:45 Jozef Ivanecký, European Media Laboratory: Today's Challenges for Embedded ASR
19:00 Conference Dinner

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