计算机科学中的许多核心技术都是基于形式方法的，即一系列方法和算法，这些方法和算法旨在作用于形式语言和知识的形式表示。这些方法包括交互式证明助手、自动推理系统（包括一阶定理证明器和可满足性求解器）、计算机代数系统以及知识表示和数据库系统。基于机器学习的方法也导致了新的数学结果的发现。
本次研讨会的目标是将数学家和计算机科学家聚集在一起，探索这些技术在纯数学领域的潜在应用，以该学科令人兴奋的最新发展为基础。
该研讨会旨在让计算机科学界和纯数学界拥有平等的代表性，并鼓励建设性对话。在计算机科学方面，我们打算吸引开发上述技术并对数学应用感兴趣的专家。在数学方面，我们希望吸引来自不同领域的研究人员，他们对在工作中使用新技术的可能性感兴趣，并乐于探索。会议将促进思想交流，我们希望为开放式对话和合作讨论留出充足的时间。
MAP2023传单
