[Agda] When and where is the next AIM?

[Andreas Abel]

We have an offer from Chuangjie Xu who will host the next AIM in Munich.

--Andreas

On 2019-04-30 11:56, Thorsten Altenkirch wrote:
> Just checked the notes of the last one but it doesn’t say anything.
> 
> Thorsten
> 
> This message and any attachment are intended solely for the addressee
> and may contain confidential information. If you have received this
> message in error, please contact the sender and delete the email and
> attachment.
> 
> Any views or opinions expressed by the author of this email do not
> necessarily reflect the views of the University of Nottingham. Email
> communications with the University of Nottingham may be monitored
> where permitted by law.
> 
> 
> 
> 
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>