Ord02: Conference on Ordered Algebraic Structures, Vanderbilt University, March 7-9 2002.
Fourth Southern African Workshop on Theorem Proving and Model Checking (TPMC2000) 15 April 2000, organised by the FACCS-Lab, Department of Mathematics, University of Cape Town.
In December 1999 Valentin Goranko and I organised a Summer School in Logic, Universal Algebra and Theoretical Computer Science (LUATCS'99).
In June 1999, at the 42nd Annual Congress of the South African Mathematical Society at the University of the North, Valentin Goranko and I organised a special session on Logic, Universal Algebra and Theoretical Computer Science.
In July 1998 the FACCS-lab organised WOFACS '98, preceeded by the 2nd Southern African Workshop on Theorem Proving and Model Checking.
In 1997 Valentin Goranko, Ralph McKenzie, James Raftery and myself organised a special session in Logic, Algebra and Formal Aspects of Computer Science at the International Joint Mathematics Meeting in Pretoria, June 26-28, 1997