\newcommand{\UWOBO}{UWOBO}
\title{The proof assistant Matita}
-\author{Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen
+\author{Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi
and Stefano Zacchiroli}
\institute{Department of Computer Science, University of Bologna\\
Mura Anteo Zamboni, 7 --- 40127 Bologna, ITALY\\