[Hol-info] [LASER] AI and software verification -- workshop announcement (March 2026)

[Chair of S. E. E. P. <se-...@li...>]

To unsubscribe follow the link: https://lists.inf.ethz.ch/mailman/options/se-events