Enviar aquest missatge de text: Robustness guarantees for Bayesian neural networks (invited extended abstract of a keynote speaker)