Chapter 3. Formal Proceedings