Andrew Kresch will speak on

Brauer groups and formal gerbes

In his foundational works on Brauer groups of schemes, Grothendieck raised
a question about the behavior of the Brauer group in the setting of a
scheme, proper over a complete DVR. We address this question using
gerbes on the associated formal scheme. This is work in progress,
joint with Siddharth Mathur.