This extended abstract was written to accompany an invited talk at the 2021 SC-Square Workshop, where the author was asked to give an overview of SC-Square progress to date. The author first reminds the reader of the definition of SC-Square, then briefly outlines some of the history, before picking out some (personal) scientific highlights.
翻译:在2021年的SC-Square讲习班上,提交人被要求概述迄今在SC-Square方面取得的进展,作者首先提醒读者关于SC-Square的定义,然后简要概述一些历史,然后挑出一些(个人)科学重点。