SYNASC 2023 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mailman.openmath.org/pipermail/om-announce/attachments/20230301/cc821842/attachment.htm>