Talks
Here you can find some of my slides.
2015

Characterization of FEP for (Distributive) Residuated Lattices via Regular (Tree) Languages [pdf] Topology, Algebra, and Categories in Logic, Ischia, 2126 June 2015.
2014

Densification via Polynomial Extensions [pdf] Logic, Algebra and Truth Degrees, Vienna, 1619 July 2014. 
Full Lambek Calculus with Contraction is Undecidable [pdf] Beyond True and False: Logic, Algebra and Topology, Florence, 35 December 2014.
2013

Interplay between algebra and proof theory for substructural logics [pdf] A Gathering of PragueBased Logicians, Prague, 1516 February 2013. 
Universal Theory of Residuated Distributive LatticeOrdered Groupoids and Its Complexity [pdf] Algebra and Coalgebra Meet Proof Theory, Utrecht, 1820 April 2013. 
Residuated Lattices, Regular Languages, and Burnside Problem (invited) [pdf] Topology, Algebra, and Categories in Logic, Nashville, 28 July  1 August 2013. 
Density Elimination and the Corresponding Algebraic Construction [pdf] Tenth International Tbilisi Symposium on Language, Logic and Computation, Gudauri, 2327 September 2013.
2012

Quasiequational Theory of Squareincreasing Residuated Lattices is Undecidable (invited) [pdf] Logic, Algebra and Truth Degrees, Kanazawa, 10–14 September 2012. 
Algebraic Methods from Substructural Logics and Formal Languages [pdf] 1st Annual Scientific Meeting of CEITI, Prague, 13–14 December 2012.
2011

An Algebraic Proof of the Disjunction Property [pdf] Algebra & Coalgebra meet Proof Theory, Bern, 2729 April 2011. 
Holland’s Theorem for Idempotent Semirings and Applications to Residuated Lattices [pdf] Ordered Groups and Lattices in Algebraic Logic, Tbilisi, 2023 September 2011. 
Generalization of Holland’s Theorem for Residuated Lattices [pdf] Order, Algebra and Logics, Krakow, 610 June 2011.
2010

Cancellative residuated lattices arising on 2generated submonoids of natural numbers [pdf] LatticeValued Logic and its Applications, 31st Linz Seminar, 913 February 2010. 
Disjunction Property and Complexity of Substructural Logics [pdf] Unilog III, Estoril, 1821 April 2010. 
Minimal Varieties of Representable Commutative Residuated Lattices [pdf] Logic, Algebra and Truth Degrees, Prague, 711 September 2010.
2009

Positive Fragment of MTL with One Variable and Its Computational Complexity [pdf] Topology, Algebra and Categories in Logic, Amsterdam, 711 July 2009. 
Representable Commutative Atoms in the Subvariety Lattice of Residuated Lattices [pdf] Shanks Workshop on Ordered Groups in Logic, Vanderbilt, Nashville, 2122 March 2009.
2008

A Weaker Form of Wajsberg’s Axiom [pdf] Shanks Workshop on Proof Theory and Algebra, Vanderbilt, Nashville, 68 March 2008. 
Varieties of Cancellative Prelinear Semihoops Covering the Variety Generated by Negative Integers [pdf] Logic, Algebra and Truth Degrees, Siena, 811 September 2008. 
Residuované svazy: algebry pro substrukturální logiky [pdf] Seminar at Department of Logic, FF UK, 31 March 2008.