AIM9上的幻灯片
Shin Cheng Mu(中央研究院)依赖型程序设计代数
尼尔斯·安德斯·丹尼尔森(诺丁汉大学)一种特殊的、整体的方法,用于确保同义词定义的有效性附件:nad.pdf
安东·塞泽尔(斯旺西大学)依赖型理论中的余代数附件:setzer.pdf
田部义一(东京大学)Agda上Deutsch-Schorr-Waite标记算法的验证
Yoshifumi Yuasa(东京理工大学)汽车工程案例研究:使用Agda验证电控单元。
Conor McBride(斯特拉斯克莱德大学)定义平等和中性术语
诺里奥·加藤(AIST)交互式验证环境所需的功能
本特·诺德斯特罗姆(查尔默斯理工大学)建立人机对话的基础
Peter Dybjer(查尔默斯理工大学)关于马丁·洛夫意义解释的秘密思考
安德烈亚斯·阿贝尔(路德维希·马克西米利安慕尼黑大学)Agda中的尺寸类型