FORMAL PROCEEDINGS