Melanija Mitrović - Constructive semigroups with apartness - a new approach to semigroup   theory, Algebra and Geometry Seminar, December 12, 2017, Uppsala University, Sweden Melanija Mitrović - An introduction to a development of the theory of constructive semigroups with apartness, The Stockholm Logic Seminar, November 15, 2017, University of St, Sweden Melanija Mitrović - Semilattices of Archimedean Semigroups, MAM Seminar, October 25, 2017, MDH, Sweden Thursday 15.05.2017 - Zoran Petrić - Invariants for Classification of Propositional Formulae Thursday 27.04.2017 - Miloš Adžić - Kurt Gödel and modern logic Thursday 23.06.2016 - Kosta Došen -  General Proof Theory and Categorial Proof Theory Thursday 15.12.2016 - Silvia Ghilezan - Types for formal systems Thursday 15.12.2016 - Zoran Ognjanović - An introduction to logics with probability operators Thursday 15.12.2016 - Žikica Perović - Exhaustivity Ranks of Maharam algebras