MEMICS 2011

	Room A	Room B
	Invited Talk, Chair: Ivana Černá
9:00-10:00	Petr Tůma Computer Memory: Why We Should Care What Is Under The Hood
10:00-10:20	Coffee Break
	Timed, Stochastic, and Hybrid Systems Chair: Krishnendu Chatterjee	Computer System Design Chair: Jan Schmidt
10:20-10:45	Jan Krčál and Jan Křetínský Fixed-delay Events in Generalized Semi-Markov Processes Revisited	Martin Tomec, Petr Mikušek and Václav Dvořák A Cascade Decomposition of Application-Specific Systems
10:45-11:10	Alexandre David, Daniel Ejsing-Duun, Lisa Fontani, Kim Guldstrand Larsen, Vasile Popescu and Jacob Haubach Smedegrd Optimal Infinite Runs in One-Clock Priced Timed Automata	Christos Sakellariou and Peter Bentley Introducing the FPGA-based Hardware Architecture of Systemic Computation (HAoS)
11:10-11:35	Boyan Yordanov, Jana Tumova, Calin Belta, Ivana Černá and Jiří Barnat Formal Analysis of Piecewise Affine Systems through Formula-Guided Refinement	Alina Vasilieva Uniformly Distributed Quantum Query Algorithms for Multifunctions
11:35-12:00	Jiří Barnat, Ivana Černá and Jana Tůmová Timed Automata Approach to Verification of Systems with Degradation	Zdeněk Vašíček and Lukáš Sekanina Evolutionary Optimization of Complex Digital Circuits
12:00-13:15	Lunch
13:15-16:00	Zámek Valtice
	Invited Talk, Chair: Antonín Kučera
16:00-17:00	Krishnendu Chatterjee Games and Probabilistic Systems with Mean-payoff, Energy and Parity Objectives
	Software Testing and Debugging Chair: Jan Strejček	Formal Languages 1 Chair: Galina Jirásková
17:10-17:35	Pavel Jančík, Pavel Pařízek and Jan Kofroň Advanced Debugging with JPF Inspector	Petr Horáček and Alexander Meduna Regulated Rewriting in Natural Language Translation
17:35-18:00	Zdeněk Letko, Bohuslav Křena, and Tomáš Vojnar Noise Injection Heuristics for Concurrency Testing	Martin Čermák and Alexander Meduna n--Accepting Restricted Pushdown Automata Systems
19:00	Dinner, Valticke podzemi

•

Photos and Design