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
 
November 14—16, 2008    Prestige Hotel    Znojmo    Czechia
 

Saturday, Novemeber 15, 2008
Green Lounge
9:00-10:00Shmuel Ur (Invited Talk)
Concurrent Bugs: How to Eliminate Them or Render Them Harmless
10:00-10:30Coffee Break
Green LoungeAttic Classroom
10:30-10:55Pavlína Moravcová Vařeková, Ivana Černá
Model Checking of Control-User Component-Based Parametrised Systems
Shkodran Gerguri, Václav Matyáš, Zdeněk Říha, Luděk Smolík
Generating Random Sequences from Fingerprints
10:55-11:20Michal Malohlava, Tomáš Bureš
Language for Reconfiguring Runtime Infrastructure of Component-based Systems
Bob Bowden
Co-operative Network Mitigation
11:20-11:45Morten Kühnrich
Formal Model--Driven Design of Distributed Algorithms
Ivan Fialík
Noise and the Mermin-GHZ Game
11:45-12:05Matej Košík, Jiří Šafařík
Strategies for Memory Accounting of Cooperating Pi-Calculus Processes
Koji Kojima
Biometrics Hash Functions against Quantum Adversaries
12:00-13:30Lunch
Green LoungeAttic Classroom
13:30-14:30Parosh Aziz Abdulla (Invited Talk)
Parameterized Verification via Monotonic Abstraction
14:40-15:05Tomáš Brázdil, Václav Brožek, Jan Holeček, Antonín Kučera
Discounted Properties of Probabilistic Pushdown Automata
Viliam Solčány
The Lookahead in a User-Transparent Conservative Parallel Simulator
15:05-15:30Tomáš Brázdil, Vojtěch Forejt, Antonín Kučera
Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives
Tomáš Potužák
Sparsely Synchronized Traffic Flow Characteristics Transfer in Distributed Simulation of Road Traffic
15:30-16:00Coffee Break
Green LoungeAttic Classroom
16:00-16:25Martin Kot, Petr Jančar, Zdeněk Sawa
Normed BPA vs. Normed BPP Revisited
Jan Sedmidubský
A Self-organized System for Large-scale Content-based Information Retrieval
16:25-16:50Václav Brožek
Regularity in PDA Games Revisited
Tomáš Rebok
DiProNN Resource Management System
17:00-17:25Pavel Šimeček, Stefan Edelkamp and Peter Sanders
Semi-External LTL Model Checking
Dalibor Klusáček
Dealing with Uncertainties in Grids through the Event-based Scheduling Approach
17:25-17:45Alexander Heußner, Tristan Le Gall, Grégoire Sutre
CEGAR for Communicating FIFO Machines
Stefan Plantikow, Mikael Högqvist
Continous Queries over Federated Social Networks
17:45-18:05Petr Novosad, Milan Češka
Algorithms for Computing Coverability Graphs for Hybrid Petri Nets
Tomáš Fabián, Jan Gaura
Parallel Implementation of Recursive Background Modeling Technique in CUDA for Tracking Moving Objects in Video Traffic Surveillance
18:45Dinner, Wine Cellar Lechovice

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