Activities
|
Editorial Work
Corner Editor for the Journal of Logic and Computation.
Co-Editor of a forthcoming Special Issue on Logic and Algebra for the Journal of Logic and Computation.
Co-Editor of a forthcoming Special Issue on Fuzzy Logic for the Journal of Logic and Computation; Call for Papers.
Conference and Workshop Organization
Program Committee Member for TABLEAUX 2009, Oslo, July 7-10, 2009.
Chair (with Kai Brunnler) of the TABLEAUX Workshop Gentzen Systems and Beyond, Oslo, July 6, 2009.
Chair of the Workshop on Ordered Groups in Logic, Vanderbilt University, Nashville, March 21-22, 2009.
Chair (with Constantine Tsinakis) of the Shanks Workshop on Proof Theory and Algebra, Vanderbilt University, Nashville, March 6-8, 2008.
Organizing Committee Member for:
International Conference on Order, Algebra, and Logics, Vanderbilt University, Nashville, June 12-16, 2007.
Horizons of Truth: Godel Centenary 2006, Vienna, April 27-29, 2006.
Collegium Logicum: Cut Elimination Workshop, Vienna, July 4-6, 2005.
Challenge of Semantics (ESF Workshop), Vienna, July 12-17, 2004.
Program Committee Member for UWPM: a workshop series for young researchers
Organizer of the Universal Algebra and Logic Seminar Series, Vanderbilt University.
Invited Talks
The Logic and Combinatorics of Algebraic Structures, AMS Spring Central Sectional Meeting, Urbana, March 27-29, 2009.
Department of Mathematics, University of Bern, Switzerland, November 25, 2008.
Laboratoire des sciences de l'information et des systemes, Paul Cezanne University, Marseille, June 3, 2008.
London Logic Forum, London, May 27, 2008.
Residuated Structures: Algebra and Logic, Buenos Aires, April 16-19, 2008.
Logic Colloquium 2007, Wroclaw, July 14-19, 2007.
AMS Special Session on Universal Algebra and Order, Joint Mathematics Meetings, New Orleans, January 5-8, 2007.
|
|
