Conferences

 

Invited talks

10. Shalqvist correspondence for deductive systems. Invited talk at the Algebraic Logic special session of the Western Sectional Meeting of the American Mathematical Society, Denver, Colorado, 2022. (pdf)

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)