Proceedings of the 8th Workshop on User Interfaces for Theorem Provers (UITP'08)<pre>@proceedings{AB-08-a,
  editor        = {Serge Autexier and Christoph Benzm\"uller},
  title         = {Proceedings of the 8th Workshop on User Interfaces for Theorem Provers (UITP'08)},
  journal       = {ENTCS},
  volume        = {forthcoming},
  address       = {Montr\'eal, Canada},
  month         = {august},
  year          = {2008},
}
</pre>