Charles University in Prague,
Faculty of Mathematics And Physics,
Department of Software Engineering
Room 202, 2nd floor
Malostranské nám. 25
Praha 1 - Malá Strana
118 00
e-mail: vajbar (at) ksi.mff.cuni.cz