IP ILPC 2011 Honza Hájek