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