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

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

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

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

欲了解更多信息及报名,请访问 http://sites.google.com/view/cimpaliact

2023年1月12日

最新消息

| 查看所有新闻
...

AG体育祝贺2022级,强调虚拟2023级学生…


通过全国高级证书考试是一项重要的AG体育

...

AG体育足球俱乐部声称女子和男子2022年USSA…


2022年的体育赛季是一个成功的时期

...

如何解决第四次工业革命中隐含的不平等问题


本文首次发表于《AG体育平台官网》 & 16号《AG体育》

...

国家和大学需要创新来支持国际化……


伊尔瓦·罗德尼-古梅德是一名传播研究教授