Friday, September 24, 2010

MEMICS 2010, Call for Participation

6th Doctoral Workshop on Mathematical and Engineering
Methods in Computer Science

MEMICS 2010

http://www.memics.cz/
October 22--24, 2010, Hotel Galant, Mikulov, Czech Republic

Call for Participation

------------------------------------------------------------------------------

Early registration: October 1, 2010

------------------------------------------------------------------------------

The MEMICS 2010 workshop is organized jointly by the Faculty of Information
Technology, Brno University of Technology, and the Faculty of Informatics,
Masaryk University. MEMICS provides a forum for doctoral students
interested in applications of mathematical and engineering methods in
computer science.

Topics
------
Computer security; software and hardware dependability;
parallel and distributed computing; formal analysis and verification;
simulation; testing and diagnostics; grid computing; computer networks;
modern hardware and its design; non-traditional computing architectures;
quantum computing; as well as all areas of theoretical computer science
underlying the previously mentioned subjects. Moreover, this year, we
specifically invite submissions in computer graphics and vision, signal and
image processing, text and speech processing, human-computer interaction,
especially when related with security or parallel or distributed
processing.

Invited talks
-------------
Alan Chalmers (Univ. of Warwick, UK) on
Real Virtuality: High-fidelity multi-sensory virtual environments
Andreas Steininger (Vienna Univ. of Technology, Austria) on
New approaches to fault tolerant systems design
Antti Valmari (Tampere Univ. of Technology, Finland) on
Recent results on DFA minimization and other block splitting algorithms
Stefan Wörz (Univ. of Heidelberg and DKFZ Heidelberg, Germany) on
Model-based segmentation of biomedical images

Regular Papers:
---------------
Jan Balach.
Designing Fault-Tolerant system using reconfiguration
Petr Bauch and Milan Ceska.
CUDA accelerated LTL Model Checking - revisited
Nikola Benes and Jan Kretinsky.
Process Algebra for Modal Transition Systemses
Jaroslav Borecky, Kohlik Martin and Hana Kubatova.
How to Measure Dependability Parameters of Programmable Digital Circuits
Jakub Chaloupka.
Algorithm for Two-Energy Games
Ondrej Danek and Martin Maska.
A Simple Topology Preserving Max-Flow Algorithm for Graph Cut Based Image
Segmentation
Jan Fousek, Tomas Golembiovsky, Igor Peterlik and Jiri Filipovic.
Haptic Rendering Based on RBF Approximation from Dynamically Updated Data
Jan Gaura and Eduard Sojka.
A Level Set Method without Reinitialisation and with GPU Acceleration
Artur Gintrowski, Kamila Wolnica and Pawel Kostka.
Modeling Gene Networks using Fuzzy Logic
Tomas Golembiovsky and Ales Krenek.
Compression of Vector Field Changing in Time
Adam Husar, Tomas Hruska, Karel Masarik, Miloslav Trmac, Jan Hranac,
Dusan Kolar and Zdenek Prikryl.
Automatic C Compiler Generation from Architecture Description Language ISAC
Pavel Karas.
Efficient Computation of Morphological Greyscale Reconstruction
Jan Krupka and Ivan Simecek.
Parallel solvers of Poisson's equation
Ilja Kucevalovs.
On reliability and refutability in nonconstructive identification
Martin Maska, Pavel Matula and Michal Kozubek.
Simultaneous Tracking of Multiple Objects Using Fast Level Set-Like Algorithm
Jiri Matela, Vit Rusnak and Petr Holub.
GPU-Based Sample-Parallel Context Modeling for EBCOT in JPEG2000
Zdenek Prikryl, Jakub Kroustek, Tomas Hruska and Dusan Kolar.
Fast Translated Simulation of ASIPs
Boris Prochazka, Tomas Vojnar and Martin Drahansky.
Hijacking of Linux Kernel
Thomas Reinbacher, Joerg Brauer, Martin Horauer, Andreas Steininger and
Stefan Kowalewski.
Test-Case Generation for Embedded Binary Code Using Abstract Interpretation
Stepan Srubar.
A Survey of Image Segmentation Evaluation Algorithms
Miloslav Trmac, Adam Husar, Jan Hranac, Tomas Hruska and
Karel Masarik.
Instructor Selector Generation from Architecture Description
Pavel Troubil and Hana Rudova.
Integer Programming for Media Streams Planning Problem
Tim Wegner, Claas Cornelius, Andreas Tockhorn and Dirk Timmermann.
Monitoring and Control of Temperature in Networks-on-Chip

Presentations
-------------
Tomas Babiak, Vojtech Rehak and Jan Strejcek.
Almost Linear Buchi Automata
Jiri Barnat, Petr Bauch, Lubos Brim and Milan Ceska.
Employing Multiple CUDA Devices to Accelerate LTL Model Checking
Jan Bouda, Matej Pivoluska, Libor Caha, Paulo Mateus and
Nikola Paunkovic.
Quantum Simultaneous Contract Signing
Jonathan Cederberg.
Automated Analysis of Data-Dependent Programs with Dynamic Memory
Antoine Durand-gasselin and Peter Habermehl.
On the Use of Non-deterministic Automata for Presburger Arithmetic
Ivan Fialik.
Unitary Noise and the Mermin-GHZ Game
Robert Ganian, Petr Hlineny, Jan Obdrzalek, Joachim Kneis, Peter Rossmanith,
Somnath Sikdar and Daniel Meister.
Are there any good digraph width measures?
Radim Hatlapatka and Petr Sojka.
Document Engineering for a Digital Library
Lukas Holik, Tomas Vojnar, Richard Mayr, Parosh A.
Abdulla and Yu-Fang Chen.
When Simulation Meets Antichains
Dalibor Klusacek and Hana Rudova.
The Use of Incremental Schedule-based Approach for Efficient Job Scheduling
Filip Konecny, Radu Iosif and Marius Bozga.
Fast Acceleration of Ultimately Periodic Relations
Jan Krcal and Jan Kretinsky.
Timed Automata Objectives in Stochastic Real-Time Games
Bohuslav Krena, Zdenek Letko, Tomas Vojnar and Shmuel Ur.
A Platform for Search-Based Testing of Concurrent Software
Silvie Luisa Brazdilova and Michal Kozubek.
Image division technique in automated fluorescence microscopy
Vladislav Martinek and Michal Zemlicka.
Remarks on Complex Navigation Systems
Petr Pospichal.
Simple genetic algorithm running on GPU
Michal Prochazka, Daniel Kouril and Ludek Matyska.
User Centric Authentication for Web Applications
Jan Samek and Frantisek Zboril.
Hierarchical Model of Trust in Contexts
Andriy Stetsko, Lukas Folkman and Vashek Matyas.
Neighbor-based Intrusion Detection for Wireless Sensor Networks

Venue
-----
The workshop will be held in Mikulov, a lovely town near the
Austrian borders at the edge of the Palava Landscape Protected Area.
Mikulov, situated in the centre of vineyard area, is also famous for
numerous examples of architecture. Tourists attractions include the Mikulov
Castle, the Piarist College, the Dietrichstein Sepulchre, and the former
Jewish ghetto.

The workshop is organized within project No. 102/09/H042 of the Czech
Science Foundation.

General Chair
Ludek Matyska, Czech Rep.

Programme Committee Chairs
Michal Kozubek, Czech Rep., Tomas Vojnar, Czech Rep., Pavel Zemcik, Czech Rep.

Organizing Committee Chair
Jan Staudek, Czech Rep.