Axiomatic Program Semantics and Theories of Consistency Enforcement, Department of Artificial Intelligence, University of New South Wales, Sydney, Australia, 24.01.2002 (Slides pdf-file)

Tailoring the Enforcement of Correct Programs, Department of Information Systems, University of Wollongong, Wollongong, Australia, 25.01.2002

Towards an Arithmetic Theory of Consistency Enforcement based on the Preservation of Delta-Constraints, Computing: The Australasian Theory Symposium, The Australasian Computer Science Week, Monash University, Melbourne, Australia, 29.01.2002

Towards a Tailored Theory of Consistency Enforcement in Databases, 2nd International Symposium on Foundations of Information and Knowledge Systems (FoIKS), Salzau Castle, Kiel, Germany, 22.02.2002 (Slides pdf-file).

Axiomatizing Functional Dependencies in the Higher-Order Entity-Relationship Model, Mathematics Graduate Seminar, Palmerston North, New Zealand, 24.06.2002

Capturing Functional Dependencies in Conceptual Databases, Information Systems Research Series, Palmerston North, 24.09.2002

Mathematical Foundations of Internet Security, An Evening for Teachers, Mathematical and Statistics Staff, Palmerston North, 16.10.2002

Capturing Dependency Classes in Conceptual Databases, Annual Meeting of the Australasian Association for Logic, Canberra, Australia, 1.12.2002