Lectures at international conferences or workshops

Realization of semisimple MValgebras by means of propositional structures,
Conference for Fuzzy Set Theory and Applications (FSTA), 30. 1.  4. 2. 2000, Liptovský Ján (Slovakia). 
Pseudoeffect algebras,
International Students' Conference on Applied Mathematics (ISCAM), 14.  15. 4. 2000, Bratislava (Slovakia). 
Structure theory for pseudoeffect algebras,
Conference of the International Quantum Structures Association (IQSA), 30. 3.  5. 4. 2001, Cesenatico (Italy). 
Generalized pseudoeffect algebras and related quantum structures,
International Students' Conference on Applied Mathematics (ISCAM), 20.  21. 4. 2001, Bratislava (Slovakia). 
Archimedean pseudoeffect algebras,
Conference for Fuzzy Set Theory and Applications (FSTA), 27. 1.  1. 2. 2002, Liptovský Ján (Slovakia). 
Partial algebras among quantum structures,
Arbeitstagung Allgemeine Algebra (AAA), 22.  24. 2. 2002, Kaiserslautern (Germany). 
Pseudoeffect algebras with states  typical examples, sufficient conditions,
International Students' Conference on Applied Mathematics (ISCAM), 19.  20. 4. 2002, Bratislava (Slovakia). 
Nearly commutative pseudoeffect algebras,
Conference of the International Quantum Structures Association (IQSA), 1.  5. 7. 2002, Vienna (Austria). 
Weak effect algebras,
International Students' Conference on Applied Mathematics (ISCAM), 11.  12. 4. 2003, Bratislava (Slovakia). 
Notes on product logic with involution,
2nd Workshop on Mathematical Structures for Nonstandard Logics, 12. 12. 2003, Prague (Czech Republic). 
Representing situationdependent fuzzy sets,
Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT), 10.  12. 9. 2003, Zittau (Germany). 
How can we interpolate fuzzy functions?,
Conference for Fuzzy Set Theory and Applications (FSTA), 26. 1.  30. 1. 2004, Liptovský Ján (Slovakia). 
Smooth extensions of fuzzy ifthen rule bases,
International Conference on Computational Intelligence (Fuzzy days), 29. 9.  1. 10. 2004, Dortmund (Germany). 
BL and MTLalgebras as partial structures,
26th Linz Seminar on Fuzzy Set Theory, 1.  5. 2. 2005, Linz (Austria). 
(with M. Navara, D. Butnariu) Linear spaces of fuzzy vectors,
26th Linz Seminar on Fuzzy Set Theory, 1.  5. 2. 2005, Linz (Austria). 
Metrics on universes of propositions determining continuous tnorms,
Algebraic and Topological Methods in NonClassical Logics II, 15.  18. 6. 2005, Barcelona (Spain). 
(with M. Navara) Steiner point of fuzzy sets,
Conference of the International Fuzzy Systems Association (IFSA), 28.  31. 7. 2005, Beijing (China). 
Semantics for propositional fuzzy logics,
Conference "Logic in Hungary", 5.  11. 8. 2005, Budapest (Hungary). 
Fuzzy logic as a logic of information with uncertain content,
International Conference Logic of Soft Computing IV, 5.  7. 10. 2005, Ostrava (Czech Republic). 
Equivalence Relations on Lattices and Residuated lattices,
Prague International Colloquium "Uncertainty: Reasoning about probability and vagueness, 5.  8. 9. 2006, Prag (Czech Republic). 
A logic based on the ordinal sums of Lukasiewicz tnorms,
Second CzechCatalan Conference in Mathematics, 21.  23. 9. 2006, Barcelona (Spain). 
Towards a Proof Theory of Basic Logic,
Conference of the International Fuzzy Systems Association (IFSA), 18.  21. 6. 2007 in Cancún (Mexiko). 
Leftcontinuous tnorms as functional algebras,
Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT), 11.  14. 9. 2007, Ostrava (Czech Republic). 
Boolean automorphisms and the semantics of fuzzy and quantum logics,
First SardinianCatalan Workshop on Algebraic and Fuzzy Logic, 6.7. 10. 2007, Cagliari (Italy). 
Fuzzy logic  hardly replaceable in medical expert systems,
Collegium Logicum on Logical Models of Reasoning with Vague Information, 27. 3. 2008, Vienna (Austria). 
Implicationless fuzzy logics and their application in medicine,
Workshop Fuzzy Logic and Beyond, 23. 7. 2008, Vienna (Austria). 
Effect algebras: a successful notion,
video lecture at the meeting of the International Quantum Structures Association,
6.12. 7. 2008, Sopot (Poland). 
Fuzzy logics for Cadiag2: achievements and problems,
(round table contribution:) Fuzzy logic (in the narrow sense) in technical applications,
Conference on Logic, Algebra, and Truth Degrees, 8.11. 9. 2008, Siena (Italy). 
The partialalgebra method for the representation of algebras related to fuzzy logics,
30th Linz Seminar on Fuzzy Set Theory, 3.  7. 2. 2009, Linz (Austria). 
Fuzzy logic as a formal framework for CADIAG2 (poster),
Conference eHealth 2009 and eHealth Benchmarking 2009, 8.  9. 5. 2009, Vienna (Austria). 
A logic handling both uncertainty and vagueness,
MoscowVienna Workshop on Logic and Computation, 29.  30. 6. 2009, Vienna (Austria). 
Tnormbased fuzzy logic and logics for reasoning under vagueness,
Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT) and the International Fuzzy Systems Association (IFSA), 20.  24. 7. 2009, Lisbon (Portugal). 
(with A. Ciabattoni and K.P. Adlassnig) A formal logical framework for CADIAG2,
Conference of the European Federation for Medical Informatics (MIE), 30. 8.  2. 9. 2009, Sarajevo (Bosnia and Hercegovina). 
On vagueness and granularity,
Conference on Logical Models of Reasoning with Vague Information (LoMoReVI), 14.  17. 9. 2009, Čejkovice (Czech Republic). 
Possibilistic Logic for graded properties,
31st Linz Seminar on Fuzzy Set Theory, 9.  13. 2. 2010, Linz (Austria). 
Invited lecture: Notes on the foundations of fuzzy logic,
ManyVal '10, 3.  5. 5. 2010, Varese (Italy). 
(with H. Mandl, K.P. Adlassnig) Processing gradual information with Fuzzy Arden Syntax,
13th World Congress on Medical and Health Informatics (MEDINFO), Cape Town (South Africa). 
Logics for arguing pro and contra,
32nd Linz Seminar on Fuzzy Set Theory, 1.  5. 2. 2011, Linz (Austria). 
The representation problem for residuated lmonoids: the case of tnorm algebras,
International Conference on Semigroups, General Algebra, and Applications  82nd Arbeitstagung Allgemeine Algebra (AAA),
24.  26. 6. 2011, Potsdam (Germany) 
A logic of the similarity with prototypes
and its relationship to fuzzy logic,
Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT),
18.  22. 7. 2011, AixlesBains (France) 
Logics between approximate reasoning and fuzzy logic,
Workshop on Nonclassical logics,
25.  26. 11. 2011, Vienna (Austria) 
Fuzzy logic and the similaritybased interpretation of fuzzy sets,
Conference for Fuzzy Set Theory and Applications (FSTA), 30. 1.  3. 2. 2012, Liptovský Ján (Slovakia). 
On the characterisation of leftcontinuous tnorms,
33rd Linz Seminar on Fuzzy Set Theory, 14.  18. 2. 2012, Linz (Austria). 
Methods of describing totally ordered commutative monoids,
Linz Algebra Research Day (LARD), 21. 6. 2012, Hagenberg (Austria). 
Invited lecture: On graded logical approaches to formalising medical decision support,
20th European Conference on Artificial Intelligence (ECAI), Workshop on Weighted Logics for AI, 28. 8. 2012, Montpellier (France). 
A logic for approximate reasoning with a comparative connective,
20th European Conference on Artificial Intelligence (ECAI), Workshop on Weighted Logics for AI, 28. 8. 2012, Montpellier (France). 
Construction methods for finite commutative tomonoids,
3rd Conference on Logic, Algebras, and Truth degrees (LATD), 10.  14. 9. 2012, Kanazawa (Japan). 
The conjunction in fuzzy logic,
34th Linz Seminar on Fuzzy Set Theory, 26. 2.  2. 3. 2013, Linz (Austria). 
Direction cones for the representation of tomonoids,
4th Novi Sad Algebraic Conference & Semigroups and Applications 2013, 5.  9. 6. 2013, Novi Sad (Serbia). 
Tomonoid extensions: the key for the construction of tnorms,
Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT), 11.  13. 9. 2013, Milano (Italy). 
Algebraic semantics: the structure of chains,
2nd Prague Symposium on Semilinear Logics, 20. 11. 2013, Prague (Czech Republic). 
On the axiomatisation of logics for approximate reasoning,
12th Conference for Fuzzy Set Theory and Applications (FSTA), 26.  31. 1. 2014, Liptovský Ján (Slovakia). 
(with M. Petrík) On elementary extensions of finite negative commutative tomonoids,
87th Arbeitstagung Allgemeine Algebra, 7.  9. 2. 2014, Linz (Austria) 
(with M. Petrík) Finite negative commutative tomonoids and the levelset approach,
35th Linz Seminar on Fuzzy Set Theory, 18.  22. 2. 2014, Linz (Austria) 
(with A. Zamansky) An application of distancebased approximate reasoning for diagnostic questionnaires in healthcare,
4th Conference on Logic, Algebra, and Truth Degrees (LATD), 16.  19. 7. 2014, Vienna (Austria) 
(with A. Zamansky) A logicbased framework for medical assessment questionnaires,
Workshop on KnowledgeRepresentation for Health Care (KR4HC), 21. 7. 2014, Vienna (Austria) 
(with S. Khourry and A. Zamansky) A fuzzylogic approach to medical assessment questionnaires,
Israeli Workshop on NonClassical Logics and Their Applications (ISRALOG),
29.9.  1.10. 2014, Haifa (Israel) 
(with M. Petrík) Algorithm to generate the Archimedean, finite, negative tomonoids,
Conference SCIS & ISIS, 3.  6. 12. 2014, Fukuoka (Japan). 
The geometry of positive commutative totally ordered monoids,
90. Arbeitstagung Allgemeine Algebra, 4.  7.6.2015 (Novi Sad, Serbia). 
Logic of prototypes and counterexamples: possibilities and limit,
Conference of the European Society for Fuzzy Set Theory and Applications (EUSFLAT), 30. 6.  3. 7. 2015 (Gijón, Spain). 
Work done and work to be done: tomonoids, coextensions, constructions
Workshop New Perspectives on Residuated Posets, 28.  30. 9. 2015 (Brno, Czech Republic). 
What should a logic of vagueness be useful for?
Workshop on the future of MFL, 16. 6. 2016 (Prague, Czech Republic). 
Group coextensions of monoids in an ordered setting,
92. Arbeitstagung Allgemeine Algebra, 27.  29. 5. 2016 (Prague, Czech Republic). 
Algorithm to generate finite totally ordered monoids,
16th Conference on Information Processing and Management of Uncertainty in KnowledgeBased Systems (IPMU), 20.  24. 6. 2016 (Eindhoven, The Netherlands). 
Invited lecture: The many facets of the representation theory of residuated structures,
54th Summer School on General Algebra and Ordered Sets (SSAOS), 3.  9. 9. 2016 (Trojanovice, Czech Republic).
Lectures at seminars

Quantenstrukturen (Quantum structures),
12. 6. 2001, Working group 1 of the Faculty of Mathematics, Technical University Darmstadt (Prof. Burmeister). 
States on pseudoeffect algebras,
10. 4. 2002, Institute of Mathematics, Department of Electrical Engeneering, Czech Technical University Prague (Prof. Pták). 
Pseudoeffektalgebren  ein Überblick (Pseudoeffect algebras  an overview),
14. 5. 2002, Institute of Algebra and Computer Mathematics, Technical University Vienna (Prof. Dorninger). 
Pseudoeffect algebras  classes of particular interest,
16. 5. 2002, Department of Algebra and Geometry, Masaryk University Brno (Dr. Paseka). 
What do BLalgebras and effect algebras have in common?,
26. 11. 2002, Institute of Computer Sciences, Czech Akademy of Sciences Prague (Prof. Hájek). 
Characterizing the Hilbert space  possible new approaches,
15. 6. 2003, Department of Mathematical Analysis, Technical University Budapest (Prof. Petz). 
Partial algebras for fuzzy logics,
28. 6. 2004, Institute of Computer Sciences, Czech Akademy of Sciences Prague (Prof. Hájek). 
Fuzzy structures as partial algebras,
14. 4. 2005, Mathematical Institute, Slovak Akademy of Sciences, Bratislava (Prof. Dvurečenskij). 
Metrics on universes of propositions determining continuous tnorms,
4. 5. 2005, Institute of Computer Sciences, Czech Akademy of Sciences Prague (Prof. Hájek). 
Pogroup representations of MTLalgebras  how far can we get?,
First Joint FLLL/SCCH Master and PhD Seminar of the summer term 2006, 27. 4. 2006, Hagenberg (Prof. Klement). 
Semantics for fuzzy logics  still a challenge,
17. 1. 2008, Institut für Computersprachen, Vienna University of Technology, Vienna (Prof. Fermüller). 
On the interpretation of the conjunction in fuzzy logics,
19. 9. 2008, Mathematical Institute, Slovak Akademy of Sciences, Bratislava (Prof. Dvurečenskij). 
Formal approaches to expert systems,
25. 2. 2009, Institute of Computer Sciences, Czech Akademy of Sciences Prague (Prof. Hájek). 
On Possibilistic Logic for graded properties,
24. 11. 2009, Research Group in NonClassical Logics, University of Barcelona (Prof. Font). 
Approximate Reasoning,
15. 2. 2011, Advances in KnowledgeBased Technologies, WS102, FLLL/SCCH Hagenberg 
Recent Advances in Approximate Reasoning,
15. 6. 2011, Advances in KnowledgeBased Technologies, SS112, FLLL/SCCH Hagenberg 
Totally ordered monoids,
21. 10. 2013, Mathematical Institute, University of Bern (Prof. Metcalfe). 
Totally ordered monoids,
9. 1. 2015, Institute of Discrete Mathematics and Geometry, TU Wien (Prof. Dorfer). 
Constructive approaches to residuated structures: ideas and problems,
24.2.2015, Dept. of Algebra and Geometry, Palacký University in Olomouc (Prof. Chajda).
Courses
(Courses were given at the Johannes Kepler University, if not otherwise noticed. For information on current courses, consult KUSSS.)
 Mehrwertige Logiken (Manyvalued logics), special lecture, University of Dortmund, summer term 2004.
 Algebraische Aspekte der Logik (Algebraic aspects of logics), special lecture, Johannes Kepler University Linz, summer term 2006.
 Fuzzysysteme (Fuzzy systems), lecture, Medical University of Vienna, summer term 2008, 2009, 2010.
 Medizinische Expertensysteme (Medical expert systems), internship, Medical University of Vienna, summer term 2008, 2009, 2010.
 Informationssysteme und Entscheidungsunterstützung (Information systems and decision support), exercises, Medical University of Vienna, winter term 2008/2009.
 Mathematische Grundlagen (Mathematical foundations), exercises, winter term 2010/2011.
 Verbandstheorie (Lattice theory), special lecture, summer term 2011.
 Algebra für Informatiker (Algebra for computer scientists), exercises, summer term 2011.
 Mathematische Grundlagen (Mathematical foundations), lecture, winter term 2011/2012.
 Mathematische Grundlagen (Mathematical foundations), exercises, winter term 2011/2012.
 Mathematik 1 (Mathematics 1), exercises, winter term 2011/2012.
 Mathematik 2 (Mathematics 2), exercises, summer term 2012.
 Mathematische Grundlagen (Mathematical foundations), exercises, winter term 2012/2013.
 Fuzzy Logic, lecture, summer term 2013.
 Wissensbasierte mathematische Systeme (Knowledgebased mathematical systems (with S. SamingerPlatz), seminar, summer term 2013.
 Diskrete Strukturen (Discrete Structures), lecture, summer term 2013.
 Diskrete Strukturen (Discrete Structures), exercises, summer term 2013.
 Fuzzy Logic (with S. SamingerPlatz), seminar, summer term 2013.
 Mathematik 2 (Mathematics 2), exercises, summer term 2014.
 Wissensbasierte mathematische Systeme (Knowledgebased mathematical systems (with S. SamingerPlatz), seminar, summer term 2014.
 Approximate Reasoning, special lecture, summer term 2014.
 Fuzzy logic, lecture, winter term 2014/2015.
 Fuzzy logic, exercises, winter term 2014/2015.
 Diskrete Strukturen (Discrete structures), exercises, winter term 2014/2015.