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
 

Saturday, October 27, 2012
Room ARoom B
Invited Talk, Chair: Petr Hliněný
9:00-10:00Colin McDiarmid
Quicksort and Large Deviations
10:00-10:30Coffee Break
Program Analysis and Verification
Chair: Dirk Beyer
Planning, Control, and Searching
Chair: Josef Gruska
10:30-10:50Jiri Slaby, Jan Strejcek and Marek Trtík
Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution
Dalibor Klusacek, Vaclav Chlumsky and Miroslav Ruda
Planning, Predictability and Optimization within the TORQUE Scheduler
10:50-11:10Jiri Barnat, Petr Bauch and Lubos Brim
Checking Sanity of Software Requirements
Mária Svoreňová, Jana Tůmová, Jiří Barnat and Ivana Černá
Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints
11:10-11:30Hossein Hojjat, Radu Iosif, Filip Konecny, Viktor Kuncak and Philipp Rummer
Accelerating Predicate Abstraction
Jiri Petrlik, Pavol Korcek, Otto Fucik, Marian Beszedes and Lukas Sekanina
Estimation of missing values in traffic density maps
11:30-11:50Jan Strejcek and Marek Trtík
Abstracting Path Conditions
Yushan Chen, Jana Tumova and Calin Belta
LTL Robot Motion Control based on Automata Learning of Environmental Dynamics
11:50-12:10Lukáš Ďurfina, Jakub Kroustek, Petr Zemek, Břetislav Kábele and Dušan Kolář
On Complex Reconstruction of Functions from Binary Executable Files
Nikolajs Nahimovs, Andris Ambainis, Alexander Rivosh and Arturs Backurs
Grover's algorithm with errors
12:10-13:00Lunch
Invited Talk, Chair: Antonín Kučera
13:00-14:00Peter Bro Miltersen
Recent Result on Howard's Algorithm
14:30Excursion (Znojmo underground), Wine tasting festival

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