A Theory of Consistency Enforcement on Top of Arithmetic Logic, Castle Dagstuhl, Wadern Germany, Semantics in Databases, 07.01.2001

Computability and Decidability Issues in the Theory of Consistency Enforcement, CATS 01, Australasian Computer Science Week, Bond University, Gold Coast, 30.01.2001

Maximal Consistent Effect Preservers as a new Approach to Consistency Enforcement, Dept of Information Systems, Massey University, Palmerston North, 07.08.2001

Consistency Enforcement - Achievements and a New Approach, annual meeting of the Australasian Association for Logic (AAL), Victoria University, Wellington, 30.11.2001