来自Agda Wiki

主要内容：Agda会议

• 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实施者会议XXXII2020-05-25至2020-06-05在线举行。
• Agda实施者会议三十一原定于2020年4月1日至7日在爱丁堡举行，但因科罗纳病毒而推迟。
• Agda实施者会议XXX2019年9月11日至17日在慕尼黑举行。
• Agda实施者第29次会议2019年3月13日至19日在东京举行。
• Agda实施者会议282018年10月15日至20日在诺丁汉举行。
• Agda实施者会议二十七2018年6月4日至9日在哥德堡举行。
• Agda实施者会议二十六于2018年1月28日至2月3日在布达佩斯的Eötvös Loránd大学举行。
• Agda实施者会议252017年5月9日至15日在哥德堡举行。
• Agda实施者会议二十四2016年10月10日至14日在乌得勒支大学举行。
• Agda实施者会议二十三2016年4月20日至26日在格拉斯哥斯特拉斯克莱德大学举行。
• Agda实施者会议二十二2015年9月16日至22日在鲁汶举行。
• Agda实施者第二十一次会议2015年6月3日至9日在哥德堡举行。
• Agda实施者会议XX2014年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日在德国慕尼黑附近的Fischbachau举行。
• Agda实施者会议XIV2011年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日星期三在日本仙台举行。

  • 演讲中使用的幻灯片可以在http://ocvs.cfv.jp/symposium/AIM9/abstract&Talks.html.

  • AIM9代码Sprint
• 第八届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年春季在大阪举行。
• 2005年9月在哥德堡举行了第三次农业发展组织实施者会议。
• 第二届Agda实施者会议于2005年4月在大阪举行。
• 第一次Agda实施者会议于2004年10月在哥德堡举行。

另请参见Agda会议组织指南.