MEMICS
MEMICS
Annual Doctoral Workshop on Mathematical and
Engineering Methods in Computer Science
 
organized jointly by the Masaryk University
and the Brno University of Technology, Czechia
2011
2010
2009
2008
2007
2006/2005
NEWS
 
October 22—24, 2010    Hotel Galant    Mikulov    Czechia
 

Friday, October 22, 2010
10:00-11:30Registration
11:30-13:00Lunch, Bellevue Restaurant
Aurelius HallPálava Hall
13:00-13:10Opening Ceremony (Luděk Matyska)
Chair: Zdeněk Kotásek
13:10-14:10Andreas Steininger
New Approaches to Fault Tolerant Systems Design

Chair: Luděk Matyska

Chair: Antti Valmari
14:20-14:45Jan Krupka and Ivan Šimeček
Parallel solvers of Posisson's equation
Jan Krcal and Jan Kretinsky
Timed Automata Objectives in Stochastic Real-Time Games
14:50-15:15Tomáš Golembiovský and Aleš Křenek
Compression of Vector Field Changing in Time
Lukas Holik, Tomas Vojnar, Richard Mayr, Parosh A. Abdulla and Yu-Fang Chen
When Simulation Meets Antichains
15:20-15:45Artur Gintrowski, Kamila Wolnica and Paweł Kostka
Modeling Gene Networks using Fuzzy Logic
Tomáš Babiak, Vojtěch Řehák and Jan Strejček
Almost Linear Büchi Automata
15:45-16:15Coffee Break

Chair: Vashek Matyáš

Chair: Josef Gruska
16:15-16:40Filip Konecny, Radu Iosif and Marius Bozga
Fast Acceleration of Ultimately Periodic Relations
Ivan Fialík
Unitary Noise and the Mermin-GHZ Game
16:45-17:10Jan Samek and František Zbořil
Hierarchical Model of Trust in Contexts
Jan Bouda, Matej Pivoluska, Libor Caha, ...
Quantum Simultaneous Contract Signing
17:15-17:40Michal Procházka, Daniel Kouřil and Luděk Matyska
User Centric Authentication for Web Applications
Robert Ganian, Petr Hlineny, Jan Obdrzalek, ...
Are there any good digraph width measures?
17:45-18:10Andriy Stetsko, Lukáš Folkman and Vashek Matyáš
Neighbor-based Intrusion Detection for Wireless Sensor Networks
Ilja Kucevalovs
On reliability and refutability in nonconstructive identification
18:15-18:40Boris Procházka, Tomáš Vojnar and Martin Drahanský
Hijacking of Linux Kernel
Jakub Chaloupka
Algorithm for Two-Energy Games
19:00Dinner, Degustační galerie Pálava

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