与学习相关的会议和活动

我们在这里保存了与精益、数学和形式化数学相关的过去和未来事件的列表。请通过编辑拉入请求来添加事件事件.yaml.

“conference”、“workshop”和“tutorial”标记定义模糊。大约，“会议”是为了正式介绍已完成的工作，通常会发表论文集；“研讨会”比较随意，可能包括正在进行的工作，尽管有时会发布非正式会议记录；“教程”是学习或练习如何使用系统的机会。

活动预告

• 形式化代数几何（AIM（虚拟）。2024年6月24日至28日） 车间
• 证明助理和数学软件之间的相互作用，ICMS2024（英国达勒姆，2024年7月22日至25日） 会议
• 形式数学展望（HIM，德国波恩，2024年5月6日至8月16日） 会议
• 交互定理证明2024（格鲁吉亚第比利斯，2024年9月9日至14日） 会议

过去的事件

• 数学形式化：女性和少数民族性别数学家讲习班（英国爱丁堡国际数学科学中心）。2024年5月27日至31日） 辅导的
• 2024年成为好奇的数学家（法国鲁米尼国际数学研究中心（CIRM）。2024年3月25日至29日） 辅导的
• 计算机验证的证据：罗马48小时（意大利罗马，2024年1月24日至26日） 车间
• 2024年认证计划和证明（英国伦敦，2024年1月15日至16日） 会议
• 2024年携手共进（虚拟，2024年1月9日至12日） 车间
• 证明助理与数学的互动（德国雷根斯堡，2023年9月18日至29日） 辅导的
• 形式数学与计算机辅助证明（德国波恩，2023年9月18日至22日） 辅导的
• 2023年ILDS Coq和Lean秋季学校（罗马尼亚布加勒斯特，2023年9月18日至20日） 辅导的
• 2023年智能计算机数学会议（英国剑桥，2023年9月4日至8日） 会议
• 2023年好奇数学家的精益——座谈会（德国杜塞尔多夫，2023年9月7日至8日） 车间
• 2023年为好奇的数学家精益求精（德国杜塞尔多夫，2023年9月4日至7日） 辅导的
• 交互定理证明2023（波兰比亚莱斯托克，2023年7月31日至8月4日） 会议
• 机器检查数学（荷兰莱顿，2023年7月10日至14日） 车间
• 数学形式化（丹麦哥本哈根大学，2023年6月26日至30日） 辅导的
• 暑期学校关于教授证明和证明的证明助理（PAT 2023）（2023年6月18日至23日，法国瓦尔达约尔） 辅导的
• 数学的形式化（MSRI，美国伯克利，2023年6月5日至16日） 辅导的
• 上同调理论的形式化（BIRS，加拿大阿尔伯塔省班夫，2023年5月21日至26日） 车间
• 罗马数论协会第七次小型研讨会的莱恩工作室（罗马Tre大学，意大利罗马，2023年5月2日至3日） 辅导的
• 通过精益学习数学-2（虚拟，2023年4月18日至20日） 车间
• 机器辅助校对（IPAM，洛杉矶，2023年2月13日至17日） 车间
• 2023年认证计划和证明（美国马萨诸塞州波士顿，2023年1月16日至17日） 会议
• 形式语言、人工智能和数学（IHP，法国巴黎，2022年11月3日至5日） 会议
• 2022年智能计算机数学会议（格鲁吉亚第比利斯，2022年9月19日至23日） 会议
• 交互定理证明2022（2022年8月7日至10日，以色列海法） 会议
• 2022年为好奇的数学家精益求精（ICERM，普罗维登斯，RI，美国，2022年7月11日至15日） 辅导的
• 学习LyoN（法国里昂，2022年5月10日） 车间
• 用精益学习数学（英国拉夫堡，虚拟，2022年4月6日） 车间
• 菲尔德学院数学教育论坛（虚拟，2022年3月26日） 车间
• 机器检查数学（虚拟，2022年3月2日至4日） 车间
• 2022年认证计划和证明（美国宾夕法尼亚州费城，2022年1月17日至18日） 会议
• 2021年智能计算机数学会议（虚拟，2021年7月26日至31日） 会议
• 交互定理证明2021（虚拟，2021年6月29日至7月1日） 会议
• 2021年认证计划和证明（虚拟，2021年1月17日至19日） 会议
• 2021年携手共进（虚拟，2021年1月4日至7日） 车间
• 2020年成为好奇的数学家（虚拟。2020年7月13日至17日） 辅导的
• 2020年数学形式化方法/共同学习（美国宾夕法尼亚州匹兹堡，2020年1月6日至10日） 车间
• 共同精益2019（荷兰阿姆斯特丹，2019年1月7日至11日） 车间
• 大证明（英国剑桥，2017年6月26日至8月4日） 车间