On July 19th and 21st I gave talks at the 1st IRVINE CONFERENCE on DESCRIPTIVE INNER MODEL THEORY and HOD MICE.

*Abstract:* In this talk we will outline a proof of Woodin’s result
that boldface $\boldsymbol\Sigma^1_{n+1}$ determinacy yields the
existence and $\omega_1$-iterability of the premouse $M_n^\sharp(x)$ for
all reals $x$. This involves first generalizing a result of Kechris
and Solovay concerning OD determinacy in $L[x]$ for a cone of reals
$x$ to the context of mice with finitely many Woodin cardinals. We
will focus on using this result to prove the existence and
$\omega_1$-iterability of $M_n^\sharp$ from a suitable hypothesis. Note
that this argument is different for the even and odd levels of the
projective hierarchy. This is joint work with Ralf Schindler and
W. Hugh Woodin.

You can find notes taken by Martin Zeman here and here.

More pictures and notes for the other talks can be found on the conference webpage.