Companion wiki to the book: Concepts, Techniques, and Models of Computer Programming. Further treatment of many topics.

Wiki translating many CTM book sample programs into Alice, a statically typed language extending Standard ML with features of Oz. Divided into chapters.

Companion website to textbook, teaches programming via Oz language, presents all major programming paradigms in a unified framework that is theoretically sound and practical. Many references, reviews, links.

Information on an international Mozart/Oz conference. [This site refers to a past event, but contains research papers that may be of interest.]

Free major development platform for open, fault-tolerant, distributed, constraint and logic programming applications: full development environment, tools, documentation, tutorials, source code. Applications developed: realtime bus scheduler, configuration tool, collaborative graphic editor, corpus browser, and extended ICQ.

Description, well written, growing, with some links. [Wikipedia]

Research at the Universite catholique de Louvain (UCL) centered around the Oz language. Topics include peer-to-peer programming, security, tools for collaborative applications, human-computer interfaces, and teaching computer programming.

Description with references. Compares Oz to some other logic-based languages.