Seminario académico: Optimal object assignment mechanisms with imperfect type verification