Universal Algebra and Logic - Lectures and Conference Presentations |
2008"Lattice-ordered groups in logic" 2007"An overview of general algebra."
Location: University of Buenos Aires, Argentina, September 24, 2007. Colloquium Speaker: Constantine Tsinakis "Residuated structures: their algebra and logic." Location: Annual Meeting of Argentinean Mathematical Union, Cordoba, Argentina, September 17-22, 2007. Plenary Speaker: Constantine Tsinakis "Substructural Fuzzy Logics." Location: Logic Colloquium Special Session on Proof Complexity and Non-Classical Logics, Wroclaw, Poland, July 2007. Speaker: George Metcalfe "Algebraic methods in logic." Location: 6th Panhellenic Logic Symposium, University of Thessaly, Greece, July 5-8, 2007. Plenary Speaker: Constantine Tsinakis "Welcome and brief historical remarks" Location: Shanks workshop conference on The Algebraic Approach to Constraint Satisfaction Problems, Vanderbilt, June 2007. Speaker: Ralph McKenzie "Reasoning with Rules." Location: Invited lecture at Japan Advanced Institute of Science and Technology, Ishikawa, Japan, March 2007. Speaker: George Metcalfe "Density and Ordered Algebraic Structures." Location: AMS Special Session on Universal Algebra and Order, New Orleans, January 2007. Speaker: George Metcalfe "Weakly symmetric operations on finite algebras" Location: American Mathematical Society, winter meeting in New Orleans, January 2007. Speaker: Ralph McKenzie 2006"Sparse relational clones and weakly symmetric operations"
Location: Mathematics Colloquium at University of Colorado, October 2006. Speaker: Ralph McKenzie "Proof Systems for Admissibility." Location: International Workshop on Modal Logics, Istanbul, June 2006. Speaker: George Metcalfe "Skolemization by Approximation." Location: Second Paris-Vienna Workshop on Proof Theory, Paris, June 2006. Speaker: George Metcalfe "Algebras with few subpowers" Location: Grätzer-Schmidt Conference, Erdös Center, Budapest, June 2006. Speaker: Ralph McKenzie "An introduction to residuated structures." Location: International Symposium on Ordered Structures in Many-Valued Logic, Massa Lubrense, Italy, May 29-June 1, 2006. Tutorial Instructor: Constantine Tsinakis "Lattice-ordered groups, many valued logics and substructural logics." Location: The Frames and Spaces of Ordered Algebraic Structures, held at the University of Florida, March 9-11, 2006. Invited Speaker: Constanine Tsinakis "How to make your algebras dense." Location: Vanderbilt University Mathematics Colloquium, Nashville, January 2006. Speaker: George Metcalfe "Proof Systems for Admissibility." Location: Workshop on Proof Theory and Complexity, Prague, January 2006. Speaker: George Metcalfe "The approach to constraint satisfaction problems through universal algebra" Location: American Mathematical Society, winter meeting in San Antonio, January 2006. Speaker: Ral 2005"The algebra and logic of residuated algebras: a unified approach"
Location: Florence-Vienna Workshop in Logic and Computation, University of Florence, Italy, November 2-5, 2005. Speaker: Constantine Tsinakis "Operations on structures" Location: 2005 Midsummer Combinatorial Workshop Conference, Centre for Discrete Mathematics, Theoretical Computer Science and Applications (DIMATIA), Charles University, Prague, Czech Republic, July 25-29, 2005 Plenary Speaker: Ralph McKenzie "Operations on finite structures" Location: Jagiellonian University, Cracow, Poland, July 22, 2005 Seminar Speaker: Ralph McKenzie More Information: Conference Website "Finite axiomatizability of finitely generated quasivarieties whose relative congruence lattices are meet semi-distributive" and "Existence of a meet semi-distributive algebraic lattice of cardinality continuum that has no meet-prime element" (2 plenary talks) Location: Novi Sad Algebraic Conference, Novi Sad, Serbia, July 11-15, 2005 Plenary Speaker: Ralph McKenzie More Information: Conference Website "Finite basis problems for quasivarieties, and the weak extension property" Location: Conference on Universal Algebra and Lattice Theory, Szeged, Hungary, July 4-8, 2005 Conference Speaker: Ralph McKenzie “Consequence Relations: An Order-Theoretic and Categorical Perspective” Location: Conference on Algebraic and Topological Methods in Non-Classical Logics II, Barcelona, Spain, June 15-18, 2005. Speaker: Constantine Tsinakis “Logical consequence Relations” - Colloquium Location: University of Athens, Greece, June 3, 2005. Speaker: Constantine Tsinakis “A Holland-type embedding theorem for distributive residuated lattices” - Logic seminar talk Location: University of Siena, Italy, May 25, 2005. Speaker: Constantine Tsinakis “An abstract approach to consequence relation” - Colloquium Location: University of Florence, Italy, May 18, 2005. Speaker: Constantine Tsinakis "A general approach to the study of consequence relations" - Colloquium Location: University of Salerno, Italy, May 6, 2005. Speaker: Constantine Tsinakis "Consequence relations”" - 3 seminar talks Location: University of Siena, Italy, May 4, 11, 13, 2005. Speaker: Constantine Tsinakis "Quasivarieties with the weak extension property" and "Tarski's equational basis problem" Location: The University of Puerto Rico at Mayaguez, March 8 and March 10, 2005 Seminar Lecturer: Ralph McKenzie 2004“Minimal Varieties of Involutive Residuated Lattices” - Special Session invited talk
Location: Regional Meeting of the American Mathematical Society, Special Session in Universal Algebra and Lattice Theory, Vanderbilt University, October 2004. Speaker: Constantine Tsinakis AMS 2004 Fall Southeastern Section Meeting Location: Nashville, USA, October 16–17, 2004. Speakers: Constantine Tsinakis, Ralph McKenzie, Miklos Maroti, Nick Galatos More Information: Conference Website "Finite decidability and generative complexity in equational classes" Location: Walter Taylor Conference, University of Colorado, Boulder, CO, August 15-18, 2004 Plenary Speaker: Ralph McKenzie "Finite decidability and generative complexity in equational classes" Location: Logic Colloquium 2004 (summer European meeting of the Association for Symbolic Logic), Turin, Italy, July 25-31, 2004 Contributing Speaker: Ralph McKenzie "An Overview of Universal Algebra and Algebraic Logic" - Colloquium Location: University of Cyprus, June 9, 2004. Speaker: Constantine Tsinakis "Residuated Lattices: an Algebraic Perpective" Location: Conference on Residuated Structures and Multi-valued Logic, University of Patras, Greece, June 2 - 5, 2004. Speaker: Constantine Tsinakis More Information: Conference Website Ord04: Conference on Ordered Algebraic Structures Location: Gainesville, FL, USA, March 3 - 6, 2004 Conference Speakers: Eric Zenk. More Information: Conference Website "Involutive Residuated Lattices" - Colloquium Location: Japan Advanced Institute of Science and Technology, February 19, 2004. Speaker: Constantine Tsinakis 2003"Finite basis problems and results for quasivarieties" - Special Session, invited hour talk
Location: Winter Meeting of the Canadian Mathematical Society, University of British Columbia, Vancouver, British Columbia, Canada, December 5-7, 2003 Conference Speaker: Ralph McKenzie. More Information: Conference Website "Finite basis problems and results for quasivarieties" - Special Session, invited hour talk Location: AMS Meeting, Boulder, CO, October 2-4, 2003 Conference Speaker: Ralph McKenzie "Congruence modular varieties: commutator theory and its uses" (five hours of lectures) Location: NATO Advanced Study Institute, University of Montreal, Canada, July 8-18, 2003 Plenary Speaker: Ralph McKenzie "Semi-direct Products of Residuated Lattices" - Special Session invited talk Location: Annual Meeting of the Association for Symbolic Logic, Special Session on Algebraic Logic and Universal Algebra University of Illinois at Chicago, June 1-4, 2003. Speaker: Constantine Tsinakis More Information: Conference Website "The interplay between structural insight and algorithmic problems in general algebra" Location: Annual Meeting of the Association for Symbolic Logic, University of Illinois at Chicago, June 1 - 4. 2003. Plenary Speaker: Ralph McKenzie. More Information: Conference Website "Algebras, lattices, and arithmetic classes: from Boole to Tarski, and beyond" Location: The 2003 Alfred Tarski Lectures, University of California at Berkeley, March 31, April 2, and April 4 Lecturer: Ralph McKenzie More Information: Conference Website "The structure of finite algebras" Location: The University of Puerto Rico at Mayaguez, March 2, March 6, 2003 Seminar Lecturer: Ralph McKenzie 2002"Generalized MV-algebras" - invited talk
Location: Workshop on Algebra and Substructural Logics, Japan Advanced Institute of Science and Technology, November 12 - 14, 2002. Speaker: Constantine Tsinakis Workshop on Algebra and Substructural Logics Location: Japan Advanced Institute of Science and Technology, November 12 -14, 2002. Conference Speakers: Constantine Tsinakis More Information: Conference Website Conference on Universal Algebra and Lattice Theory Location: Szeged, Hungary, July 22–26, 2002 Conference Speakers: Miklos Maroti More Information: Conference Website "Tarski's finite basis problem" Location: University of Siena, Italy, June 20, 2002 Seminar Speaker: Ralph McKenzie AMS-UMI First Joint International Meeting Location: Pisa, Italy, June 12 - 16, 2002 Contributing Speaker: Ralph McKenzie. More Information: Conference Website Conference in honor of Jan Mycielski Location: University of Colorado, Boulder, CO, USA, June 1 - 3, 2002 Plenary Speaker: Ralph McKenzie. More Information: Conference Website International Conference on Modern Algebra Location: Vanderbilt University, Nashville, TN, May Plenary Speaker: Ralph McKenzie Conference on Ordered Algebraic Structures Location: Vanderbilt University, March 7 - 9, 2002. Conference Speakers: Constantine Tsinakis More Information: Conference Website |