MEMICS 2008

	Green Lounge
9:00-10:00	Shmuel Ur (Invited Talk) Concurrent Bugs: How to Eliminate Them or Render Them Harmless
10:00-10:30	Coffee Break
	Green Lounge	Attic Classroom
10:30-10:55	Pavlí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:20	Michal Malohlava, Tomáš Bureš Language for Reconfiguring Runtime Infrastructure of Component-based Systems	Bob Bowden Co-operative Network Mitigation
11:20-11:45	Morten Kühnrich Formal Model--Driven Design of Distributed Algorithms	Ivan Fialík Noise and the Mermin-GHZ Game
11:45-12:05	Matej 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:30	Lunch
	Green Lounge	Attic Classroom
13:30-14:30	Parosh Aziz Abdulla (Invited Talk) Parameterized Verification via Monotonic Abstraction
14:40-15:05	Tomáš 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:30	Tomáš 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:00	Coffee Break
	Green Lounge	Attic Classroom
16:00-16:25	Martin 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:50	Václav Brožek Regularity in PDA Games Revisited	Tomáš Rebok DiProNN Resource Management System
17:00-17:25	Pavel Š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:45	Alexander 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:05	Petr 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:45	Dinner, Wine Cellar Lechovice

•

More photos

Photos and Design