Invited Talks

Proof Theory for Fuzzy Logics. LSIS, Paul Cezanne University, Marseille, June 2008.

Density Elimination. London Logic Forum, May 2008.

Amalgamation and Interpolation for Residuated Structures. Residuated Structures: Algebra and Logic, Buenos Aires, April 2008.

Admissible Rules and Proof Theory. Department of Computer Science, University of Liverpool, February 2008.

Substructural Fuzzy Logics. Logic Colloquium Special Session on Proof Complexity and Non-Classical Logics, Wroclaw, Poland, July 2007. 

Reasoning with Rules. Invited lecture at Japan Advanced Institute of Science and Technology, Ishikawa, Japan, March 2007. 

Density and Ordered Algebraic Structures. AMS Special Session on Universal Algebra and Order, New Orleans, January 2007.

Proof Systems for Admissibility. International Workshop on Modal Logics, Istanbul, June 2006.

Skolemization by Approximation. Second Paris-Vienna Workshop on Proof Theory, Paris, June 2006.

How to make your algebras dense.  Vanderbilt University Mathematics Colloquium, Nashville, January 2006.

Proof Systems for Admissibility. Workshop on Proof Theory and Complexity, Prague, January 2006.

Standard completeness and the Takeuti-Titani density rule. Invited lecture at the Institute of Computer Science, Prague, December 2005.

Fuzzy Substructural Logics. Invited lecture at the University of Cagliari, Italy, October 2004.

Hypersequents and Fuzzy Logic. Second Moscow-Vienna Workshop on Logic and Computation, Moscow, May 2004.

Uninorm Based Logics. Invited lecture for the Kurt Godel Society,  Vienna, April 2004.

Proof Theory for Fuzzy and Comparative Logics. Invited lecture at the Institute of Computer Science, Prague, December 2002.

Proof Theory for Fuzzy Logics. Invited lecture at the Department of Computer Science, Turin, Italy, September 2002.

Contributed Talks

Structural Completeness for Fuzzy Logics. BLAST 2008, Denver, August 2008.

Structural Completeness for Fuzzy Logics. Collegium Logicum: Fuzzy Logics and Beyond, Vienna, July 2008.

Herbrand Theorems and Skolemization for Prenex Fuzzy Logics. CiE 2008, Athens, June 2008.

Interpolation and Amalgamation for Abelian l-Groups and MV-Algebras. Shanks Workshop on Proof Theory and Algebra, Vanderbilt University, March 2008.

Proof Theory for First Order Lukasiewicz Logic. TABLEAUX 2007, Aix-en-Provence, July 2007

Density Elimination and Rational Completeness for First Order Logics. Logical Foundations of Computer Science, CUNY Graduate Center, New York, June 2007.

Proof Theory for Admissible Rules. ASL Winter Meeting, New Orleans, January 2007.

Skolemization by Approximation. Ordered Structures in Many-Valued Logic,  Massa Lubrense, Sorrento, Italy, May 2006.

Proof Systems for Admissibility. Paris-Vienna Workshop on Proof Theory, Paris, December 2005.

Proof Theory for Casari's Comparative Logics. Second Vienna-Florence Workshop on Logic and Computation, November 2005.

Proof Theory for (Fragments of) First Order Lukasiewicz Logic. Logic of Soft Computing IV, Ostrava, October 2005.

Proof Theory for Casari's Comparative Logics.  Sixth Tbilisi Symposium on Language, Logic and Computation, Batumi, Georgia, September 2005.

Density Elimination. Cut Elimination Workshop,  Vienna, July 2005.

Density in Residuated Lattices. Algebraic and Topological Methods in Non-Classical Logics II, Barcelona, June 2005.

Density in Residuated Lattices. 70th Workshop on General Algebra (AAA70), Vienna, June 2005.

Uniform Rules and Dialogue Games for Fuzzy Logics. LPAR 2004, Montevideo, March 2005.

Proof Calculi for (Fragments of) First Order Lukasiewicz Logic. Workshop on Analytic Systems, Montevideo, March 2005.

Adding Modalities to Fuzzy Logics. 26th Linz Seminar, Linz, Austria, February 2005.

Uninorm Based Logics. EUROFUSE 2004, Warsaw, September 2004.

Goal-Directed Methods for Lukasiewicz Logic. CSL 2004, Karpacz, Poland, September 2004.

Uninorm Based Logics. Challenge of Semantics Workshop, Vienna, July 2004.

Proof Theory for Product Logics. Fourth Workshop on Soft Computing, Brno, Czech Republic, October 2003.

Bounded Lukasiewicz Logics. TABLEAUX 2003, Rome, September 2003.

Goal-Directed Calculi for Godel Logics. CSL 2003, Vienna, August 2003.

Bounded Lukasiewicz Logics. Soft Computing Workshop, Pontignano, Italy, April 2003.

Hypersequent Calculi for Abelian and Lukasiewicz Logics. Logic of Soft Computing II, Anacapri, Italy, October 2002.

A Hypersequent Calculus for Abelian Logic. Ninth Workshop on Automated Reasoning, Imperial College, London, April 2002.

An Analytic Calculus for Infinite-Valued Lukasiewicz Logic. Logic of Soft Computing,  Gargnano, Italy, November 2001.