Zaslat SMS: Robustness guarantees for Bayesian neural networks (invited extended abstract of a keynote speaker)