MEMICS 2010

	Aurelius Hall Chair: Tomáš Vojnar	Pálava Hall
9:00-10:00	Antti Valmari Recent results on DFA minimization and other block splitting algorithms
10:00-10:30	Coffee Break, Lobby Bar
	Chair: Pavel Zemčík	Chair: Antonín Kučera
10:30-10:55	Pavel Troubil and Hana Rudová Integer Programming for Media Streams Planning Problem	Nikola Benes and Jan Kretinsky Process Algebra for Modal Transition Systemses
11:00-11:25	Dalibor Klusacek and Hana Rudová The Use of Incremental Schedule-based Approach for Efficient Job Scheduling	Jonathan Cederberg Automated Analysis of Data-Dependent Programs with Dynamic Memory
11:30-11:55	Vladislav Martinek and Michal Žemlička Remarks on Complex Navigation Systems	Antoine Durand-gasselin and Peter Habermehl On the Use of Non-deterministic Automata for Presburger Arithmetic
11:55-12:20	Prizes Announcement, Information on MEMICS 2011, and Closing Ceremony
12:30-14:00	Lunch, Bellevue Restaurant
14:00	Departure, Bus to Brno

•

Photos and Design