## Conferences

### Invited talks

9. * Profiniteness and spectra of Heyting algebras. * Invited talk at the Algebraic Logic special session of the North American Meeting of the ASL, South Bend, Indiana, 2021. (pdf)

8. * On equational completeness theorems. * Invited speaker at virtUMA (Annual Meeting of the Argentinian Mathematical Association), online, 2020.
(pdf)

7. * The poset of all logics. * Invited speaker at TACL (Topology, Algebra and Categories in Logic), Nice, France, 2019.
(pdf)

6. * On interpretations between propositional logics. * Invited speaker at BLAST (Boolean Algebras, Lattices, Universal Algebra, Set Theory, and Topology), Boulder, Colorado, USA, 2019.
(pdf)

5. * Relational semantics, ordered algebras, and quantifiers for deductive systems. * Invited speaker at LATD (Logic, Algebra and Truth Degrees), Bern, Switzerland, 2018.
(pdf)

4. * Varieties of De Morgan monoids and axiomatic extensions of Relevance Logic. * Invited speaker at the First Algebra Week, Siena, Italy, 2018.
(pdf)

3. * A course on abstract algebraic logic. * Invited tutorialist at the school of TACL (Topology, Algebra and Categories in Logic), Olomouc, Czech Republic, 2017.
(Pt.1)
(Pt.2)
(Pt.3)
(Pt.4)

2. * Classifying Strongly Finite Logics in the Leibniz Hierarchy. * Invited speaker at the 16th Latin American Symposium on Mathematical Logic, Buenos Aires, Argentina, 2014.

1. * Logics associated with a quasi-primal algebra. *Plenary speaker at the AAA88 Workshop on General Algebra, Warsaw, Poland, 2014.

### Other selected talks

10. T. Moraschini. * Epimorphisms in varieties of Heyting algebras. * Sysmics conference, Amsterdam, the Netherlands, 2019. Based on joint work with J.J. Wannenburg.
(pdf)

9. T. Moraschini. * Frames, ordered algebras, and quantifiers for deductive systems. * ASubL (Take 6), Cagliari, Italy, 2018. Based on joint work with R. Jansana.
(pdf)

8. T. Moraschini. * A correspondence between logical translations and semantic transformations. * 6th Annual Scientific Meeting of Computer Science Institute of Charles University and Institute for Theoretical Computer Science, Prague, Czech Republic, 2017.
(pdf)

7. T. Moraschini. * Varieties of positive modal algebras: structural completeness. * 7th international workshop on Many-Valued Logic 2017, Toulouse, France, 2017.
(pdf)

6. R. Horcik, T. Moraschini, and A. Vidal * An Algebraic Approach to Valued Constraint Satisfaction. * Proceedings of the 26th EACSL Annual Conference on Computer Science Logic (CSL 2017) Leibniz International Proceedings in Informatics (LIPIcs) Volume 82, Number 42, Pages 1-20, 2017.
(pdf)

5. T. Moraschini. * The computational complexity of the Leibniz hierarchy. * Topology, Algebra and Categories in Logic 2017. Prague, Czech Republic, 2017.
(pdf)

4. R. Jansana and T. Moraschini. * Unifying the Leibniz and Maltsev hierarchies. * Topology, Algebra and Categories in Logic 2017, special session in honour of Prof. B. Jónsson. Prague, Czech Republic, 2017.
(pdf)

3. T. Moraschini. * Adjunctions as translations between relative equational consequences. * SYSMICS Kick-Off Meeting 2016. Barcelona, Spain., 2016.
(pdf)

2. G. Bezhanishvili, T. Moraschini and J. Raftery. * Epimorphism surjectivity and the Beth definability property. * Logic, Algebra and Truth Degrees 2016. Phalaborwa, South Africa, 21016.
(pdf)

1. T. Moraschini. * Undecidability in abstract algebraic logic. * Topology, Algebra and Categories in Logic 2016. Ischia, Italy, 2015.
(pdf)