https://www.scconline.com/blog/post/2022/01/17/call-for-submissions-10th-symrolic-conference-date-of-abstract-submission-jan-25-2022/