 Conference cousre reports (instructed by  <a href="http://www.cs.utexas.edu/users/emerson/">Prof. <em>Emerson</em></a>) <h3>
