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