Informal and Formal Proceedings