Running and recent courses and tutorials:

- Mathematical logic; winter term 2017/2018; Czech Technical University (in czech).
- Fuzzy Logic; winter term 2017/2018 Vienna University of Technology

Online courses:

Past tutorials:

- A Gentle Introduction to Abstract
Algebraic Logic, invited tutorial, PhDs
in Logic IX, Bochum, Germany, 2017

- A Gentle Introduction to Mathematical Fuzzy Logic, invited tutorial, 2nd European Summer School on Fuzzy Logic and Applications, Čeladná, Czech Republic, 2016
- Tutorial on Mathematical Fuzzy
Logic (with C. Noguera), Isralog 2014, Haifa, Israel, 2014

- A Gentle Introduction to
Mathematical Fuzzy Logic (with C. Noguera), European
Summer School in Logic, Language and Information, Tübingen,
Germany, 2014

- Logic, Algebra and Implication (with C. Noguera), 4th World Congress and School on Universal Logic, Rio de Janeiro, Brazil, 2013
- Mathematical Fuzzy Logic (with L. Běhounek), 4th World Congress and School on Universal Logic, Rio de Janeiro, Brazil, 2013
- Mathematical Fuzzy Logic:
First-Order and Beyond, invited tutorial, International
Workshop `Information, Uncertainty, and Imprecision', Olomouc,
Czech Republic, 2013

- Abstract Algebraic Logic: Theory and Applications (with C. Noguera), European Summer School in Logic, Language and Information, Opole, Poland, 2012
- Mathematical Fuzzy Logic (with P. Hájek), 1st World Congress and School on Universal Logic, Montreux, Switzerland 2005

Past courses:

- Mathematical Logic, Czech Technical University, 2016/2017-2017/2018
- Foundations of Fuzzy Logic, Czech Technical University, 2012/13, 2014/2015
- Fuzzy Logic, Vienna University of Technology, 2011/12, 2013/14, 2015/2016, 2017/2018
- Mathematical Fuzzy Logic (with L. Běhounek, R. Horčík), Charles University, 2010/11
- Mathematical Fuzzy Logic (with C. Noguera), Charles University, 2013/14
- Applied Non-Classical Logics, Czech Technical University, 2004/05–2006/07, 2008/09, 2013/14
- General Theories of Logical Systems, Charles University, 2005/06–2007/08, 2010/11, 2012/13, 2013/14
- Linear Algebra C, Czech Technical University, 2001/02