compiled by Peter Jipsen --- Chapman University

17th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2018), at Groningen, the Netherlands, October 29 - November 2, 2018

Workshop on Algebra, Logic and Topology in honour of Ales Pultr, on the occasion of his 80th birthday, University of Coimbra, Portugal, September 27 - 29, 2018

4th SYSMICS Workshop: Duality in Algebra and Logic, Chapman University, California, USA, September 14 - 17, 2018

Logic, Algebra and Truth Degrees, LATD 2018, Bern, Switzerland, August 28 - 31, 2018

SYSMICS Logic Summer School, Les Diablerets, Switzerland, August 22 - 26, 2018

BLAST 2018, a conference focusing on Boolean Algebras, Lattices, Algebraic and Quantum logic, Universal Algebra, Set Theory, Set-theoretic and Point-free Topology, University of Denver, Colorado, USA, August 6 - 10, 2018

Federated Logic Conference 2018, YouTube Channel, University of Oxford, UK, July 6 - 19, 2018

Workshop DOMAINS in honour of Dana Scott's 85th birthday and 50 years of domain theory, University of Oxford, UK, July 7 - 8, 2018

Algebraic Proof Theory for Social Behaviour, Delft University of Technology, Netherlands, July 2 - 6, 2018

ALH-2018: Conference on Algebra and Lattice Theory in honor of Ralph Freese, Bill Lampe, and JB Nation, University of Hawaii, Honolulu, USA, May 22 - 24, 2018

Workshop on Logic and its Applications 2018, University of Johannesburg, South Africa, January 29 - 30, 2018


Geometry and Non-classical Logics, University of Salerno, Fisciano, Italy, September 5 - 8, 2017

BLAST 2017, a conference in memory of Bjarni Jónsson focusing on Boolean Algebras, Lattices, Algebraic and Quantum logic, Universal Algebra, Set Theory, Set-theoretic and Point-free Topology, Vanderbilt University, Nashville, Tennessee, USA, August 14 - 18, 2017

TACL 2017: Topology, Algebra, and Categories in Logic 2017, Prague, Czech Republic, 26-30 June 2017

16th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2017), at ENS Lyon, France, May 15 - 19, 2017


AMS Fall Western Sectional Meeting, University of Denver, October 8-9, 2016, with a special session on Algebraic Logic organized by N. Galatos and P. Jipsen

ADAM 2016 Automated Deduction and its Applications to Mathematics Workshop, University of New Mexico, August 5-7, 2016

Logic, Algebra and Truth Degrees, LATD 2016, Phalaborwa, South Africa, June 28 - 30, 2016

CSA 2016, International Conference on Semigroups and Automata, University of Lisbon, Portugal, June 20 - 24, 2016

OAL 2016: Conference on Frames and Lattice-Ordered Groups In Honor of the 90th Birthday of Bernhard Banaschewski, Penn State Behrend, Erie, PA, USA, June 8 - 10, 2016

Algebra and Algorithms: A workshop on constraint satisfaction, structure theory and computation in algebra, University of Colorado, Boulder CO, USA, May 19 - 22, 2016

ATC 2016: Symposium on Algebra, Topology and Category Theory, On the occasion of the 90th birthday of Bernhard Banaschewski, University of Cape Town, South Africa, March 30 - April 1, 2016

Unified Correspondence, Lorentz Center, Leiden, The Netherlands, February 15 - 19, 2016


Coherence and Truth 2015: In memoriam Franco Montagna, Certosa di Pontignano, Siena, Italy, December 16 - 18, 2015

15th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2015), Braga, Portugal, September 28 - October 2, 2015

WoLLIC 2015: 22nd Workshop on Logic, Language, Information and Computation, Bloomington, Indiana, USA, July 20 - 23, 2015

CICM 2015: Conference on Intelligent Computer Mathematics, The George Washington University, Washington D.C., USA, July 13 - 17, 2015

TACL 2015: Topology, Algebra, and Categories in Logic 2015, Ischia, Italy, 21 - 26 June 2015

BLAST 2015@UNT, a conference focusing on Boolean Algebras, Lattices, Algebraic and Quantum logic, Universal Algebra, Set Theory, Set-theoretic and Point-free Topology, University of North Texas, Denton, Texas, USA, June 8 - 12, 2015

AAA90: 90th Workshop on General Algebra, Novi Sad, Serbia, June 5 - 7, 2015

OAL 2015: A conference on Order, Algebra, Logic, Florida Atlantic University, Jupiter, FL, USA, May 8-10, 2015

BLAST 2015, a conference focusing on Boolean Algebras, Lattices, Algebraic and Quantum logic, Universal Algebra, Set Theory, Set-theoretic and Point-free Topology, New Mexico State University, Las Cruzes, NM, January 5 - 9, 2015


16th Latin American Symposium on Mathematical Logic, Buenos Aires, Argentina, July 28 - August 1, 2014, Plenary Speakers

Logic, Algebra and Truth Degrees 2014, Vienna, Austria, July 16 - 19, 2014

Conferences on Intelligent Computer Mathematics, CICM 2014 Coimbra, Portugal, July 7 - 11, 2014, Track C: Mathematical Knowledge Management, Programme Committee

Special session on Gröbner bases and Computer Algebra at the Canadian Math Society Conference, Winnipeg, Canada, June 6 - 9, 2014

14th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2014), Marienstatt im Westerwald, Germany, 27 April - 1 May 2014, Organizing Committee

6th Annual CECAT Workshop on Pointfree Mathematics, Chapman University, January 23-28, 2014


Fifth Joint Mathematics Colloquium CSU Fullerton -- Chapman University, Chapman University, November 21, 2013

AMS Fall Southeastern Sectional Meeting, University of Louisville, October 5-6, 2013, with a special session on Finite Universal Algebra

Workshop on Computational Universal Algebra, University of Louisville, Friday, October 4, 2013

BLAST 2013, Chapman University, August 5-9, 2013, Organizing Committee

TACL 2013: Topology, Algebra, and Categories in Logic 2013, Vanderbilt University, July 28-August 1, 2013

GAIA 2013: A workshop on General Algebra and Its Applications, in celebration of Brian Davey's 65th birthday and retirement, La Trobe University, Melbourne, July 15-19, 2013

ADAM 2013 Automated Deduction and its Applications to Mathematics Workshop, University of New Mexico, June 6-8, 2013

Category-Theoretic Foundations of Mathematics Workshop, UC Irvine, May 4-5, 2013

Fourth Joint Mathematics Colloquium CSU Fullerton -- Chapman University, Cal State University Fullerton, April 26, 2013

AMS Sectional Meeting, University of Colorado at Boulder, April 13-14, 2013

4th World Congress and School on Universal Logic, Rio de Janeiro, Brazil, March 29 - April 07, 2013

Proof and Computation, Les Diablerets, Switzerland, January 27-31, 2013

5th Annual CECAT Workshop on Pointfree Mathematics, Chapman University, January 16-24, 2013