Formal Proceedings