代数，类别和拓扑交叉的逻辑(LIACT 2023)

日期: 2023年1月2日至12日

近年来出现了用于非经典逻辑的强大语义工具. 这些语义方法来源于有序代数和通用代数交叉的数学形式网络, 拓扑结构, 范畴理论, 并共同提供了一个灵活和统一的框架，以研究跨越一系列领域的逻辑. 这所研究学校作为一个广泛的介绍，这一动态和快速增长的现代数学研究领域, 并特别强调这一领域与计算机科学的深度互动和应用.

这所学校是由 国际中心Mathématiques pure et Appliquées 以及欧盟MOSAIC项目, 并将专注于这些主题，并将为来自非洲国家的研究生和其他早期职业研究人员提供六门互动课程. 每门课程都将由该领域的顶级专家教授, 以及由这些世界知名研究人员领导的特性指导工作.

学校的活动将在AG体育平台官网校园内举行, 这个项目将有开放的讨论时间, 小组的演讲, 除了课程，还有一次短途旅行.