Courses:

June 2011 DISC School -- Automata Tool Session (Examples), University of Cagliari, Sardinia, Italy
2009 Graph Algorithms (web pages in czech), Faculty of Information Technology, Brno University of Technology
2008-2009 Modern Theoretical Computer Science, Faculty of Information Technology, Brno University of Technology
2008-2009 Mathematical Structures in Computer Science (web pages in czech), Faculty of Information Technology, Brno University of Technology
2005-2009 Formal Languages and Compilers (web pages in czech), Faculty of Information Technology, Brno University of Technology
2004/2005 Introduction to Algebra, Faculty of Eletrical Engineering, Czech Technical University, Prague
2004/2005 Mathematics 2 (partially, then a stay abroad), Faculty of Eletrical Engineering, Czech Technical University, Prague
2003/2004 Induction and Recursion, Faculty of Informatics, Masaryk University, Brno

Conferences:

2011 IFAC WC 2011, DCFS 2011
2010 DLT 2010, WODES 2010, NCMA 2010
2009 LATA 2009, DCFS 2009, NCMA 2009
2008 AFL 2008
2007 LATA 2007, DCFS 2007, FCT 2007 (passive)

Links: