Agda Meetings

• Agda Implementors’ Meeting XXXVII will take place in Taipei, Taiwan from Monday 20 Nov to Saturday 25 Nov.
• Agda Implementors’ Meeting XXXVI will take place in Delft from Wednesday 10 May to Tuesday 16 May.
• Agda Implementors’ Meeting XXXI took place in Edinburgh from Thursday 10 November 2022 to Wednesday 16 November 2022 (postponed from 2019 due to COVID-19).
• Agda Implementors’ Meeting XXXV took place online from 2022-05-03 to 2022-05-13.
• Agda Implementors’ Meeting XXXIV took place online from 2021-06-07 to 2021-06-12.
• Agda Implementors’ Meeting XXXIII took place online from 2020-10-12 to 2020-10-23.
• Agda Implementors’ Meeting XXXII took place online from 2020-05-25 to 2020-06-05.
• Agda Implementors’ Meeting XXXI was planned to take place in Edinburgh from 1 to 7 April 2020, but has been postponed because of the Corona virus.
• Agda Implementors’ Meeting XXX was held 11-17 September 2019 in Munich.
• Agda Implementors’ Meeting XXIX was held 13-19 March 2019 in Tokyo.
• Agda Implementors’ Meeting XXVIII was held 15-20 October 2018 in Nottingham.
• Agda Implementors’ Meeting XXVII was held 4-9 June 2018 in Gothenburg.
• Agda Implementors’ Meeting XXVI was held 28 Jan - 3 Feb 2018 at Eötvös Loránd University in Budapest.
• Agda Implementors’ Meeting XXV was held 9-15 May 2017 in Gothenburg.
• Agda Implementors' Meeting XXIV was held 10-14 October 2016 at the University of Utrecht.
• Agda Implementors' Meeting XXIII was held 20-26 April 2016 at the University of Strathclyde, Glasgow.
• Agda Implementors' Meeting XXII was held 16-22 September 2015 in Leuven.
• Agda Implementors' Meeting XXI was held 3-9 June 2015 in Gothenburg.
• Agda Implementors' Meeting XX was held 16-22 October 2014 in Tallinn.
• Agda Implementors' Meeting XIX was held 22-28 May 2014 in Paris.
• Agda Implementors' Meeting XVIII took place in Gothenburg 12-18 September 2013.
• Agda Implementors' Meeting XVII took place 8-13 May 2013 in Shonan, Japan (shortened one day because of organiser's convenience)
• Agda Implementors' Meeting XVI took place 3-9 October 2012 in Copenhagen
• Agda Implementors' Meeting XV took place in Fischbachau (near Munich, Germany) from Feb 20 to Feb 26, 2012.
• Agda Implementors' Meeting XIV took place in Shonan from Sep 8 to Sep 14, 2011.
• Agda Implementors' Meeting XIII took place in Göteborg from Apr 6 to Apr 12, 2011. (Program etc.)
• Agda Implementors' Meeting XII took place in Nottingham from Sep 1 to Sep 7, 2010. (Program etc., notes from the meeting.)
• AIM XI took place Wednesday 24 - Tuesday 30 March, 2010 in Awaji Island, Japan. (Call for participation, notes from the meeting.)
• The 10th Agda Implementors’ Meeting (AIM X) , Gothenburg, Sweden, Monday 14 - Friday 18 September, 2009.
• The 9th Agda Implementors' Meeting took place in Sendai, Japan Thursday 27 November - Wednesday 3 December, 2008.

  • Slides used in the talks can be found at http://ocvs.cfv.jp/symposium/AIM9/abstract&Talks.html .

  • AIM9 Code Sprint
• The 8th Agda Implementors' Meeting took place in Gothenburg Thursday 29 May - Wednesday 4 June, 2008.
• The AFP Summer School 2008 (May 19 - May 24) contained an Agda course.
• The Summer School on Language Engineering and Rigorous Software Development, Piriapolis, Uruguay, 25 February - 1 March 2008 contained an Agda course.
• The 7th Agda Implementors' Meeting took place in Osaka, Japan, the last week of November, 2007.
• The Agda Language Review meeting was held at Chalmers, September 26, 2007.
• There was an Agda course in the Types Summer School, August 19 - 31, 2007.
• The 6th Agda Implementors' Meeting took place in Gothenburg May 24 - 30, 2007.
• The 5th Agda Implementors' Meeting took place in Gothenburg in the autumn, 2006.
• The 4th Agda Implementors' Meeting took place in Osaka in the spring, 2006.
• The 3rd Agda Implementors' Meeting took place in Gothenburg in September, 2005.
• The 2nd Agda Implementors' Meeting took place in Osaka in April, 2005.
• The 1st Agda Implementors' Meeting took place in Gothenburg in October 2004.

See also the guide to organizing an Agda meeting.