SYNASC 2022 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mailman.openmath.org/pipermail/om-announce/attachments/20220509/6ae85516/attachment-0001.htm>