第 43 届 Agda 实现者会议（AIM XLIII）将于波兰热舒夫举行

第 43 届 Agda 实现者会议（AIM XLIII）将于 2026-10-19 至 2026-10-24 在波兰热舒夫举行，内容涵盖 Agda 的理论、实现与应用演讲、语言议题讨论及代码冲刺。会议注册免费但必须参加，周五安排远足，周三设有 AI demos，具体报告时段将在开幕会上确定。