Agda Implementors' Meeting XXXI

The thirty-first Agda Implementors' Meeting will take place in Edinburgh from 2020-04-01 to 2020-04-07 (Wednesday to Tuesday). The meeting will be similar to previous ones:

  • Presentations concerning theory, implementation, and use cases of Agda.
  • Discussions around issues of the Agda language.
  • Plenty of time to work on or in Agda, in collaboration with the other participants.

Important dates

TBA
Registration deadline (soft)
2020-04-01 (Wed) to 2020-04-07 (Tue)
AIM XXXI

Programme

TBA

All talks, coffee breaks and sprints take place rooms 5.02 of the Bayes Centre, University of Edinburgh.

Wednesday, 1 April 
  
Thursday, 2 April
  
Friday, 3 April
  
Saturday, 4 April
  
Sunday, 5 April
  
Monday, 6 April
  
Tuesday, 7 April
  

Talks

TBA

Code sprint suggestions

TBA

Participants

TBA

Location

More information will appear here.

Excursion

More information will appear here.

About Edinburgh

More information will appear here.

Accommodation

More information will appear here.

Registration

You can register for the meeting by filling out the form below and emailing it to Wen Kokke.

There is no registration fee. Coffee breaks would be included. Transportation, accommodation and meals are to be covered by the participant.

    Registration form for Agda Implementors' Meeting XXXI

    Name:

    Title and optionally abstract (if you want to give a talk or lead a discussion):

    Suggestions for code sprints (optional):

    Additional comments: