MEMICS 2010

10:00-11:30	Registration
11:30-13:00	Lunch, Bellevue Restaurant
	Aurelius Hall	Pálava Hall
13:00-13:10	Opening Ceremony (Luděk Matyska)
	Chair: Zdeněk Kotásek
13:10-14:10	Andreas Steininger New Approaches to Fault Tolerant Systems Design
	Chair: Luděk Matyska	Chair: Antti Valmari
14:20-14:45	Jan 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:15	Tomáš 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:45	Artur 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:15	Coffee Break
	Chair: Vashek Matyáš	Chair: Josef Gruska
16:15-16:40	Filip 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:10	Jan 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:40	Michal 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:10	Andriy 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:40	Boris Procházka, Tomáš Vojnar and Martin Drahanský Hijacking of Linux Kernel	Jakub Chaloupka Algorithm for Two-Energy Games
19:00	Dinner, Degustační galerie Pálava

•

Photos and Design