Agda实施者会议三十八 将于2024年5月13日星期一至18日星期六在英国斯旺西举行 Agda实施者会议三十七 11月20日星期一至11月25日星期六在台湾台北举行。 Agda实施者会议三十六 5月10日星期三至5月16日星期二在代尔夫特举行。 Agda实施者会议三十一 2022年11月10日星期四至2022年12月16日星期三在爱丁堡举行（2019年因新冠肺炎推迟）。 Agda实施者会议三十五 于2022-05-03至2022-05-13在线举行。 Agda实施者会议三十四 于2021-06-07至2021-06-12在线举行。 Agda实施者会议三十三 从2020-10-12年到2020-10-23年在网上举行。 Agda实施者会议XXXII 2020-05-25至2020-06-05在线举行。 Agda实施者会议XXXI 原定于2020年4月1日至7日在爱丁堡举行，但因科罗纳病毒而推迟。 Agda实施者会议XXX 于2019年9月11日至17日在慕尼黑举行。 Agda实施者第29次会议 2019年3月13日至19日在东京举行。 Agda实施者会议28 2018年10月15日至20日在诺丁汉举行。 Agda实施者会议二十七 2018年6月4日至9日在哥德堡举行。 Agda实施者会议26 于2018年1月28日至2月3日在布达佩斯的Eötvös Loránd大学举行。 Agda实施者会议25 2017年5月9日至15日在哥德堡举行。 Agda实施者会议二十四 2016年10月10日至14日在乌得勒支大学举行。 Agda实施者会议二十三 于2016年4月20日至26日在格拉斯哥斯特拉斯克莱德大学举行。 Agda实施者会议二十二 2015年9月16日至22日在鲁汶举行。 Agda实施者第二十一次会议 2015年6月3日至9日在哥德堡举行。 Agda实施者会议XX 2014年10月16日至22日在塔林举行。 Agda实施者会议十九 2014年5月22日至28日在巴黎举行。 Agda实施者会议十八 2013年9月12日至18日在哥德堡举行。 Agda实施者会议十七 2013年5月8日至13日在日本绍南举行（由于组织者的便利，缩短了一天） Agda实施者会议十六 2012年10月3日至9日在哥本哈根举行 Agda实施者会议十五 2012年2月20日至2月26日在菲施巴乔（德国慕尼黑附近）举行。 Agda实施者会议XIV 2011年9月8日至9月14日在朔南举行。 Agda实施者会议十三 2011年4月6日至12日在哥德堡举行。 ( 程序等。 ) Agda实施者会议十二 2010年9月1日至9月7日在诺丁汉举行。 ( 程序等。 , 会议笔记 .) 目标十一 于2010年3月24日星期三至30日星期二举行 淡路岛 ，日本。 ( 呼吁参与 , 会议笔记 .) -
第十届Agda实施者会议（AIM X） 2009年9月14日星期一至18日星期五，瑞典哥德堡。 这个 第九届Agda实施者会议 2008年11月27日星期四至12月3日星期三在日本仙台举行。 第八次Agda实施者会议 于2008年5月29日星期四至6月4日星期三在哥德堡举行。 这个 法新社暑期学校2008 （5月19日至24日）包含Agda课程。 语言工程与严格软件开发暑期学校 2008年2月25日至3月1日，乌拉圭皮里亚波利斯，开设了Agda课程。 第七届Agda实施者会议于2007年11月的最后一周在日本大阪举行。 这个 Agda语言评论 会议于2007年9月26日在查尔默斯举行。 有一个 阿格达球场 在中 类型暑期学校 2007年8月19日至31日。 第六届Agda实施者会议 2007年5月24日至30日在哥德堡举行。 第五届Agda实施者会议于2006年秋季在哥德堡举行。 第四届Agda实施者会议于2006年春季在大阪举行。 第三次Agda实施者会议于2005年9月在哥德堡举行。 第二届Agda实施者会议于2005年4月在大阪举行。 第一次Agda实施者会议于2004年10月在哥德堡举行。