Add TOC of proceedings