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
2012
NEWS
 
December 3, 2012
Conference photos
Conference photos are available online.
MAIN FACTS
MEMICS IN BRIEF
INVOLVEMENT
IMPORTANT DATES
PROGRAMME
INVITED SPEAKERS
REGULAR PAPERS
PRESENTATIONS
PASTIME
SOCIAL EVENTS
LIST OF PARTICIPANTS
PHOTOGALLERY
LOCALE
VENUE
MAP
October 25—28, 2012    Loucky monastery    Znojmo    Czech Republic
 

Sunday, October 28, 2012
Room ARoom B
Invited Talk, Chair: Jan Bouda
9:00-10:00Simon Perdrix
Graph-based Quantum Secret Sharing
10:00-10:30Coffee Break
Verification and Automata
Chair: Jiří Srba
Theoretical Foundations
Chair: Tomáš Brázdil
10:30-10:50Jan Kretinsky and Javier Esparza
Deterministic Automata for the (F,G)-fragment of LTL
Denis Kurz, Petra Mutzel and Bernd Zey
Parameterized Algorithms for Stochastic Steiner Tree Problems
10:50-11:10Lukas Holik, Ondrej Lengal, Jiri Simacek and Tomas Vojnar.
Efficient Inclusion Checking over Tree Automata
Martin Beyss
Fast Algorithm for Rank-Width
11:10-11:30Jussi Lahtinen, Kim Björkman, Janne Valkonen and Ilkka Niemelä
Emergency Diesel Generator Control System Verification by Model Checking and Compositional Minimization
Sandra Ose and Juris Viksna.
On WQO property for different quasi orderings of set of permutations
11:30-11:50Ernst Moritz Hahn and Arnd Hartmanns
Compositional Modelling and Safety Verification for Stochastic Hybrid Systems
Fritz Boekler, Petra Mutzel and Bernd Zey
The Stochastic Steiner Tree Problem on Partial k-Trees
11:50-12:10Andreas Gaiser, Javier Esparza and Stefan Kiefer
Proving Termination of Probabilistic Programs Using Patterns
Tomáš Gavenčiak, Daniel Kráľ and Sang-Il Oum
Deciding first order logic properties of matroids
12:10-13:00Lunch
Quantum Computing
Chair: Simon Perdrix
Man-Machine Communication and Linguistics
Chair: Dušan Kolář
13:00-13:20Andris Ambainis, Janis Iraids, Dmitry Kravchenko and Madars Virza
Advantage of Quantum Strategies in Random Symmetric XOR Games
Vít Rusňák, Lukáš Ručka and Petr Holub
Towards User-Aware Multi-Touch Interaction Layer for Group Collaborative Systems
13:20-13:40Jan Bouda, Matej Pivoluska and Martin Plesch
Encryption with Weakly Random Keys Using Quantum Ciphertext
Martin Čermák, Petr Horáček and Alexander Meduna
Rule-Restricted Automaton-Grammar Tranduscers: Power and Linguistic Applications
13:40-14:00
Marek Polcak, Martin Dobias and Vratislav Fabian
Eye Tracking Principles and I4Tracking Device
14:00-14:30Coffee Break
14:30-15:00Prizes Announcement, Business Meeting, and Closing Ceremony
15:30Departure, Bus to Brno

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